Uses of Class
openllet.core.DependencySet

Packages that use DependencySet

Package	Description
openllet.core
openllet.core.boxes.abox
openllet.core.boxes.rbox
openllet.core.knowledge
openllet.core.rules
openllet.core.rules.rete
openllet.core.tableau.branch
openllet.core.tableau.cache
openllet.core.tableau.completion
openllet.core.tableau.completion.incremental
openllet.core.tableau.completion.rule

Uses of DependencySet in openllet.core

Fields in openllet.core declared as DependencySet

Modifier and Type	Field	Description
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. an _individual always has type owl:Thing

Methods in openllet.core that return DependencySet

Modifier and Type	Method	Description
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. any other function call, e.g.
DependencySet	DependencySet.copy(int newBranch)
DependencySet	DependencySet.union(java.util.Set<openllet.aterm.ATermAppl> explain, boolean doExplanation)
DependencySet	DependencySet.union(DependencySet ds, boolean doExplanation)

Methods in openllet.core with parameters of type DependencySet

Modifier and Type	Method	Description
void	KnowledgeBaseImplFullSync.addDisjointProperty(openllet.aterm.ATermAppl p1, openllet.aterm.ATermAppl p2, DependencySet ds)
void	KnowledgeBase.addType(openllet.aterm.ATermAppl i, openllet.aterm.ATermAppl c, DependencySet ds)
void	KnowledgeBaseImpl.addType(openllet.aterm.ATermAppl i, openllet.aterm.ATermAppl c, DependencySet ds)
void	KnowledgeBaseImplFullSync.addType(openllet.aterm.ATermAppl i, openllet.aterm.ATermAppl c, DependencySet ds)
DependencySet	DependencySet.union(DependencySet ds, boolean doExplanation)

Uses of DependencySet in openllet.core.boxes.abox

Methods in openllet.core.boxes.abox that return DependencySet

Modifier and Type	Method	Description
DependencySet	Clash.getDepends()
DependencySet	DefaultEdge.getDepends()
DependencySet	Edge.getDepends()
DependencySet	EdgeList.getDepends(boolean doExplanation)
DependencySet	Node.getDepends(openllet.aterm.ATerm c)
DependencySet	NodeMerge.getDepends()
DependencySet	Individual.getDifferenceDependency(Node node)
DependencySet	Literal.getDifferenceDependency(Node node)
DependencySet	Node.getDifferenceDependency(Node node)
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, openllet.aterm.ATermAppl c)	Checks if this _individual has at least n distinct r-neighbors that has a specific type.
DependencySet	Individual.hasMax1(Role r)

Methods in openllet.core.boxes.abox that return types with arguments of type DependencySet

Modifier and Type	Method	Description
java.util.Map<Node,DependencySet>	Node.getAllMerged()
java.util.Map<openllet.aterm.ATermAppl,DependencySet>	Node.getDepends()

Methods in openllet.core.boxes.abox with parameters of type DependencySet

Modifier and Type	Method	Description
void	Literal.addAllTypes(java.util.Map<openllet.aterm.ATermAppl,DependencySet> types, DependencySet ds)
Edge	ABox.addEdge(openllet.aterm.ATermAppl p, openllet.aterm.ATermAppl s, openllet.aterm.ATermAppl o, DependencySet ds)
Edge	ABoxImpl.addEdge(openllet.aterm.ATermAppl p, openllet.aterm.ATermAppl s, openllet.aterm.ATermAppl o, DependencySet dsParam)
Edge	Individual.addEdge(Role r, Node x, DependencySet dsParam)
Individual	ABox.addFreshIndividual(Individual parent, DependencySet ds)
Individual	ABoxImpl.addFreshIndividual(Individual parent, DependencySet ds)
Individual	ABox.addIndividual(openllet.aterm.ATermAppl x, DependencySet ds)
Individual	ABoxImpl.addIndividual(openllet.aterm.ATermAppl x, DependencySet ds)
Literal	ABox.addLiteral(openllet.aterm.ATermAppl dataValue, DependencySet ds)
Literal	ABox.addLiteral(DependencySet ds)	Add a new literal to the ABox.
Literal	ABoxImpl.addLiteral(openllet.aterm.ATermAppl dataValue, DependencySet ds)
Literal	ABoxImpl.addLiteral(DependencySet ds)
void	ABox.addType(openllet.aterm.ATermAppl x, openllet.aterm.ATermAppl c, DependencySet ds)
void	ABoxImpl.addType(openllet.aterm.ATermAppl x, openllet.aterm.ATermAppl cParam, DependencySet dsParam)
void	Individual.addType(openllet.aterm.ATermAppl c, DependencySet ds)
void	Individual.addType(openllet.aterm.ATermAppl c, DependencySet dsParam, boolean checkForPruned)
void	Literal.addType(openllet.aterm.ATermAppl c, DependencySet d)
void	Node.addType(openllet.aterm.ATermAppl c, DependencySet ds)
static Clash	Clash.atomic(Node node, DependencySet depends)
static Clash	Clash.atomic(Node node, DependencySet depends, openllet.aterm.ATermAppl c)
static Clash	Clash.bottomProperty(Node node, DependencySet depends, openllet.aterm.ATermAppl p)
boolean	Individual.checkMaxClash(openllet.aterm.ATermAppl normalizedMax, DependencySet maxDepends)
boolean	Individual.checkMinClash(openllet.aterm.ATermAppl minCard, DependencySet minDepends)
static Clash	Clash.disjointProps(Node node, DependencySet depends, openllet.aterm.ATermAppl p1, openllet.aterm.ATermAppl p2)
static Clash	Clash.emptyDatatype(Node node, DependencySet depends)
static Clash	Clash.emptyDatatype(Node node, DependencySet depends, openllet.aterm.ATermAppl[] datatypes)
static Clash	Clash.functionalCardinality(Node node, DependencySet depends, openllet.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, openllet.aterm.ATermAppl value)
static Clash	Clash.maxCardinality(Node node, DependencySet depends)
static Clash	Clash.maxCardinality(Node node, DependencySet depends, openllet.aterm.ATermAppl r, int n)
static Clash	Clash.minMax(Node node, DependencySet depends)
static Clash	Clash.nominal(Node node, DependencySet depends)
static Clash	Clash.nominal(Node node, DependencySet depends, openllet.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)
void	Clash.setDepends(DependencySet depends)
void	DefaultEdge.setDepends(DependencySet ds)
void	Edge.setDepends(DependencySet ds)
boolean	Node.setDifferent(Node node, DependencySet dsParam)
void	ABox.setExplanation(DependencySet ds)
void	ABoxImpl.setExplanation(DependencySet ds)
boolean	Node.setSame(Node node, DependencySet ds)
static Clash	Clash.unexplained(Node node, DependencySet depends)
static Clash	Clash.unexplained(Node node, DependencySet depends, java.lang.String msg)
static Clash	Clash.valueDatatype(Node node, DependencySet depends, openllet.aterm.ATermAppl value, openllet.aterm.ATermAppl datatype)

Method parameters in openllet.core.boxes.abox with type arguments of type DependencySet

Modifier and Type	Method	Description
void	Literal.addAllTypes(java.util.Map<openllet.aterm.ATermAppl,DependencySet> types, DependencySet ds)

Constructors in openllet.core.boxes.abox with parameters of type DependencySet

Constructor	Description
DefaultEdge(Role name, Individual from, Node to, DependencySet d)
Literal(openllet.aterm.ATermAppl name, openllet.aterm.ATermAppl term, ABox abox, DependencySet ds)
NodeMerge(Node y, Node z, DependencySet ds)

Uses of DependencySet in openllet.core.boxes.rbox

Methods in openllet.core.boxes.rbox that return DependencySet

