Uses of Class
org.mindswap.pellet.DependencySet

Packages that use DependencySet
com.clarkparsia.pellet.rules   
com.clarkparsia.pellet.rules.rete   
org.mindswap.pellet   
org.mindswap.pellet.tableau.branch   
org.mindswap.pellet.tableau.cache   
org.mindswap.pellet.tableau.completion   
org.mindswap.pellet.tableau.completion.incremental   
org.mindswap.pellet.tableau.completion.rule   
 

Uses of DependencySet in com.clarkparsia.pellet.rules
 

Methods in com.clarkparsia.pellet.rules that return DependencySet
 DependencySet TrivialSatisfactionHelpers.isAtomTrue(RuleAtom atom, VariableBinding binding)
           
 

Methods in com.clarkparsia.pellet.rules that return types with arguments of type DependencySet
 Pair<aterm.ATermAppl,DependencySet> RulesToReteTranslator.translateAtomObject(AtomObject obj)
          Return a pair of a term, and a dependency set.
 

Methods in com.clarkparsia.pellet.rules with parameters of type DependencySet
 void ContinuousRulesStrategy.addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
           
 void ContinuousRulesStrategy.addType(Node node, aterm.ATermAppl c, DependencySet ds)
           
 boolean RuleAtomAsserter.assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)
           
 void ContinuousRulesStrategy.mergeTo(Node y, Node z, DependencySet ds)
           
 TermTuple RulesToReteTranslator.translateAtom(RuleAtom atom, DependencySet ds)
          Translates a rule atom into a rete triple.
 java.util.List<TermTuple> RulesToReteTranslator.translateAtoms(java.util.Collection<? extends RuleAtom> atoms, DependencySet ds)
          Translates a list of rule atoms into rete triples.
 

Uses of DependencySet in com.clarkparsia.pellet.rules.rete
 

Methods in com.clarkparsia.pellet.rules.rete that return DependencySet
 DependencySet Tuple.getDependencySet()
           
 

Methods in com.clarkparsia.pellet.rules.rete with parameters of type DependencySet
 boolean Compiler.addFact(Individual individual, aterm.ATermAppl type, DependencySet ds)
          Add concept assertion as a fact to rete (if relevant).
 

Constructors in com.clarkparsia.pellet.rules.rete with parameters of type DependencySet
Fact(DependencySet ds, aterm.ATermAppl... constants)
           
Fact(DependencySet ds, java.util.List<aterm.ATermAppl> constants)
           
TermTuple(DependencySet ds, aterm.ATermAppl... terms)
           
TermTuple(DependencySet ds, java.util.List<aterm.ATermAppl> terms)
           
Tuple(DependencySet ds, java.util.List<T> elements)
           
Tuple(DependencySet ds, T... elementArgs)
           
 

Uses of DependencySet in org.mindswap.pellet
 

Fields in org.mindswap.pellet declared as DependencySet
static DependencySet DependencySet.DUMMY
          A dummy dependency set that is used just to indicate there is a dependency
static DependencySet DependencySet.EMPTY
          An empty dependency set
static DependencySet DependencySet.INDEPENDENT
          Used for assertions that are true by nature, i.e.
 

Methods in org.mindswap.pellet that return DependencySet
 DependencySet DependencySet.cache()
          Return a dummy representation of this DependencySet such that this.isIndependent() == this.copyForCache().isIndependent() The returned copy will not be accurate w.r.t.
 DependencySet DependencySet.copy(int newBranch)
          Creates a new DependencySet object with a new branch number where the IntSet is shared (changing one will change the other).
 DependencySet Clash.getDepends()
           
 DependencySet DefaultEdge.getDepends()
          
 DependencySet Edge.getDepends()
           
 DependencySet NodeMerge.getDepends()
           
 DependencySet Node.getDepends(aterm.ATerm c)
           
 DependencySet EdgeList.getDepends(boolean doExplanation)
           
 DependencySet Individual.getDifferenceDependency(Node node)
           
 DependencySet Literal.getDifferenceDependency(Node node)
           
 DependencySet Node.getDifferenceDependency(Node node)
           
 DependencySet Role.getExplainAsymmetric()
           
 DependencySet Role.getExplainDisjointRole(Role role)
           
 DependencySet Role.getExplainDomain(aterm.ATermAppl a)
           
 DependencySet Role.getExplainFunctional()
           
 DependencySet Role.getExplainInverseFunctional()
           
 DependencySet Role.getExplainIrreflexive()
           
 DependencySet Role.getExplainRange(aterm.ATermAppl a)
           
 DependencySet Role.getExplainReflexive()
           
 DependencySet Role.getExplainSub(aterm.ATerm r)
           
 DependencySet Role.getExplainSubOrInv(Role r)
           
 DependencySet Role.getExplainSuper(aterm.ATerm r)
           
 DependencySet Role.getExplainSymmetric()
           
 DependencySet Role.getExplainTransitive()
           
 DependencySet Node.getMergeDependency(boolean all)
          Get the dependency if this node is merged to another node.
 DependencySet Individual.getNodeDepends()
           
 DependencySet Literal.getNodeDepends()
           
