Stack Overflow
Stack Overflow

Questions tagged [hermit]

HermiT is a conformant OWL 2 DL reasoner that uses the direct semantics. It supports all OWL 2 DL constructs and the datatypes required by the OWL 2 specification.

Resources

52 questions
0
votes
1 answer

OWLApi: Failed to create a hermit reasoner instance

Good morning, I'm trying to write a java class that could manage an ontology, in particular I want to find all the properties (name, subclasses, superclasses, ecc..) of a single OWLClass, but i don't manage to instance Hermit and I can't understand…
DiegLuthor
  • 195
  • 1
  • 14
0
votes
1 answer

How to use OWLReasoner to update an ontology

I'm new to the OWL API and I was wondering if there was a way to update an ontology with all the new relations picked up by the reasoner (HermiT). I couldn't find a tutorial or much documentation, so I assumed calling …
Bob Zee
  • 3
  • 4
0
votes
1 answer

NoSuchMethodError OWLDisjointClassesAxioms.getOperandAsList ()

NoSuchMethodError : org.semanticweb.owlapi.model.OWLDisjointClassesAxiom.getOperandsAsList() I wanted to create an unsatisfiable class and list it using HermiT reasoner. I went through some sample codes and managed to write one. Source…
Zoro
  • 420
  • 5
  • 16
0
votes
1 answer

Equivalent class for transitive property

I have an object property partOf which is transitive. And I want to say that: a partOf Year then a is a Term b partOf Term then b is a Course And simultaneously: a partOf Knowledge_Group then a is a Knowledge_Area b partOf Knowledge_Area then b…
moondaisy
  • 4,303
  • 6
  • 41
  • 70
0
votes
1 answer

Hermit and OWLApi for retrieve object property assertions

I'm try to retrieve property assertions from reasoner (hermit 1.3.8.4) and OWLApi (3.4.10). In this picture, I want to retrieve "isGrandfather Sandro, isGrandfather Sergio". Picture - object property assertions I try to use Ignazio answer in:…
erfelipe
  • 460
  • 4
  • 14
0
votes
1 answer

How to check ABOX consistency using Hermit Reasoner

I am trying to learn how to use properly the OWLAPI but i am getting some troubles: i have an ontology which structures the activities (e.g. individual and social activities); my aim is to create an easy example of inconsistency in order to get used…
Giovanni Laganà
  • 1
  • 1
0
votes
2 answers

OWL HermiT debug satisfiability check

I am using HermiT v1.3.8.4 with OWLAPI v3.5.6 and run into an issue where reasoner.isSatisfiable(clazz) runs forever. Is there a way to inspect what HermiT is doing, i.e., a way to get debug information? My current setup looks roughly like…
F Lekschas
  • 12,481
  • 10
  • 60
  • 72
1 2 3
4