Modifier and Type	Method	Description
DependencySet	Role.getExplainAsymmetric()
DependencySet	RoleImpl.getExplainAsymmetric()
DependencySet	Role.getExplainDisjointRole(Role role)
DependencySet	RoleImpl.getExplainDisjointRole(Role role)
DependencySet	Role.getExplainDomain(openllet.aterm.ATermAppl a)
DependencySet	RoleImpl.getExplainDomain(openllet.aterm.ATermAppl a)
DependencySet	Role.getExplainFunctional()
DependencySet	RoleImpl.getExplainFunctional()
DependencySet	Role.getExplainInverseFunctional()
DependencySet	RoleImpl.getExplainInverseFunctional()
DependencySet	Role.getExplainIrreflexive()
DependencySet	RoleImpl.getExplainIrreflexive()
DependencySet	Role.getExplainRange(openllet.aterm.ATermAppl a)
DependencySet	RoleImpl.getExplainRange(openllet.aterm.ATermAppl a)
DependencySet	Role.getExplainReflexive()
DependencySet	RoleImpl.getExplainReflexive()
DependencySet	Role.getExplainSub(openllet.aterm.ATerm r)
DependencySet	RoleImpl.getExplainSub(openllet.aterm.ATerm r)
DependencySet	Role.getExplainSubOrInv(Role r)
DependencySet	RoleImpl.getExplainSubOrInv(Role r)
DependencySet	Role.getExplainSuper(openllet.aterm.ATerm r)
DependencySet	RoleImpl.getExplainSuper(openllet.aterm.ATerm r)
DependencySet	Role.getExplainSymmetric()
DependencySet	RoleImpl.getExplainSymmetric()
DependencySet	Role.getExplainTransitive()
DependencySet	RoleImpl.getExplainTransitive()

Methods in openllet.core.boxes.rbox with parameters of type DependencySet

Modifier and Type	Method	Description
default boolean	RBox.addDisjointRole(openllet.aterm.ATerm s, openllet.aterm.ATerm r, DependencySet ds)
void	Role.addDisjointRole(Role r, DependencySet ds)
void	RoleImpl.addDisjointRole(Role r, DependencySet ds)
boolean	Role.addDomain(openllet.aterm.ATermAppl a, DependencySet ds)
boolean	RoleImpl.addDomain(openllet.aterm.ATermAppl a, DependencySet ds)
default boolean	RBox.addEquivalentRole(openllet.aterm.ATerm s, openllet.aterm.ATerm r, DependencySet ds)
default boolean	RBox.addInverseRole(openllet.aterm.ATerm s, openllet.aterm.ATerm r, DependencySet ds)
boolean	Role.addRange(openllet.aterm.ATermAppl a, DependencySet ds)
boolean	RoleImpl.addRange(openllet.aterm.ATermAppl a, DependencySet ds)
default boolean	RBox.addSubRole(openllet.aterm.ATerm sub, openllet.aterm.ATerm sup, DependencySet ds)
void	Role.addSubRole(Role r, DependencySet ds)	Add sub role with depedency set.
void	RoleImpl.addSubRole(Role r, DependencySet ds)	Add sub role with depedency set.
void	Role.addSubRoleChain(openllet.aterm.ATermList chain, DependencySet ds)	Add a sub role chain with dependency tracking.
void	RoleImpl.addSubRoleChain(openllet.aterm.ATermList chain, DependencySet ds)	Add a sub role chain with dependency tracking.
void	Role.addSuperRole(Role r, DependencySet ds)
void	RoleImpl.addSuperRole(Role r, DependencySet ds)
void	RBox.computeSubRoles(Role r, java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies, DependencySet ds)
void	RBoxImpl.computeSubRoles(Role r, java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies, DependencySet ds)
boolean	Role.removeDomain(openllet.aterm.ATermAppl a, DependencySet ds)
boolean	RoleImpl.removeDomain(openllet.aterm.ATermAppl a, DependencySet ds)
boolean	Role.removeRange(openllet.aterm.ATermAppl a, DependencySet ds)
boolean	RoleImpl.removeRange(openllet.aterm.ATermAppl a, DependencySet ds)
void	Role.setAsymmetric(boolean b, DependencySet ds)
void	RoleImpl.setAsymmetric(boolean b, DependencySet ds)
void	Role.setFunctional(boolean b, DependencySet ds)
void	RoleImpl.setFunctional(boolean b, DependencySet ds)
void	Role.setInverseFunctional(boolean b, DependencySet ds)
void	RoleImpl.setInverseFunctional(boolean b, DependencySet ds)
void	Role.setIrreflexive(boolean b, DependencySet ds)
void	RoleImpl.setIrreflexive(boolean b, DependencySet ds)
void	Role.setReflexive(boolean b, DependencySet ds)
void	RoleImpl.setReflexive(boolean b, DependencySet ds)
void	Role.setTransitive(boolean b, DependencySet ds)
void	RoleImpl.setTransitive(boolean b, DependencySet ds)

