|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |