|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.ABox
public class ABox
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
Field Summary | |
---|---|
static java.util.logging.Logger |
log
|
boolean |
ranRete
|
boolean |
rulesNotApplied
|
ABoxStats |
stats
|
boolean |
useRete
|
Constructor Summary | |
---|---|
ABox(KnowledgeBase kb)
|
|
ABox(KnowledgeBase kb,
ABox abox,
aterm.ATermAppl extraIndividual,
boolean copyIndividuals)
|
Method Summary | |
---|---|
void |
addAllDifferent(aterm.ATermList list)
|
void |
addDifferent(aterm.ATermAppl x,
aterm.ATermAppl y)
|
Edge |
addEdge(aterm.ATermAppl p,
aterm.ATermAppl s,
aterm.ATermAppl o,
DependencySet ds)
|
Individual |
addFreshIndividual(Individual parent,
DependencySet ds)
|
Individual |
addIndividual(aterm.ATermAppl x,
DependencySet ds)
|
Literal |
addLiteral(aterm.ATermAppl dataValue)
Add a new literal to the ABox. |
Literal |
addLiteral(aterm.ATermAppl dataValue,
DependencySet ds)
|
Literal |
addLiteral(DependencySet ds)
Add a new literal to the ABox. |
void |
addSame(aterm.ATermAppl x,
aterm.ATermAppl y)
|
void |
addType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
void |
addType(aterm.ATermAppl x,
aterm.ATermAppl c,
DependencySet ds)
|
void |
clearCaches(boolean clearSatCache)
Clear the pseudo model created for the ABox and concept satisfiability. |
ABox |
copy()
Create a copy of this ABox with all the nodes and edges. |
ABox |
copy(aterm.ATermAppl extraIndividual,
boolean copyIndividuals)
Create a copy of this ABox with one more additional individual. |
ABox |
copy(KnowledgeBase kb)
Create a copy of this ABox with all the nodes and edges and the given KB. |
void |
copyOnWrite()
|
aterm.ATermAppl |
createUniqueName(boolean isNominal)
|
boolean |
doExplanation()
Checks if the explanation is turned on. |
int |
getAnonCount()
|
int |
getBranch()
Return the current branch number. |
BranchEffectTracker |
getBranchEffectTracker()
|
java.util.List<Branch> |
getBranches()
Returns the branches. |
ConceptCache |
getCache()
|
CachedNode |
getCached(aterm.ATermAppl c)
|
Bool |
getCachedSat(aterm.ATermAppl c)
|
Clash |
getClash()
|
CompletionQueue |
getCompletionQueue()
|
java.util.List<aterm.ATermAppl> |
getDataPropertyValues(aterm.ATermAppl s,
Role role,
aterm.ATermAppl datatype)
|
java.util.List<aterm.ATermAppl> |
getDataPropertyValues(aterm.ATermAppl s,
Role role,
aterm.ATermAppl datatype,
boolean onlyObvious)
|
DatatypeReasoner |
getDatatypeReasoner()
|
java.util.Map<aterm.ATermAppl,int[]> |
getDisjBranchStats()
|
java.lang.String |
getExplanation()
|
java.util.Set<aterm.ATermAppl> |
getExplanationSet()
|
IncrementalChangeTracker |
getIncrementalChangeTracker()
|
IndividualIterator |
getIndIterator()
Return individuals to which we need to apply the tableau rules |
Individual |
getIndividual(aterm.ATerm x)
|
EdgeList |
getInEdges(aterm.ATerm x)
|
KnowledgeBase |
getKB()
|
Clash |
getLastClash()
|
ABox |
getLastCompletion()
|
Literal |
getLiteral(aterm.ATerm x)
|
Node |
getNode(aterm.ATerm x)
|
java.util.List<aterm.ATermAppl> |
getNodeNames()
|
java.util.Collection<Node> |
getNodes()
|
void |
getObjectPropertyValues(aterm.ATermAppl s,
Role role,
java.util.Set<aterm.ATermAppl> knowns,
java.util.Set<aterm.ATermAppl> unknowns,
boolean getSames)
|
java.util.List<aterm.ATermAppl> |
getObviousDataPropertyValues(aterm.ATermAppl s,
Role prop,
aterm.ATermAppl datatype)
|
CandidateSet<aterm.ATermAppl> |
getObviousInstances(aterm.ATermAppl c)
|
CandidateSet<aterm.ATermAppl> |
getObviousInstances(aterm.ATermAppl c,
java.util.Collection<aterm.ATermAppl> individuals)
|
void |
getObviousObjects(aterm.ATermAppl p,
CandidateSet<aterm.ATermAppl> candidates)
|
CandidateSet<aterm.ATermAppl> |
getObviousSubjects(aterm.ATermAppl p,
aterm.ATermAppl o)
|
void |
getObviousSubjects(aterm.ATermAppl p,
aterm.ATermAppl o,
CandidateSet<aterm.ATermAppl> candidates)
|
void |
getObviousTypes(aterm.ATermAppl x,
java.util.List<aterm.ATermAppl> types,
java.util.List<aterm.ATermAppl> nonTypes)
|
EdgeList |
getOutEdges(aterm.ATerm x)
|
RBox |
getRBox()
Return the RBox |
Role |
getRole(aterm.ATerm r)
Convenience function to get the named role. |
void |
getSames(Individual ind,
java.util.Set<aterm.ATermAppl> knowns,
java.util.Set<aterm.ATermAppl> unknowns)
|
void |
getSubjects(aterm.ATermAppl p,
aterm.ATermAppl o,
CandidateSet<aterm.ATermAppl> candidates)
|
TBox |
getTBox()
Return the TBox |
java.util.List<NodeMerge> |
getToBeMerged()
|
Bool |
hasObviousDataPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
java.lang.Object value)
|
Bool |
hasObviousObjectPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
Bool |
hasObviousPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
boolean |
hasPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
void |
incrementBranch()
Increment the branch number (should only be called when a non-deterministic rule, e.g. |
boolean |
isChanged()
|
boolean |
isClosed()
Returns true if Abox has a clash. |
boolean |
isComplete()
|
boolean |
isConsistent()
Return true if this ABox is consistent. |
boolean |
isEmpty()
Returns true if there are no individuals in the ABox. |
boolean |
isInitialized()
Check if the ABox is ready to be completed. |
boolean |
isKeepLastCompletion()
|
Bool |
isKnownSubClassOf(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
Bool |
isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
Bool |
isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c,
java.util.Collection<aterm.ATermAppl> subs)
|
Bool |
isKnownType(Individual pNode,
aterm.ATermAppl concept,
java.util.Collection<aterm.ATermAppl> subs)
|
boolean |
isNode(aterm.ATerm x)
|
boolean |
isSameAs(aterm.ATermAppl ind1,
aterm.ATermAppl ind2)
|
boolean |
isSatisfiable(aterm.ATermAppl c)
|
boolean |
isSatisfiable(aterm.ATermAppl c,
boolean cacheModel)
|
boolean |
isSubClassOf(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
boolean |
isType(aterm.ATermAppl x,
aterm.ATermAppl c)
Returns true if individual x belongs to type c. |
boolean |
isType(java.util.List<aterm.ATermAppl> inds,
aterm.ATermAppl c)
Returns true if any of the individuals in the given list belongs to type c. |
void |
printTree()
Print the ABox as a completion tree (child nodes are indented). |
boolean |
removeNode(aterm.ATermAppl x)
Remove the given node from the node map which maps names to nodes. |
void |
removeType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
void |
reset()
Reset the ABox to contain only asserted information. |
void |
resetQueue()
|
int |
setAnonCount(int anonCount)
|
void |
setBranch(int branch)
Set the branch number (should only be called when backjumping is in progress) |
void |
setChanged(boolean changed)
|
void |
setClash(Clash clash)
|
void |
setComplete(boolean isComplete)
|
void |
setDisjBranchStats(java.util.Map<aterm.ATermAppl,int[]> disjBranchStats)
|
void |
setDoExplanation(boolean doExplanation)
Enable/disable explanation generation |
void |
setExplanation(DependencySet ds)
|
void |
setInitialized(boolean initialized)
|
void |
setKeepLastCompletion(boolean keepLastCompletion)
|
void |
setLastCompletion(ABox comp)
|
int |
size()
Return the number of nodes in the ABox. |
java.lang.String |
toString()
|
void |
validate()
Validate all the edges in the ABox nodes. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final java.util.logging.Logger log
public ABoxStats stats
public boolean rulesNotApplied
public boolean ranRete
public boolean useRete
Constructor Detail |
---|
public ABox(KnowledgeBase kb)
public ABox(KnowledgeBase kb, ABox abox, aterm.ATermAppl extraIndividual, boolean copyIndividuals)
Method Detail |
---|
public ABox copy()
public ABox copy(KnowledgeBase kb)
public ABox copy(aterm.ATermAppl extraIndividual, boolean copyIndividuals)
extraIndividual
- Extra individual to be added to the copy ABox
public void copyOnWrite()
public void clearCaches(boolean clearSatCache)
clearSatCache
- If true clear concept satisfiability cache, if false only
clear pseudo model.public Bool getCachedSat(aterm.ATermAppl c)
public ConceptCache getCache()
public CachedNode getCached(aterm.ATermAppl c)
public Bool isKnownSubClassOf(aterm.ATermAppl c1, aterm.ATermAppl c2)
public boolean isSubClassOf(aterm.ATermAppl c1, aterm.ATermAppl c2)
public boolean isSatisfiable(aterm.ATermAppl c)
public boolean isSatisfiable(aterm.ATermAppl c, boolean cacheModel)
public CandidateSet<aterm.ATermAppl> getObviousInstances(aterm.ATermAppl c)
public CandidateSet<aterm.ATermAppl> getObviousInstances(aterm.ATermAppl c, java.util.Collection<aterm.ATermAppl> individuals)
public void getObviousTypes(aterm.ATermAppl x, java.util.List<aterm.ATermAppl> types, java.util.List<aterm.ATermAppl> nonTypes)
public CandidateSet<aterm.ATermAppl> getObviousSubjects(aterm.ATermAppl p, aterm.ATermAppl o)
public void getSubjects(aterm.ATermAppl p, aterm.ATermAppl o, CandidateSet<aterm.ATermAppl> candidates)
public void getObviousSubjects(aterm.ATermAppl p, aterm.ATermAppl o, CandidateSet<aterm.ATermAppl> candidates)
public void getObviousObjects(aterm.ATermAppl p, CandidateSet<aterm.ATermAppl> candidates)
public Bool isKnownType(aterm.ATermAppl x, aterm.ATermAppl c)
public Bool isKnownType(aterm.ATermAppl x, aterm.ATermAppl c, java.util.Collection<aterm.ATermAppl> subs)
public Bool isKnownType(Individual pNode, aterm.ATermAppl concept, java.util.Collection<aterm.ATermAppl> subs)
public boolean isSameAs(aterm.ATermAppl ind1, aterm.ATermAppl ind2)
public boolean isType(aterm.ATermAppl x, aterm.ATermAppl c)
x
- c
-
public boolean isType(java.util.List<aterm.ATermAppl> inds, aterm.ATermAppl c)
c
- inds
-
public Bool hasObviousPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, aterm.ATermAppl o)
public Bool hasObviousDataPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, java.lang.Object value)
public Bool hasObviousObjectPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, aterm.ATermAppl o)
public boolean hasPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, aterm.ATermAppl o)
public java.util.List<aterm.ATermAppl> getDataPropertyValues(aterm.ATermAppl s, Role role, aterm.ATermAppl datatype)
public java.util.List<aterm.ATermAppl> getDataPropertyValues(aterm.ATermAppl s, Role role, aterm.ATermAppl datatype, boolean onlyObvious)
public java.util.List<aterm.ATermAppl> getObviousDataPropertyValues(aterm.ATermAppl s, Role prop, aterm.ATermAppl datatype)
public void getObjectPropertyValues(aterm.ATermAppl s, Role role, java.util.Set<aterm.ATermAppl> knowns, java.util.Set<aterm.ATermAppl> unknowns, boolean getSames)
public void getSames(Individual ind, java.util.Set<aterm.ATermAppl> knowns, java.util.Set<aterm.ATermAppl> unknowns)
public boolean isConsistent()
public EdgeList getInEdges(aterm.ATerm x)
public EdgeList getOutEdges(aterm.ATerm x)
public Individual getIndividual(aterm.ATerm x)
public Literal getLiteral(aterm.ATerm x)
public Node getNode(aterm.ATerm x)
public void addType(aterm.ATermAppl x, aterm.ATermAppl c)
public void addType(aterm.ATermAppl x, aterm.ATermAppl c, DependencySet ds)
public Edge addEdge(aterm.ATermAppl p, aterm.ATermAppl s, aterm.ATermAppl o, DependencySet ds)
public boolean removeNode(aterm.ATermAppl x)
x
-
public void removeType(aterm.ATermAppl x, aterm.ATermAppl c)
public Literal addLiteral(DependencySet ds)
public Literal addLiteral(aterm.ATermAppl dataValue)
dataValue
- A literal ATerm which should be constructed with one of
ATermUtils.makeXXXLiteral functions
public Literal addLiteral(aterm.ATermAppl dataValue, DependencySet ds)
public Individual addIndividual(aterm.ATermAppl x, DependencySet ds)
public Individual addFreshIndividual(Individual parent, DependencySet ds)
public void addSame(aterm.ATermAppl x, aterm.ATermAppl y)
public void addDifferent(aterm.ATermAppl x, aterm.ATermAppl y)
public void addAllDifferent(aterm.ATermList list)
public boolean isNode(aterm.ATerm x)
public final aterm.ATermAppl createUniqueName(boolean isNominal)
public final java.util.Collection<Node> getNodes()
public final java.util.List<aterm.ATermAppl> getNodeNames()
public java.lang.String toString()
toString
in class java.lang.Object
public DatatypeReasoner getDatatypeReasoner()
public boolean isComplete()
public void setComplete(boolean isComplete)
isComplete
- The isComplete to set.public boolean isClosed()
public Clash getClash()
public void setClash(Clash clash)
public KnowledgeBase getKB()
public Role getRole(aterm.ATerm r)
public RBox getRBox()
public TBox getTBox()
public int getBranch()
public void setBranch(int branch)
branch
- public void incrementBranch()
branch
- public boolean isInitialized()
public void setInitialized(boolean initialized)
public final boolean doExplanation()
public void setDoExplanation(boolean doExplanation)
doExplanation
- The doExplanation to set.public void setExplanation(DependencySet ds)
public java.lang.String getExplanation()
public java.util.Set<aterm.ATermAppl> getExplanationSet()
public BranchEffectTracker getBranchEffectTracker()
public java.util.List<Branch> getBranches()
public IncrementalChangeTracker getIncrementalChangeTracker()
public IndividualIterator getIndIterator()
public void validate()
public void printTree()
public Clash getLastClash()
public ABox getLastCompletion()
public boolean isKeepLastCompletion()
public void setKeepLastCompletion(boolean keepLastCompletion)
public int size()
public boolean isEmpty()
public void setLastCompletion(ABox comp)
public CompletionQueue getCompletionQueue()
public void reset()
public void resetQueue()
public int setAnonCount(int anonCount)
anonCount
- the anonCount to setpublic int getAnonCount()
public void setDisjBranchStats(java.util.Map<aterm.ATermAppl,int[]> disjBranchStats)
disjBranchStats
- the disjBranchStats to setpublic java.util.Map<aterm.ATermAppl,int[]> getDisjBranchStats()
public void setChanged(boolean changed)
changed
- the changed to setpublic boolean isChanged()
public java.util.List<NodeMerge> getToBeMerged()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |