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

Packages that use DLPredicate
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger.commands   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.tableau   
 

Uses of DLPredicate in org.semanticweb.HermiT.blocking
 

Constructors in org.semanticweb.HermiT.blocking with parameters of type DLPredicate
BlockingValidator.SimpleConsequenceAtom(DLPredicate dlPredicate, BlockingValidator.ArgumentType[] argumentTypes, int[] argumentIndexes)
           
 

Uses of DLPredicate in org.semanticweb.HermiT.debugger.commands
 

Methods in org.semanticweb.HermiT.debugger.commands that return DLPredicate
protected  DLPredicate AbstractCommand.getDLPredicate(java.lang.String predicate)
           
 

Uses of DLPredicate in org.semanticweb.HermiT.model
 

Classes in org.semanticweb.HermiT.model that implement DLPredicate
 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
           
 class Equality
          Represents the equality predicate.
 class 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 declared as DLPredicate
protected  DLPredicate Atom.m_dlPredicate
           
 

Fields in org.semanticweb.HermiT.model with type parameters of type DLPredicate
static java.util.Set<DLPredicate> Atom.s_infixPredicates
           
 

Methods in org.semanticweb.HermiT.model that return DLPredicate
 DLPredicate Atom.getDLPredicate()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type DLPredicate
protected  void DLOntology.addDLPredicate(DLPredicate dlPredicate)
           
static Atom Atom.create(DLPredicate dlPredicate, Term... arguments)
           
 Atom Atom.replaceDLPredicate(DLPredicate newDLPredicate)
           
 

Constructors in org.semanticweb.HermiT.model with parameters of type DLPredicate
Atom(DLPredicate dlPredicate, Term[] arguments)
           
 

Uses of DLPredicate in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DLPredicate
protected  DLPredicate DLClauseEvaluator.DeriveUnaryFact.m_dlPredicate
           
protected  DLPredicate DLClauseEvaluator.DeriveBinaryFact.m_dlPredicate
           
protected  DLPredicate DLClauseEvaluator.DeriveTernaryFact.m_dlPredicate
           
protected  DLPredicate[] GroundDisjunctionHeader.m_dlPredicates
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type DLPredicate
 java.util.Map<DLPredicate,java.lang.Integer> DLClauseEvaluator.ValuesBufferManager.m_bodyDLPredicatesToIndexes
           
protected  java.util.Map<DLPredicate,HyperresolutionManager.CompiledDLClauseInfo> HyperresolutionManager.m_tupleConsumersByDeltaPredicate
           
 

Methods in org.semanticweb.HermiT.tableau that return DLPredicate
 DLPredicate GroundDisjunction.getDLPredicate(int disjunctIndex)
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type DLPredicate
 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)
           
 boolean ExtensionManager.containsAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
 GroundDisjunctionHeader DLClauseEvaluator.GroundDisjunctionHeaderManager.get(DLPredicate[] dlPredicates)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
protected  boolean GroundDisjunctionHeader.isEqual(DLPredicate[] dlPredicates)
           
protected  boolean HyperresolutionManager.isPredicateWithExtension(DLPredicate dlPredicate)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLPredicate
DLClauseEvaluator.DeriveBinaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex1, int argumentIndex2)
           
DLClauseEvaluator.DeriveTernaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex1, int argumentIndex2, int argumentIndex3)
           
DLClauseEvaluator.DeriveUnaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex)
           
GroundDisjunctionHeader(DLPredicate[] dlPredicates, int hashCode, GroundDisjunctionHeader nextEntry)