Method parameters in openllet.core.boxes.rbox with type arguments of type DependencySet

Modifier and Type	Method	Description
void	RBox.computeImmediateSubRoles(Role r, java.util.Map<openllet.aterm.ATerm,DependencySet> subs)
void	RBoxImpl.computeImmediateSubRoles(Role r, java.util.Map<openllet.aterm.ATerm,DependencySet> subs)
void	RBox.computeSubRoles(Role r, java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies, DependencySet ds)
void	RBoxImpl.computeSubRoles(Role r, java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies, DependencySet ds)
void	Role.setSubRolesAndChains(java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies)
void	RoleImpl.setSubRolesAndChains(java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies)

Uses of DependencySet in openllet.core.knowledge

Methods in openllet.core.knowledge with parameters of type DependencySet

Modifier and Type	Method	Description
default void	PropertiesBase.addDisjointProperty(openllet.aterm.ATermAppl p1, openllet.aterm.ATermAppl p2, DependencySet ds)

Uses of DependencySet in openllet.core.rules

Methods in openllet.core.rules that return DependencySet

Modifier and Type	Method	Description
DependencySet	PartialBinding.getDependencySet()
DependencySet	TrivialSatisfactionHelpers.isAtomTrue(RuleAtom atom, VariableBinding binding)

Methods in openllet.core.rules with parameters of type DependencySet

Modifier and Type	Method	Description
Edge	ContinuousRulesStrategy.addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
void	ContinuousRulesStrategy.addType(Node node, openllet.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)
boolean	ContinuousRulesStrategy.setDifferent(Node y, Node z, DependencySet ds)

Constructors in openllet.core.rules with parameters of type DependencySet

Constructor	Description
PartialBinding(Rule rule, VariableBinding binding, DependencySet ds)

Uses of DependencySet in openllet.core.rules.rete

Methods in openllet.core.rules.rete that return DependencySet

Modifier and Type	Method	Description
DependencySet	Tuple.getDependencySet()
abstract DependencySet	Token.getDepends(boolean doExplanation)
DependencySet	WME.BuiltinWME.getDepends()
DependencySet	WME.EdgeWME.getDepends()
abstract DependencySet	WME.getDepends()

Methods in openllet.core.rules.rete with parameters of type DependencySet

Modifier and Type	Method	Description
boolean	AlphaDiffFromNode.activate(Individual s, Individual o, DependencySet ds)
boolean	AlphaTypeNode.activate(Individual ind, openllet.aterm.ATermAppl type, DependencySet ds)
void	AlphaNetwork.activateDifferent(Individual ind, Individual diff, DependencySet ds)
void	AlphaNetwork.activateType(Individual ind, openllet.aterm.ATermAppl type, DependencySet ds)
static WME	WME.createBuiltin(Literal[] literals, DependencySet ds)
static WME.DiffFrom	WME.createDiffFrom(Individual subject, Individual object, DependencySet depends)
static WME.TypeWME	WME.createType(Individual arg, openllet.aterm.ATermAppl type, DependencySet depends)

Constructors in openllet.core.rules.rete with parameters of type DependencySet

Constructor	Description
BuiltinWME(Literal[] literals, DependencySet depends)
DiffFrom(Individual subject, Individual object, DependencySet depends)
Tuple(DependencySet ds, java.util.List<T> elements)
Tuple(DependencySet ds, T... elementArgs)
TypeWME(Individual subject, openllet.aterm.ATermAppl type, DependencySet depends)

Uses of DependencySet in openllet.core.tableau.branch

Methods in openllet.core.tableau.branch that return DependencySet

Modifier and Type	Method	Description
DependencySet	Branch.getCombinedClash()
DependencySet	Branch.getTermDepends()

Methods in openllet.core.tableau.branch with parameters of type DependencySet

Modifier and Type	Method	Description
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 openllet.core.tableau.branch with parameters of type DependencySet

