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

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)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.