Professional Documents
Culture Documents
Drago Demo Guide
Drago Demo Guide
Unzip drago-bin-2.0.1.zip to the desired location (hereafter will refer to this directory as DRAGO_HOME).
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
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
2) specify the DRAGO peer name and port to which you want to connect
3) now the reasoning services are available for you, please find them on the appropriate tabs: Consistency, Satisfiability, Taxonomy.
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.