|
||||||||||
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
Field Summary | |
---|---|
long |
consistencyCount
Total number of ABox consistency checks (for statistical purposes) |
static boolean |
DEBUG
|
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 |
Constructor Summary | |
---|---|
ABox()
|
|
ABox(ABox abox)
|
|
ABox(ABox abox,
aterm.ATermAppl extraIndividual,
boolean copyIndividuals)
|
|
ABox(KnowledgeBase kb)
|
Method Summary | |
---|---|
void |
addDifferent(aterm.ATermAppl x,
aterm.ATermAppl y)
|
Individual |
addIndividual(aterm.ATermAppl x)
|
Literal |
addLiteral()
Add a new literal to the ABox. |
Literal |
addLiteral(aterm.ATermAppl dataValue)
Add a new literal to the ABox. |
void |
addSame(aterm.ATermAppl x,
aterm.ATermAppl y)
|
void |
addType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
void |
clearCaches(boolean clearSatCache)
Clear the psuedo 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()
|
boolean |
doExplanation()
Checks if the explanatino is turned on. |
java.util.List |
getBranches()
Returns the branches. |
Clash |
getClash()
|
DatatypeReasoner |
getDatatypeReasoner()
|
java.lang.String |
getExplanation()
|
org.mindswap.pellet.IndividualIterator |
getIndIterator()
|
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 |
getNodeNames()
|
java.util.Collection |
getNodes()
|
void |
getObjectPropertyValues(aterm.ATermAppl s,
Role role,
java.util.Set knowns,
java.util.Set unknowns)
|
java.util.List |
getObviousDataPropertyValues(aterm.ATermAppl s,
Role prop,
Datatype datatype)
|
CandidateSet |
getObviousInstances(aterm.ATermAppl c)
|
void |
getObviousInstances(aterm.ATermAppl c,
CandidateSet candidates)
|
void |
getObviousObjects(aterm.ATermAppl p,
CandidateSet candidates)
|
CandidateSet |
getObviousSubjects(aterm.ATermAppl p,
aterm.ATermAppl o)
|
void |
getObviousSubjects(aterm.ATermAppl p,
aterm.ATermAppl o,
CandidateSet candidates)
|
void |
getObviousTypes(aterm.ATermAppl x,
java.util.List types,
java.util.List nonTypes)
|
EdgeList |
getOutEdges(aterm.ATerm x)
|
java.util.Set |
getPossibleProperties(aterm.ATermAppl s)
|
ABox |
getPseudoModel()
|
RBox |
getRBox()
Return the RBox |
Role |
getRole(aterm.ATerm r)
Convenience function to get the named role. |
void |
getSames(Individual ind,
java.util.Set knowns,
java.util.Set unknowns)
|
org.mindswap.pellet.IndividualIterator |
getSingletonIterator(Individual x)
|
void |
getSubjects(aterm.ATermAppl p,
aterm.ATermAppl o,
CandidateSet candidates)
|
TBox |
getTBox()
Return the TBox |
Bool |
hasObviousDataPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
java.lang.Object value)
|
Bool |
hasObviousObjectProperty(aterm.ATermAppl s,
aterm.ATermAppl p)
|
Bool |
hasObviousObjectPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
Bool |
hasObviousPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
boolean |
hasProperty(aterm.ATermAppl s,
aterm.ATermAppl p)
|
boolean |
hasPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
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 |
isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
Bool |
isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c,
java.util.Collection subs)
|
Bool |
isKnownType(Individual pNode,
aterm.ATermAppl concept,
java.util.Collection subs)
|
boolean |
isNode(aterm.ATerm x)
|
boolean |
isSameAs(aterm.ATermAppl ind1,
aterm.ATermAppl ind2)
|
boolean |
isSatisfiable(aterm.ATermAppl c)
|
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 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). |
void |
removeType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
void |
setClash(Clash clash)
|
void |
setDoExplanation(boolean doExplanation)
Enable/disable explanation generation |
void |
setInitialized(boolean initialized)
|
void |
setKeepLastCompletion(boolean keepLastCompletion)
|
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 boolean DEBUG
public long satisfiabilityCount
public long consistencyCount
public int treeDepth
public boolean rulesNotApplied
public boolean ranRete
Constructor Detail |
---|
public ABox()
public ABox(KnowledgeBase kb)
public ABox(ABox abox)
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 boolean isSubClassOf(aterm.ATermAppl c1, aterm.ATermAppl c2)
public boolean isSatisfiable(aterm.ATermAppl c)
public CandidateSet getObviousInstances(aterm.ATermAppl c)
public void getObviousInstances(aterm.ATermAppl c, CandidateSet candidates)
public void getObviousTypes(aterm.ATermAppl x, java.util.List types, java.util.List nonTypes)
public CandidateSet getObviousSubjects(aterm.ATermAppl p, aterm.ATermAppl o)
public void getSubjects(aterm.ATermAppl p, aterm.ATermAppl o, CandidateSet candidates)
public void getObviousSubjects(aterm.ATermAppl p, aterm.ATermAppl o, CandidateSet candidates)
public void getObviousObjects(aterm.ATermAppl p, CandidateSet candidates)
public Bool isKnownType(aterm.ATermAppl x, aterm.ATermAppl c)
public Bool isKnownType(aterm.ATermAppl x, aterm.ATermAppl c, java.util.Collection subs)
public Bool isKnownType(Individual pNode, aterm.ATermAppl concept, java.util.Collection 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 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 Bool hasObviousObjectProperty(aterm.ATermAppl s, aterm.ATermAppl p)
public boolean hasProperty(aterm.ATermAppl s, aterm.ATermAppl p)
public boolean hasPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, aterm.ATermAppl o)
public java.util.Set getPossibleProperties(aterm.ATermAppl s)
public java.util.List getObviousDataPropertyValues(aterm.ATermAppl s, Role prop, Datatype datatype)
public void getObjectPropertyValues(aterm.ATermAppl s, Role role, java.util.Set knowns, java.util.Set unknowns)
public void getSames(Individual ind, java.util.Set knowns, java.util.Set 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 removeType(aterm.ATermAppl x, aterm.ATermAppl c)
public Literal addLiteral()
public Literal addLiteral(aterm.ATermAppl dataValue)
dataValue
- A literal ATerm which should be constructed with one of
ATermUtils.makeXXXLiteral functions
public Individual addIndividual(aterm.ATermAppl x)
public void addSame(aterm.ATermAppl x, aterm.ATermAppl y)
public void addDifferent(aterm.ATermAppl x, aterm.ATermAppl y)
public boolean isNode(aterm.ATerm x)
public final java.util.Collection getNodes()
public final java.util.List getNodeNames()
public final org.mindswap.pellet.IndividualIterator getIndIterator()
public final org.mindswap.pellet.IndividualIterator getSingletonIterator(Individual x)
public java.lang.String toString()
toString
in class java.lang.Object
public DatatypeReasoner getDatatypeReasoner()
public boolean isComplete()
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 boolean isInitialized()
public void setInitialized(boolean initialized)
public final boolean doExplanation()
public void setDoExplanation(boolean doExplanation)
doExplanation
- The doExplanation to set.public java.lang.String getExplanation()
public java.util.List getBranches()
public void validate()
public void printTree()
public Clash getLastClash()
public ABox getLastCompletion()
public boolean isKeepLastCompletion()
public void setKeepLastCompletion(boolean keepLastCompletion)
public ABox getPseudoModel()
public int size()
public boolean isEmpty()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |