Support common OWL queries
-
classify — Classify the ontology and display the hierarchy -
consistency -
entail -
explain — Explains one or more inferences in a given ontology including -
ontology inconsistency -
concept subsumption -
instance retrival -
realize — Compute and display the most specific instances for each class -
unsat — find unsatisfiable classes in the ontology