A Preferential Reasoner for Ontologies
A preferential reasoner and ontology editor for defeasible OWL ontologies.
Michael Harrison
for completion of a Computer Science Honours course at the University of Cape Town.
Requirements:
Steps:
Get a copy of the code:
git clone https://github.com/MindfulMichaelJames/PRO
Change into the PRO directory.
Type ./gradlew build. On build completion, the “distributions” directory will contain .zip and .tar compressed files. Unzipping any of these compressed files will give you a directory that contains bin and lib directories. There will be a PRO excecutable in the bin directory that can be used to run the tool.
Requirements:
Steps:
Get a copy of the code:
git clone https://github.com/MindfulMichaelJames/PRO
Change into the PRO directory.
Type ./gradlew run. On build completion, the tool will start.
Put the OWL file to be edited or queried in the PRO directory.
Run the tool as described above.
When the tool starts, enter the name of the OWL file (including the .OWL extension).
To add an axiom to the ontology, any classes or object properties used in the axiom must be added to the ontology first.
Only defeasible axioms will appear in the ranking. In order to rank an axiom, it must first be specified as defeasible.
When entering text, Manchester Syntax must be used.