|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Bool | |
---|---|
org.mindswap.pellet | |
org.mindswap.pellet.taxonomy | |
org.mindswap.pellet.utils |
Uses of Bool in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return Bool | |
---|---|
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 |
Individual.hasObjectPropertyValue(Role r,
Individual value)
Check the property assertions to see if it is possible for this individual to have the value for the given object property. |
Bool |
ABox.hasObviousDataPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
java.lang.Object value)
|
Bool |
ABox.hasObviousObjectProperty(aterm.ATermAppl s,
aterm.ATermAppl p)
|
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 |
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)
|
Bool |
ABox.isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c,
java.util.Collection subs)
|
Bool |
ABox.isKnownType(Individual pNode,
aterm.ATermAppl concept,
java.util.Collection subs)
|
Uses of Bool in org.mindswap.pellet.taxonomy |
---|
Methods in org.mindswap.pellet.taxonomy that return Bool | |
---|---|
Bool |
Taxonomy.isSubNodeOf(aterm.ATermAppl x,
aterm.ATermAppl 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 | |
---|---|
Bool |
Bool.and(Bool other)
|
Bool |
Bool.or(Bool other)
|
void |
CandidateSet.update(java.lang.Object obj,
Bool isCandidate)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |