Package org.dllearner.reasoning

Implements the connection to other reasoner or own reasoning/caching algorithms.

See: Description

Class Summary

Class	Description
ClosedWorldReasoner	Reasoner for fast instance checks.
ExistentialRestrictionMaterialization	Materialize the existential restrictions, i.e.
OWLAPIReasoner	Mapping to OWL API reasoner interface.
OWLPunningDetector	OWL 1 DL required a strict separation between the names of, e.g., classes and individuals.
SKOSReasoner
SPARQLReasoner	A reasoner implementation that provides inference services by the execution of SPARQL queries on local files (usually in forms of JENA API models) remote SPARQL endpoints
SPARQLReasonerQuad	Specialised SPARQL Reasoner for specific SPARQL dialects
SPARQLSKOSReasoner
StructuralReasonerExtended	Author: Matthew Horridge The University of Manchester Information Management Group Date: 04-Dec-2009

Enum Summary

Enum	Description
ClosedWorldReasoner.DisjointnessSemantics	There are different ways on how disjointness between classes can be assumed.
ClosedWorldReasoner.ForallSemantics
ReasonerImplementation	Enumeration of available reasoner implementations that can be used via OWL API interface.
ReasonerType	Enumeration of available reasoner types
SPARQLReasoner.PopularityType

Package org.dllearner.reasoning Description

Implements the connection to other reasoner or own reasoning/caching algorithms.