Uses of Interface
org.semanticweb.HermiT.model.DLPredicate

Packages that use DLPredicate

Package	Description
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of DLPredicate in org.semanticweb.HermiT.model

Classes in org.semanticweb.HermiT.model that implement DLPredicate

Modifier and Type	Class and Description
class	AnnotatedEquality Represents an annotated equality.
class	AtLeast Represents at-least concepts, either for data ranges or concepts.
class	AtLeastConcept Represents at-least concept.
class	AtLeastDataRange Represents at-least concept.
class	AtomicConcept Represents an atomic concept.
class	AtomicDataRange Represents an atomic data range -- that is, an datatype, a datatype restriction, an internal datatype, or an enumeration of constants (oneOf)
class	AtomicNegationDataRange Represents a negation of a data range.
class	AtomicRole Represents an atomic role.
class	ConstantEnumeration A data range that consists of a given set of constants.
class	DatatypeRestriction A data range consisting of a datatype URI and a number of facet restrictions.
class	DescriptionGraph DescriptionGraph.
class	Equality Represents the equality predicate.
class	ExistsDescriptionGraph ExistsDescriptionGraph.
class	Inequality Represents the inequality predicate.
class	InternalDatatype Represents an internal datatype.
class	LiteralDataRange Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.
class	NodeIDLessEqualThan Represents the built-in predicate that is used to enforce ordering on nodes in the translation of at-most concepts.
class	NodeIDsAscendingOrEqual Represents a predicate that whether the IDs of the argument nodes are all strictly ascending or all equal.

Fields in org.semanticweb.HermiT.model with type parameters of type DLPredicate

Modifier and Type	Field and Description
static Set<DLPredicate>	Atom.s_infixPredicates Infix predicates.

Methods in org.semanticweb.HermiT.model that return DLPredicate

Modifier and Type	Method and Description
DLPredicate	Atom.getDLPredicate()

Methods in org.semanticweb.HermiT.model with parameters of type DLPredicate

Modifier and Type	Method and Description
static Atom	Atom.create(DLPredicate dlPredicate, Term... arguments)
DLClause	DLClause.getSafeVersion(DLPredicate safeMakingPredicate)

Uses of DLPredicate in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return DLPredicate

Modifier and Type	Method and Description
DLPredicate	GroundDisjunction.getDLPredicate(int disjunctIndex)

Methods in org.semanticweb.HermiT.tableau with parameters of type DLPredicate

Modifier and Type	Method and Description
boolean	ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node0, Node node1, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.containsAssertion(DLPredicate dlPredicate, Node node)
boolean	ExtensionManager.containsAssertion(DLPredicate dlPredicate, Node node0, Node node1)
DependencySet	ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node)
DependencySet	ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1)