Package it.poliba.sisinflab.tinyme

Class Summary

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.
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.
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.
UniversalRole	Models value restrictions.

Enum Summary

Enum	Description
IndividualType	Represents the type of an individual w.r.t. semantic matchmaking tasks.