This application allows to query and revise an OWL Ontology:
- With the button "Browse" you can load an OWL ontology from a disk file or an URL.
- With the button "Load" you can launch a reasoner for checking the consistency of the loaded ontology. It becomes the working ontology if consistent.
- With the check box "Show justifications", you can obtain justifications if the ontology is inconsistent.
- With the button "More Infos", you can display all the content of the ontology
- With the button "Add new infos", you can revise the ontology.
- With the button "DL Query and Entailment", you can query the ontology.