openllet.owlapi.facet

Interface FacetReasonerOWL

All Known Subinterfaces:

OWLHelper, OWLManagedObject, OWLManagementObject

All Known Implementing Classes:

EntailmentChecker, EntailmentQueryVisitor, OWLAPILoader, OWLGenericTools, OWLSelfTools, OWLTools

public interface FacetReasonerOWL

Since:

2.5.1

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.reasoner.OWLReasoner	getReasoner()

Method Detail

getReasoner

org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Returns:

a PelletReasoner that reason over a previously registered ontology.

Since:

2.5.1