Uses of Interface
com.clarkparsia.pellet.datatypes.DatatypeReasoner

Packages that use DatatypeReasoner

Package	Description
com.clarkparsia.pellet.datatypes
org.mindswap.pellet

Uses of DatatypeReasoner in com.clarkparsia.pellet.datatypes

Classes in com.clarkparsia.pellet.datatypes that implement DatatypeReasoner

Modifier and Type	Class and Description
class	DatatypeReasonerImpl Title: Datatype Reasoner Implementation

Uses of DatatypeReasoner in org.mindswap.pellet

Fields in org.mindswap.pellet declared as DatatypeReasoner

Modifier and Type	Field and Description
protected DatatypeReasoner	ABox.dtReasoner datatype reasoner used for checking the satisfiability of datatypes

Methods in org.mindswap.pellet that return DatatypeReasoner

Modifier and Type	Method and Description
DatatypeReasoner	ABox.getDatatypeReasoner()
DatatypeReasoner	KnowledgeBase.getDatatypeReasoner()