abstract  DependencySet Node.getNodeDepends()
           
 DependencySet Node.getPruned()
           
 DependencySet Individual.hasDistinctRNeighborsForMax(Role r, int n, aterm.ATermAppl c)
          Checks if this individual has at least n distinct r-neighbors that has a specific type.
 DependencySet Individual.hasMax1(Role r)
           
 DependencySet DependencySet.union(DependencySet ds, boolean doExplanation)
          Create a new DependencySet and all the elements of this and ds.
 DependencySet DependencySet.union(IntSet set)
          Create a new DependencySet and all the elements of this and set .
 DependencySet DependencySet.union(java.util.Set<aterm.ATermAppl> explain, boolean doExplanation)
           
 

Methods in org.mindswap.pellet that return types with arguments of type DependencySet
 java.util.Map<Node,DependencySet> Node.getAllMerged()
           
 java.util.Map<aterm.ATermAppl,DependencySet> Node.getDepends()
           
 

Methods in org.mindswap.pellet with parameters of type DependencySet
 void Literal.addAllTypes(java.util.Map<aterm.ATermAppl,DependencySet> types, DependencySet ds)
           
 void KnowledgeBase.addDisjointProperty(aterm.ATermAppl p1, aterm.ATermAppl p2, DependencySet ds)
           
 boolean RBox.addDisjointRole(aterm.ATerm s, aterm.ATerm r, DependencySet ds)
           
 void Role.addDisjointRole(Role r, DependencySet ds)
           
 boolean Role.addDomain(aterm.ATermAppl a, DependencySet ds)
           
 Edge ABox.addEdge(aterm.ATermAppl p, aterm.ATermAppl s, aterm.ATermAppl o, DependencySet ds)
           
 Edge Individual.addEdge(Role r, Node x, DependencySet ds)
           
 boolean RBox.addEquivalentRole(aterm.ATerm s, aterm.ATerm r, DependencySet ds)
           
 Individual ABox.addFreshIndividual(Individual parent, DependencySet ds)
           
 Individual ABox.addIndividual(aterm.ATermAppl x, DependencySet ds)
           
 boolean RBox.addInverseRole(aterm.ATerm s, aterm.ATerm r, DependencySet ds)
           
 Literal ABox.addLiteral(aterm.ATermAppl dataValue, DependencySet ds)
           
 Literal ABox.addLiteral(DependencySet ds)
          Add a new literal to the ABox.
 boolean Role.addRange(aterm.ATermAppl a, DependencySet ds)
           
 boolean RBox.addSubRole(aterm.ATerm sub, aterm.ATerm sup, DependencySet ds)
           
 void Role.addSubRole(Role r, DependencySet ds)
          Add sub role with depedency set.
 void Role.addSubRoleChain(aterm.ATermList chain, DependencySet ds)
          Add a sub role chain with dependency tracking.
 void Role.addSuperRole(Role r, DependencySet ds)
           
 void ABox.addType(aterm.ATermAppl x, aterm.ATermAppl c, DependencySet ds)
           
 void KnowledgeBase.addType(aterm.ATermAppl i, aterm.ATermAppl c, DependencySet ds)
           
 void Individual.addType(aterm.ATermAppl c, DependencySet ds)
           
 void Literal.addType(aterm.ATermAppl c, DependencySet d)
           
 void Node.addType(aterm.ATermAppl c, DependencySet ds)
           
static Clash Clash.atomic(Node node, DependencySet depends)
           
static Clash Clash.atomic(Node node, DependencySet depends, aterm.ATermAppl c)
           
