|
||||||||||
| 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 | |
|---|---|
long |
consistencyCount
Total number of ABox consistency checks (for statistical purposes) |
static java.util.logging.Logger |
log
|
boolean |
ranRete
|
boolean |
rulesNotApplied
|
long |
satisfiabilityCount
Total number of satisfiability tests performed (for statistical purposes) |
int |
treeDepth
size of the completion tree for statistical purposes |
boolean |
useRete
|
| Constructor Summary | |
|---|---|
ABox(ABox abox,
aterm.ATermAppl extraIndividual,
boolean copyIndividuals)
|
|
ABox(KnowledgeBase kb)
|
|
| 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. |
void |
copyOnWrite()
|
aterm.ATermAppl |
createUniqueName(boolean isNominal)
|
boolean |
doExplanation()
Checks if the explanation is turned on. |
ConceptCache |
getAllCached()
Deprecated. Use getCache() |
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,
Datatype datatype)
|
java.util.List<aterm.ATermAppl> |
getDataPropertyValues(aterm.ATermAppl s,
Role role,
Datatype 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,
Datatype 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 long satisfiabilityCount
public long consistencyCount
public int treeDepth
public boolean rulesNotApplied
public boolean ranRete
public boolean useRete
| Constructor Detail |
|---|
public ABox(KnowledgeBase kb)
public ABox(ABox abox,
aterm.ATermAppl extraIndividual,
boolean copyIndividuals)
| Method Detail |
|---|
public ABox copy()
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 getAllCached()
getCache()
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,
Datatype datatype)
public java.util.List<aterm.ATermAppl> getDataPropertyValues(aterm.ATermAppl s,
Role role,
Datatype datatype,
boolean onlyObvious)
public java.util.List<aterm.ATermAppl> getObviousDataPropertyValues(aterm.ATermAppl s,
Role prop,
Datatype 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.Objectpublic 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 | |||||||||