Constructor	Description
ChooseBranch(ABox abox, CompletionStrategy completion, Node node, openllet.aterm.ATermAppl c, DependencySet ds)
DisjunctionBranch(ABox abox, CompletionStrategy completion, Node node, openllet.aterm.ATermAppl disjunction, DependencySet ds, openllet.aterm.ATermAppl[] disj)
GuessBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int minGuess, int maxGuess, openllet.aterm.ATermAppl q, DependencySet ds)
MaxBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int n, openllet.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 openllet.core.tableau.cache

Methods in openllet.core.tableau.cache that return DependencySet

Modifier and Type	Method	Description
DependencySet	CachedEdge.getDepends()

Methods in openllet.core.tableau.cache that return types with arguments of type DependencySet

Modifier and Type	Method	Description
java.util.Map<openllet.aterm.ATermAppl,DependencySet>	CachedConceptNode.getDepends()	Returns the types and their dependencies for this _node.
java.util.Map<openllet.aterm.ATermAppl,DependencySet>	CachedConstantNode.getDepends()	Returns the types and their dependencies for this _node.
java.util.Map<openllet.aterm.ATermAppl,DependencySet>	CachedNode.getDepends()	Returns the types and their dependencies for this _node.

Methods in openllet.core.tableau.cache with parameters of type DependencySet

Modifier and Type	Method	Description
void	CachedEdge.setDepends(DependencySet ds)

Constructors in openllet.core.tableau.cache with parameters of type DependencySet

Constructor	Description
CachedEdge(Role role, openllet.aterm.ATermAppl neighbor, DependencySet ds)
CachedInEdge(Role role, openllet.aterm.ATermAppl from, DependencySet ds)
CachedOutEdge(Role role, openllet.aterm.ATermAppl to, DependencySet ds)

Uses of DependencySet in openllet.core.tableau.completion

Methods in openllet.core.tableau.completion with parameters of type DependencySet

Modifier and Type	Method	Description
Edge	CompletionStrategy.addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
void	CompletionStrategy.addType(Node startNode, openllet.aterm.ATermAppl c, DependencySet ds)
void	CompletionStrategy.applyDomainRange(Individual subj, Role pred, Node obj, DependencySet ds)
void	CompletionStrategy.applyPropertyRestrictions(Individual subj, Role pred, Node obj, DependencySet ds)
void	CompletionStrategy.checkReflexivitySymmetry(Individual subj, Role pred, Individual obj, DependencySet dsParam)
Individual	CompletionStrategy.createFreshIndividual(Individual parent, DependencySet ds)
void	CompletionStrategy.mergeTo(Node y, Node z, DependencySet dsParam)	Merge _node y into z.
boolean	CompletionStrategy.setDifferent(Node y, Node z, DependencySet ds)

Uses of DependencySet in openllet.core.tableau.completion.incremental

Methods in openllet.core.tableau.completion.incremental with parameters of type DependencySet

Modifier and Type	Method	Description
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(openllet.aterm.ATermAppl ind, openllet.aterm.ATermAppl mergedTo, DependencySet ds)	Add a new merge dependency
void	DependencyIndex.addTypeDependency(openllet.aterm.ATermAppl ind, openllet.aterm.ATermAppl type, DependencySet ds)	Add a new type dependency

Uses of DependencySet in openllet.core.tableau.completion.rule

Methods in openllet.core.tableau.completion.rule with parameters of type DependencySet

Modifier and Type	Method	Description
void	AllValuesRule.applyAllValues(Individual x, openllet.aterm.ATermAppl av, DependencySet ds)	Apply the all Values rule for the given type with the given dependency.
void	AllValuesRule.applyAllValues(Individual subj, Role pred, Node startNode, DependencySet ds)
void	SimpleAllValuesRule.applyAllValues(Individual x, openllet.aterm.ATermAppl av, DependencySet ds)
void	SimpleAllValuesRule.applyAllValues(Individual subj, Role pred, Node obj, DependencySet ds)
void	AllValuesRule.applyAllValuesTop(openllet.aterm.ATermAppl allTopC, openllet.aterm.ATermAppl c, DependencySet ds)	Apply all values restriction for the Top object role
void	MaxCardinalityRule.applyFunctionalMaxRule(Individual x, Role s, openllet.aterm.ATermAppl c, DependencySet dsParam)