static Clash Clash.bottomProperty(Node node, DependencySet depends, aterm.ATermAppl p)
           
 boolean Individual.checkMaxClash(aterm.ATermAppl normalizedMax, DependencySet maxDepends)
           
 boolean Individual.checkMinClash(aterm.ATermAppl minCard, DependencySet minDepends)
           
static Clash Clash.disjointProps(Node node, DependencySet depends)
           
static Clash Clash.disjointProps(Node node, DependencySet depends, aterm.ATermAppl p1, aterm.ATermAppl p2)
           
static Clash Clash.emptyDatatype(Node node, DependencySet depends)
           
static Clash Clash.emptyDatatype(Node node, DependencySet depends, aterm.ATermAppl[] datatypes)
           
static Clash Clash.functionalCardinality(Node node, DependencySet depends)
           
static Clash Clash.functionalCardinality(Node node, DependencySet depends, aterm.ATermAppl r)
           
 void Node.inheritDifferents(Node y, DependencySet ds)
           
static Clash Clash.invalidLiteral(Node node, DependencySet depends)
           
static Clash Clash.invalidLiteral(Node node, DependencySet depends, aterm.ATermAppl value)
           
static Clash Clash.maxCardinality(Node node, DependencySet depends)
           
static Clash Clash.maxCardinality(Node node, DependencySet depends, aterm.ATermAppl r, int n)
           
static Clash Clash.minMax(Node node, DependencySet depends)
           
static Clash Clash.missingDatatype(Node node, DependencySet depends)
           
static Clash Clash.missingDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)
           
static Clash Clash.nominal(Node node, DependencySet depends)
           
static Clash Clash.nominal(Node node, DependencySet depends, aterm.ATermAppl other)
           
 void Individual.prune(DependencySet ds)
          Prune the given node by removing all links going to nominal nodes and recurse through all successors.
 void Literal.prune(DependencySet ds)
           
abstract  void Node.prune(DependencySet ds)
           
 boolean Role.removeDomain(aterm.ATermAppl a, DependencySet ds)
           
 boolean Role.removeRange(aterm.ATermAppl a, DependencySet ds)
           
 void Role.setAntisymmetric(boolean b, DependencySet ds)
          Deprecated. Use Role.setAsymmetric(boolean,DependencySet)
 void Role.setAsymmetric(boolean b, DependencySet ds)
           
 void Clash.setDepends(DependencySet depends)
           
 void DefaultEdge.setDepends(DependencySet ds)
          
 void Edge.setDepends(DependencySet ds)
           
 void Node.setDifferent(Node node, DependencySet ds)
           
 void ABox.setExplanation(DependencySet ds)
           
 void Role.setFunctional(boolean b, DependencySet ds)
           
 void Role.setInverseFunctional(boolean b, DependencySet ds)
           
 void Role.setIrreflexive(boolean b, DependencySet ds)
           
 void Role.setReflexive(boolean b, DependencySet ds)
           
 void Node.setSame(Node node, DependencySet ds)
           
 void Role.setTransitive(boolean b, DependencySet ds)
           
static Clash Clash.unexplained(Node node, DependencySet depends)
           
static Clash Clash.unexplained(Node node, DependencySet depends, java.lang.String msg)
           
 DependencySet DependencySet.union(DependencySet ds, boolean doExplanation)
          Create a new DependencySet and all the elements of this and ds.
static Clash Clash.valueDatatype(Node node, DependencySet depends)
           
static Clash Clash.valueDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)
           
 

Method parameters in org.mindswap.pellet with type arguments of type DependencySet
 void Literal.addAllTypes(java.util.Map<aterm.ATermAppl,DependencySet> types, DependencySet ds)
           
 void Role.setSubRolesAndChains(java.util.Set<Role> subRoles, java.util.Set<aterm.ATermList> subRoleChains, java.util.Map<aterm.ATerm,DependencySet> dependencies)
           
 

Constructors in org.mindswap.pellet with parameters of type DependencySet
DefaultEdge(Role name, Individual from, Node to, DependencySet d)
           
Literal(aterm.ATermAppl name, aterm.ATermAppl term, ABox abox, DependencySet ds)
           
NodeMerge(Node y, Node z, DependencySet ds)
           
 

Uses of DependencySet in org.mindswap.pellet.tableau.branch
 

