Uses of Class
org.mindswap.pellet.utils.Bool

Packages that use Bool

Package	Description
org.mindswap.pellet
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

Modifier and Type	Method and Description
Bool	ABox.getCachedSat(aterm.ATermAppl c)
Bool	Individual.hasDataPropertyValue(Role r, 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, 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, Collection<aterm.ATermAppl> subs)
Bool	ABox.isKnownType(Individual pNode, aterm.ATermAppl concept, Collection<aterm.ATermAppl> subs)

Uses of Bool in org.mindswap.pellet.tableau.cache

Methods in org.mindswap.pellet.tableau.cache that return Bool

Modifier and Type	Method and Description
Bool	ConceptCache.checkNominalEdges(KnowledgeBase kb, CachedNode node1, CachedNode node2)
Bool	AbstractConceptCache.checkNominalEdges(KnowledgeBase kb, CachedNode pNode, CachedNode cNode)
Bool	ConceptCache.getSat(aterm.ATermAppl c) Get the satisfiability status of a concept as a three-value boolean.
Bool	AbstractConceptCache.getSat(aterm.ATermAppl c)
Bool	ConceptCache.isMergable(KnowledgeBase kb, CachedNode node1, CachedNode node2)
Bool	AbstractConceptCache.isMergable(KnowledgeBase kb, CachedNode root1, CachedNode root2)

Uses of Bool in org.mindswap.pellet.taxonomy

Methods in org.mindswap.pellet.taxonomy that return Bool

Modifier and Type	Method and Description
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

Modifier and Type	Field and Description
static Bool	Bool.FALSE
static Bool	Bool.TRUE
static Bool	Bool.UNKNOWN

Methods in org.mindswap.pellet.utils that return Bool

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
void	CandidateSet.add(T obj, Bool isKnown)
Bool	Bool.and(Bool other)
Bool	Bool.or(Bool other)
void	CandidateSet.update(T obj, Bool isCandidate)