All Classes

Class	Description
Abduction	Stores the result of the Concept Abduction inference service, obtained via Reasoner.abduction(OWLNamedIndividual, OWLNamedIndividual) and similar methods.
AtomicConcept	Models atomic concepts.
Bonus	Stores the result of the Concept Bonus inference service, obtained via Reasoner.bonus(OWLNamedIndividual, OWLNamedIndividual) and similar methods.
CardinalityRole	Models cardinality roles.
Composition	Stores the result of the Concept Covering inference service, obtained via Reasoner.covering(OWLNamedIndividual) and similar methods.
ConsoleLogger	Logger class that logs to standard output.
Contraction	Stores the result of the Concept Contraction inference service, obtained via Reasoner.contraction(OWLNamedIndividual, OWLNamedIndividual) and similar methods.
DataFactory	Point to create instances of model classes referenced throughout the API.
EntityDescription<T extends OWLEntity>	Models a named semantic description, suitable for describing any OWLEntity instance.
FileLogger	Logger class that logs to file.
IndividualType	Represents the type of an individual w.r.t. semantic matchmaking tasks.
Logger<T extends Logger>	Abstract logger class.
MemoryLogger	Logger class that logs to a memory buffer.
NullLogger	Logger class that doesn't log anything.
NullOutputStream	Null OutputStream implementation.
Reasoner	The main reasoner class, exposing standard and non-standard inference tasks.
ReasonerFactory	Point to create reasoner instances.
ReasonerMetadata	Utility class containing methods that return reasoner metadata.
SemanticDescription	Models an ALN concept expression as the conjunction of CCN, CGT, CLT, C∀ components, stored in collections of AtomicConcept, CardinalityRole and UniversalRole class instances.
StringUtils	Static String factory methods.
UniversalRole	Models value restrictions.