Classes

A utility class to compute and represent DL expressivity.

Represents International Resource Identifiers.

Provides a point of convenience for creating an OWLOntologyManager.

Represents OWL/RDF namespaces.

An object that identifies an ontology.

Since OWL 2, ontologies do not have to have an ontology IRI, or if they have an ontology IRI then they can optionally also have a version IRI. Instances of this OWLOntologyID class bundle identifying information of an ontology together. If an ontology doesn’t have an ontology IRI then we say that it is “anonymous”.

Represents a term in the OWL RDF vocabulary.

Represents the OWL RDF vocabulary.

Models atomic concepts.

Models cardinality roles.

This class is a point to create instances of model classes referenced throughout the reasoner API.

Abstract logger class.

Logger class that logs to standard output.

Logger class that logs to file.

Logger class that logs to a memory buffer.

Logger class that doesn’t log anything.

The main reasoner class, exposing standard and non-standard inference tasks.

Non-standard matchmaking services are detailed in “Ruta et al., WIAS 2011”: http://sisinflab.poliba.it/publications/2011/RDS11

For more information about the project, visit Tiny-ME’s website: http://swot.sisinflab.poliba.it/tinyme

Utility class containing methods that return API metadata.

Stores the result of the Concept Abduction inference service.

“Hypothesis” represents the part of the request that is not present in the supplied resource. The more must be hypotesized, the higher the associated penalty.

Stores the result of the Concept Bonus inference service.

“Surplus” represents the part of the resource that was not requested. The larger the surplus, the higher the associated incentive.

Stores the result of the Concept Contraction inference service.

“Keep” represents the part of the request that is compatible with the supplied resource, while “give up” is the part that must be given up in order to make it compatible with it. The more must be given up in the request, the higher the associated penalty.

Stores the result of the Concept Covering inference service.

Multiple resources are collected in order to cover the request. The uncovered part of the request can be queried as a separate semantic description.

This class models an ALN concept expression as the conjunction of CCN, CGT, CLT, C∀ components, stored in collections of AtomicConcept, CardinalityRole and UniversalRole class instances.

Instances of this class are backed by native data structures, and as such they require special treatment for memory management, therefore they can only be created via the DataFactory instance held by the reasoner (which automatically ties their lifecycle to that of the enclosing objects).

Unless otherwise stated, SemanticDescription objects returned by the reasoner instance should not be mutated unless they have been copied beforehand, otherwise an exception is thrown.

Models value restrictions.