search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Integrate Robot as a reasoner for OWL2 #1956

Open tillmo opened 3 years ago

tillmo commented 3 years ago

see http://robot.obolibrary.org/reason http://robot.obolibrary.org/ https://github.com/ontodev/robot

mcodescu commented 3 years ago

Call ./robot reason --reasoner hermit --input consist.owl on https://ontohub.org/sandbox/consist.owl.

You should get ERROR org.obolibrary.robot.ReasonerHelper - The ontology is inconsistent. TIP: use a tool like Protege to find explanations.

Using the debugging option won't work: ERROR org.obolibrary.robot.ReasonerHelper - Unfortunately, robot is not able to generate an unsatisfiable minimal model for inconsistent ontologies at this time..

mcodescu commented 3 years ago

Proving with Robot: ./robot explain --input premise.owl --reasoner Hermit --axiom "'c' Type: 'A'" --explanation out.txt The syntax for axioms should be Manchester syntax, but I got an error when writing Types instead of Type.

mcodescu commented 2 years ago

Robot interfaces with the OWL API, so we should rather use it as a reference for the functionality that we may want to add to Hets.