Methods in org.mindswap.pellet.tableau.branch that return DependencySet
 DependencySet Branch.getCombinedClash()
           
 DependencySet Branch.getTermDepends()
           
 

Methods in org.mindswap.pellet.tableau.branch with parameters of type DependencySet
 void Branch.setLastClash(DependencySet ds)
           
 void DisjunctionBranch.setLastClash(DependencySet ds)
           
 void MaxBranch.setLastClash(DependencySet ds)
           
 void RuleBranch.setLastClash(DependencySet ds)
           
 void Branch.setTermDepends(DependencySet termDepends)
           
 

Constructors in org.mindswap.pellet.tableau.branch with parameters of type DependencySet
ChooseBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl c, DependencySet ds)
           
DisjunctionBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl disjunction, DependencySet ds, aterm.ATermAppl[] disj)
           
GuessBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int minGuess, int maxGuess, aterm.ATermAppl q, DependencySet ds)
           
MaxBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int n, aterm.ATermAppl qualification, java.util.List<NodeMerge> mergePairs, DependencySet ds)
           
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, java.util.List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)
           
 

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

Methods in org.mindswap.pellet.tableau.cache that return DependencySet
 DependencySet CachedEdge.getDepends()
          
 

Methods in org.mindswap.pellet.tableau.cache that return types with arguments of type DependencySet
 java.util.Map<aterm.ATermAppl,DependencySet> CachedConceptNode.getDepends()
          Returns the types and their dependencies for this node.
 java.util.Map<aterm.ATermAppl,DependencySet> CachedConstantNode.getDepends()
          Returns the types and their dependencies for this node.
 java.util.Map<aterm.ATermAppl,DependencySet> CachedNode.getDepends()
          Returns the types and their dependencies for this node.
 

Methods in org.mindswap.pellet.tableau.cache with parameters of type DependencySet
 void CachedEdge.setDepends(DependencySet ds)
          
 

Constructors in org.mindswap.pellet.tableau.cache with parameters of type DependencySet
CachedEdge(Role role, aterm.ATermAppl neighbor, DependencySet ds)
           
CachedInEdge(Role role, aterm.ATermAppl from, DependencySet ds)
           
CachedOutEdge(Role role, aterm.ATermAppl to, DependencySet ds)
           
 

Uses of DependencySet in org.mindswap.pellet.tableau.completion
 

Methods in org.mindswap.pellet.tableau.completion with parameters of type DependencySet
 void CompletionStrategy.addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
           
 void CompletionStrategy.addType(Node node, aterm.ATermAppl c, DependencySet ds)
           
 Individual CompletionStrategy.createFreshIndividual(Individual parent, DependencySet ds)
           
 void CompletionStrategy.mergeTo(Node y, Node z, DependencySet ds)
          Merge node y into z.
 

Uses of DependencySet in org.mindswap.pellet.tableau.completion.incremental
 

Methods in org.mindswap.pellet.tableau.completion.incremental with parameters of type DependencySet
 void DependencyIndex.addCloseBranchDependency(Branch branch, DependencySet ds)
          Add a new branch ds removal dependency
 void DependencyIndex.addEdgeDependency(Edge edge, DependencySet ds)
          Add a new edge dependency
 void DependencyIndex.addMergeDependency(aterm.ATermAppl ind, aterm.ATermAppl mergedTo, DependencySet ds)
          Add a new merge dependency
 void DependencyIndex.addTypeDependency(aterm.ATermAppl ind, aterm.ATermAppl type, DependencySet ds)
          Add a new type dependency
 

Uses of DependencySet in org.mindswap.pellet.tableau.completion.rule
 

Methods in org.mindswap.pellet.tableau.completion.rule with parameters of type DependencySet
 void AllValuesRule.applyAllValues(Individual x, aterm.ATermAppl av, DependencySet ds)
          Apply the allValues rule for the given type with the given dependency.
 void SimpleAllValuesRule.applyAllValues(Individual x, aterm.ATermAppl av, DependencySet ds)
           
 void AllValuesRule.applyAllValues(Individual subj, Role pred, Node obj, DependencySet ds)
           
 void SimpleAllValuesRule.applyAllValues(Individual subj, Role pred, Node obj, DependencySet ds)
           
 void MaxRule.applyFunctionalMaxRule(Individual x, Role s, aterm.ATermAppl c, DependencySet ds)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.