Package org.semanticweb.kaon2.api.reasoner

Interface Summary

Query	Represents a conjunctive DL-safe query over an ontology.
Reasoner	Provides methods to answer questions over an ontology.
SubsumptionHierarchy	Represents a subsumption hierarcy for atomc classes in an ontology.
SubsumptionHierarchy.Node	Represents a node in the subsumption hiearchy.

Class Summary

Query.UntypedPredicate

Models a predicate whose type is not known.