Why does transitivity works with other property characteristics when using SWRL?...

How to perform existential quantification inferences in ontologies?...

OWL reasoners in owlready2 : how to reduce computation time...

OWL API, Hermit materialization...

Using Hermit with ONT-API and SPARQL Query...

Create reasoner does not work on Tomcat deployment...

Using only constraint in owl leads to inconsistency...

Aren't anonymous classes automatically a type of owl:Class?...

What flavors of reasoning are supported in VOS?...

Reasoning over OWL cardinality restriction...

OWL api Java find Annotation...

protege reflexive property usage...

Protege reasoner not inferring subclasses of inverse of a property...

How to determine where the problem is in an ontology from HermiT output...

HermiT reasoner thows “UnsupportedDatatypeException” for datatype...

Why HermiT considers asymmetric sub-property to symmetric property consistent?...

Get part-Of class from OWL Ontology...

NoSuchMethodError while creating HermiT instance...

How to disable inference in hermiT...

don't know how to get object property from ontology in java with Hermit...

OWLApi: Failed to create a hermit reasoner instance...

NoSuchMethodError OWLDisjointClassesAxioms.getOperandAsList ()...

Equivalent class for transitive property...

Use HermiT in Python...

Hermit Reasoner - SPARQL Query...

Reasoner sets two different classes equivalent to each other and owl:Thing...

HermiT does not seem to show inferenced DataProperties ?...

OWL HermiT debug satisfiability check...