DRAGO DEMO GUI guide

Unzip drago-bin-2.0.1.zip to the desired location (hereafter will refer to this directory as DRAGO_HOME).

To set up DRAGO Reasoning Peer :

1) type in a shell java -Xmx256m -jar DRAGO_HOME/drago-peer.jar. DRAGO Peer Demo window should appear

2) set up the DRAGO Peer port

3) set up proxy (if any) in order to allow DRAGO access ontologies on www

4) set ontology for which this peer will provide reasoning services. Type in the URI text field logical identifier for your ontology, e.g., http://target.owl

Then type in the Location text field the physical location of the ontology. You can specify the ontology published on the web, e.g., http://protege.stanford.edu/plugins/owl/owllibrary/ka.owl, or select a local ontology by pressing Browse Locally button and then selecting the OWL file of the ontology

5) add mappings (if any) Press Add Mapping button to load C-OWL file with mapping

Then specify the DRAGO Reasoning Peer that is responsible for the foreign ontology using the format hostname:port, e.g., localhost:2222, and press enter

6) Now peer is ready to be started: press Start peer button

If start was ok you will see the message on the status bar that peer is running on the corresponding host and port. If the errors occurred you will be prompted to correct them

7) To stop reasoning peer press Stop peer button.

To set up client for DRAGO Peer

1) Type in a shell java -Xmx256m -jar DRAGO_HOME/drago-connector.jar. DRAGO Connector Demo (the client) should appear

2) specify the DRAGO peer name and port to which you want to connect

Press Connect button to establish connection to the specified reasoning peer

3) now the reasoning services are available for you, please find them on the appropriate tabs: Consistency, Satisfiability, Taxonomy.

4) To disconnect from the reasoning peer press Disconnect button

Thank you for trying DRAGO! Any your feedback (comments, critique, error reporting) is highly appreciated and can be sent to the address drago-dev@dit.unitn.it Sincerely, DRAGO development team.