|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Bool | |
---|---|
org.mindswap.pellet | |
org.mindswap.pellet.jena.graph.loader | |
org.mindswap.pellet.tableau.cache | |
org.mindswap.pellet.taxonomy | |
org.mindswap.pellet.utils |
Uses of Bool in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return Bool | |
---|---|
Bool |
ABox.getCachedSat(aterm.ATermAppl c)
|
Bool |
Individual.hasDataPropertyValue(Role r,
java.lang.Object value)
Check the property assertions to see if it is possible for this individual to have the value for the given datatype property. |
Bool |
KnowledgeBase.hasKnownPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
Answers the hasPropertyValue question without doing any satisfiability check. |
Bool |
ABox.hasObviousDataPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
java.lang.Object value)
|
Bool |
ABox.hasObviousObjectPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
Bool |
ABox.hasObviousPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
Bool |
Node.hasObviousType(aterm.ATermAppl c)
|
Bool |
ABox.isKnownSubClassOf(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
Bool |
ABox.isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
Bool |
KnowledgeBase.isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c)
Answers the isType question without doing any satisfiability check. |
Bool |
ABox.isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c,
java.util.Collection<aterm.ATermAppl> subs)
|
Bool |
ABox.isKnownType(Individual pNode,
aterm.ATermAppl concept,
java.util.Collection<aterm.ATermAppl> subs)
|
Uses of Bool in org.mindswap.pellet.jena.graph.loader |
---|
Methods in org.mindswap.pellet.jena.graph.loader that return Bool | |
---|---|
Bool |
RestrictionInfo.isObjectRestriction()
|
Uses of Bool in org.mindswap.pellet.tableau.cache |
---|
Methods in org.mindswap.pellet.tableau.cache that return Bool | |
---|---|
Bool |
AbstractConceptCache.checkNominalEdges(KnowledgeBase kb,
CachedNode pNode,
CachedNode cNode)
|
Bool |
ConceptCache.checkNominalEdges(KnowledgeBase kb,
CachedNode node1,
CachedNode node2)
|
Bool |
AbstractConceptCache.getSat(aterm.ATermAppl c)
|
Bool |
ConceptCache.getSat(aterm.ATermAppl c)
Get the satisfiability status of a concept as a three-value boolean. |
Bool |
AbstractConceptCache.isMergable(KnowledgeBase kb,
CachedNode root1,
CachedNode root2)
|
Bool |
ConceptCache.isMergable(KnowledgeBase kb,
CachedNode node1,
CachedNode node2)
|
Uses of Bool in org.mindswap.pellet.taxonomy |
---|
Methods in org.mindswap.pellet.taxonomy that return Bool | |
---|---|
Bool |
Taxonomy.isEquivalent(T x,
T y)
Checks if x is equivalent to y |
Bool |
Taxonomy.isSubNodeOf(T x,
T y)
Checks if x has an ancestor y. |
Uses of Bool in org.mindswap.pellet.utils |
---|
Fields in org.mindswap.pellet.utils declared as Bool | |
---|---|
static Bool |
Bool.FALSE
|
static Bool |
Bool.TRUE
|
static Bool |
Bool.UNKNOWN
|
Methods in org.mindswap.pellet.utils that return Bool | |
---|---|
Bool |
Bool.and(Bool other)
|
static Bool |
Bool.create(boolean value)
|
Bool |
Bool.not()
|
Bool |
Bool.or(Bool other)
|
Methods in org.mindswap.pellet.utils with parameters of type Bool | |
---|---|
void |
CandidateSet.add(T obj,
Bool isKnown)
|
Bool |
Bool.and(Bool other)
|
Bool |
Bool.or(Bool other)
|
void |
CandidateSet.update(T obj,
Bool isCandidate)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |