|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.KnowledgeBase
public class KnowledgeBase
Field Summary | |
---|---|
java.util.HashMap |
constructedOWL
|
static boolean |
DEBUG
Deprecated. Edit log4j.properties to turn on debugging |
boolean |
flagOWLT
|
Timers |
timers
Timers used in various different parts fo KB. |
IntMap |
ts
|
java.util.HashMap |
ts2onto
|
Constructor Summary | |
---|---|
KnowledgeBase()
|
|
KnowledgeBase(KnowledgeBase kb)
Create a KB based on an existing one. |
Method Summary | |
---|---|
void |
addAnnotationProperty(aterm.ATermAppl p)
|
void |
addClass(aterm.ATermAppl c)
|
void |
addComplementClass(aterm.ATerm c1,
aterm.ATerm c2)
|
void |
addDataPropertyValue(aterm.ATermAppl p,
aterm.ATermAppl s,
aterm.ATermAppl o)
Deprecated. Use addPropertyValue instead |
void |
addDataRange(java.lang.String datatypeURI,
aterm.ATermList values)
|
void |
addDatatype(aterm.ATerm p)
|
boolean |
addDatatypeProperty(aterm.ATerm p)
Add a new object property. |
void |
addDifferent(aterm.ATermAppl i1,
aterm.ATermAppl i2)
|
void |
addDisjointClass(aterm.ATerm c1,
aterm.ATerm c2)
|
void |
addDomain(aterm.ATerm p,
aterm.ATermAppl c)
|
void |
addEquivalentClass(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
void |
addEquivalentProperty(aterm.ATermAppl p1,
aterm.ATermAppl p2)
|
void |
addFunctionalProperty(aterm.ATermAppl p)
|
Individual |
addIndividual(aterm.ATermAppl i)
|
void |
addInverseFunctionalProperty(aterm.ATerm p)
|
void |
addInverseProperty(aterm.ATermAppl p1,
aterm.ATermAppl p2)
|
boolean |
addObjectProperty(aterm.ATerm p)
Add a new object property. |
void |
addObjectPropertyValue(aterm.ATermAppl p,
aterm.ATermAppl s,
aterm.ATermAppl o)
Deprecated. Use addPropertyValue instead |
void |
addOntologyProperty(aterm.ATermAppl p)
|
void |
addProperty(aterm.ATermAppl p)
|
boolean |
addPropertyValue(aterm.ATermAppl p,
aterm.ATermAppl s,
aterm.ATermAppl o)
|
void |
addRange(aterm.ATerm p,
aterm.ATermAppl c)
|
void |
addSame(aterm.ATermAppl i1,
aterm.ATermAppl i2)
|
void |
addSameClass(aterm.ATermAppl c1,
aterm.ATermAppl c2)
Deprecated. Use addEquivalentClass(ATermAppl, ATermAppl) instead |
void |
addSameProperty(aterm.ATermAppl p1,
aterm.ATermAppl p2)
Deprecated. Use addEquivalentClass(ATermAppl, ATermAppl) instead |
void |
addSubClass(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
void |
addSubProperty(aterm.ATermAppl p1,
aterm.ATermAppl p2)
|
void |
addSymmetricProperty(aterm.ATermAppl p)
|
void |
addTransitiveProperty(aterm.ATermAppl p)
|
void |
addType(aterm.ATermAppl i,
aterm.ATermAppl c)
|
void |
binaryInstanceRetrieval(aterm.ATermAppl c,
java.util.List candidates,
java.util.Collection results)
|
void |
classify()
|
void |
clear()
|
KnowledgeBase |
copy()
|
boolean |
doExplanation()
|
void |
ensureConsistency()
|
ABox |
getABox()
|
java.util.Set |
getAllClasses()
Return the set of all named classes including TOP and BOTTOM. |
java.util.Set |
getAllEquivalentClasses(aterm.ATermAppl c)
Returns all the classes that are equivalent to class c, including c itself. |
java.util.Set |
getAllEquivalentProperties(aterm.ATermAppl prop)
|
java.util.Set |
getAllSames(aterm.ATermAppl name)
Return all the indviduals asserted to be equal to the given individual inluding the individual itself. |
java.util.Set |
getClasses()
Return the set of all named classes. |
java.util.Set |
getComplements(aterm.ATermAppl c)
|
java.util.Set |
getDataProperties()
Return the set of all object properties. |
java.util.List |
getDataPropertyValues(aterm.ATermAppl r,
aterm.ATermAppl x)
Return all literal values for a given dataproperty and subject value. |
java.util.List |
getDataPropertyValues(aterm.ATermAppl r,
aterm.ATermAppl x,
Datatype datatype)
Return all literal values for a given dataproperty that belongs to the specified datatype. |
java.util.List |
getDataPropertyValues(aterm.ATermAppl r,
aterm.ATermAppl x,
java.lang.String lang)
Return all literal values for a given dataproperty that has the specified language identifier. |
DatatypeReasoner |
getDatatypeReasoner()
|
java.util.Set |
getDisjoints(aterm.ATermAppl c)
|
boolean |
getDoDependencyAxioms()
|
java.util.Set |
getDomains(aterm.ATermAppl name)
Return the (explicit or implicit) domain restrictions on the property. |
java.util.Set |
getEquivalentClasses(aterm.ATermAppl c)
Returns all the classes that are equivalent to class c, excluding c itself. |
java.util.Set |
getEquivalentProperties(aterm.ATermAppl prop)
Return all the properties that are equivalent to p. |
java.lang.String |
getExplanation()
|
java.util.Set |
getExplanationSet()
|
Expressivity |
getExpressivity()
|
boolean |
getFlagOWLT()
|
java.util.Set |
getFunctionalProperties()
|
java.util.Set |
getIndividuals()
Return the set of all individuals. |
java.util.List |
getIndividualsWithDataProperty(aterm.ATermAppl r,
aterm.ATermAppl litValue)
List all subjects with the given literal value for the specified data property. |
java.util.List |
getIndividualsWithObjectProperty(aterm.ATermAppl r,
aterm.ATermAppl o)
List all subjects with the given value for the specified object property. |
java.util.List |
getIndividualsWithProperty(aterm.ATermAppl r,
aterm.ATermAppl x)
List all subjects with a given property and property value. |
java.lang.String |
getInfo()
|
java.util.Set |
getInstances(aterm.ATermAppl c)
Returns all the instances of concept c. |
java.util.Set |
getInstances(aterm.ATermAppl c,
boolean direct)
Returns the instances of class c. |
java.util.Set |
getInverseFunctionalProperties()
|
java.util.Set |
getInverses(aterm.ATerm name)
Return the inverse property and all its equivalent properties. |
java.util.Set |
getObjectProperties()
Return the set of all object properties. |
java.util.List |
getObjectPropertyValues(aterm.ATermAppl r,
aterm.ATermAppl x)
Return all property values for a given object property and subject value. |
java.lang.String |
getOntology()
Returns the URI of the ontology this KB belongs to. |
java.util.Set |
getPossibleProperties(aterm.ATermAppl x)
|
java.util.Set |
getProperties()
Return the set of all properties. |
java.util.List |
getProperties(aterm.ATermAppl s,
aterm.ATermAppl o)
List all properties asserted between a subject and object. |
Role |
getProperty(aterm.ATerm r)
|
int |
getPropertyType(aterm.ATerm r)
|
java.util.Map |
getPropertyValues(aterm.ATermAppl pred)
|
java.util.List |
getPropertyValues(aterm.ATermAppl r,
aterm.ATermAppl x)
Return all property values for a given property and subject value. |
java.util.Set |
getRanges(aterm.ATerm name)
Return the (explicit or implicit) range restrictions on the property. |
RBox |
getRBox()
|
Taxonomy |
getRoleTaxonomy()
|
java.util.Set |
getRules()
|
java.util.Set |
getSames(aterm.ATermAppl name)
Return all the indviduals asserted to be equal to the given individual but not the the individual itself. |
SizeEstimate |
getSizeEstimate()
|
java.util.Set |
getSubClasses(aterm.ATermAppl c)
Returns all the (named) subclasses of class c. |
java.util.Set |
getSubClasses(aterm.ATermAppl c,
boolean direct)
Returns the (named) subclasses of class c. |
java.util.Set |
getSubProperties(aterm.ATermAppl prop)
Return all the sub properties of p. |
java.util.Set |
getSubProperties(aterm.ATermAppl prop,
boolean direct)
Return the sub properties of p. |
java.util.Set |
getSuperClasses(aterm.ATermAppl c)
Returns all the superclasses (implicitly or explicitly defined) of class c. |
java.util.Set |
getSuperClasses(aterm.ATermAppl c,
boolean direct)
Returns the (named) superclasses of class c. |
java.util.Set |
getSuperProperties(aterm.ATermAppl prop)
Return all the super properties of p. |
java.util.Set |
getSuperProperties(aterm.ATermAppl prop,
boolean direct)
Return the super properties of p. |
java.util.Set |
getSymmetricProperties()
|
Taxonomy |
getTaxonomy()
Get the classification results. |
TaxonomyBuilder |
getTaxonomyBuilder()
|
TBox |
getTBox()
|
java.util.Set |
getTransitiveProperties()
|
IntMap |
getTS()
|
java.util.Map |
getTS2Onto()
|
aterm.ATermAppl |
getType(aterm.ATermAppl ind)
|
aterm.ATermAppl |
getType(aterm.ATermAppl ind,
boolean direct)
|
java.util.Set |
getTypes(aterm.ATermAppl ind)
Get all the (named) classes individual belongs to. |
java.util.Set |
getTypes(aterm.ATermAppl ind,
boolean direct)
Returns the (named) classes individual belongs to. |
boolean |
hasDomain(aterm.ATermAppl p,
aterm.ATermAppl c)
|
boolean |
hasInstance(aterm.ATerm d)
Returns true if there is at leaat one individual that belongs to the given class |
Bool |
hasKnownPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
Answers the hasPropertyValue question without doing any satisfiability check. |
boolean |
hasPropertyValue(aterm.ATermAppl s,
aterm.ATermAppl p,
aterm.ATermAppl o)
|
boolean |
hasRange(aterm.ATermAppl p,
aterm.ATermAppl c)
|
boolean |
isABoxChanged()
|
boolean |
isABoxProperty(aterm.ATerm p)
|
boolean |
isAnnotationProperty(aterm.ATerm p)
|
boolean |
isChanged()
|
boolean |
isClass(aterm.ATerm c)
|
boolean |
isClassified()
Returns true if the classification check has been done and nothing in th KB has changed after that. |
boolean |
isComplement(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
boolean |
isConsistencyDone()
Returns true if the consistency check has been done and nothing in th KB has changed after that. |
boolean |
isConsistent()
|
boolean |
isDatatype(aterm.ATerm p)
|
boolean |
isDatatype(aterm.ATermAppl c)
|
boolean |
isDatatypeProperty(aterm.ATerm p)
|
boolean |
isDifferentFrom(aterm.ATermAppl t1,
aterm.ATermAppl t2)
|
boolean |
isDisjoint(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
boolean |
isEquivalentClass(aterm.ATermAppl c1,
aterm.ATermAppl c2)
Check if class c1 is equivalent to class c2. |
boolean |
isEquivalentProperty(aterm.ATermAppl p1,
aterm.ATermAppl p2)
|
boolean |
isFunctionalProperty(aterm.ATermAppl p)
|
boolean |
isIndividual(aterm.ATerm ind)
|
boolean |
isInverse(aterm.ATermAppl r1,
aterm.ATermAppl r2)
|
boolean |
isInverseFunctionalProperty(aterm.ATermAppl p)
|
Bool |
isKnownType(aterm.ATermAppl x,
aterm.ATermAppl c)
Answers the isType question without doing any satisfiability check. |
boolean |
isObjectProperty(aterm.ATerm p)
|
boolean |
isOntologyProperty(aterm.ATerm p)
|
boolean |
isProperty(aterm.ATerm p)
|
boolean |
isRBoxChanged()
|
boolean |
isRealized()
|
boolean |
isSameAs(aterm.ATermAppl t1,
aterm.ATermAppl t2)
|
boolean |
isSatisfiable(aterm.ATermAppl c)
|
boolean |
isSubclassOf(aterm.ATermAppl c1,
aterm.ATermAppl c2)
Deprecated. As of Pellet 1.1.1, replaced by isSubClassOf(ATermAppl,ATermAppl) |
boolean |
isSubClassOf(aterm.ATermAppl c1,
aterm.ATermAppl c2)
Check if class c1 is subclass of class c2. |
boolean |
isSubPropertyOf(aterm.ATermAppl sub,
aterm.ATermAppl sup)
|
boolean |
isSubTypeOf(aterm.ATermAppl d1,
aterm.ATermAppl d2)
|
boolean |
isSymmetricProperty(aterm.ATermAppl p)
|
boolean |
isTBoxChanged()
|
boolean |
isTransitiveProperty(aterm.ATermAppl r)
|
boolean |
isType(aterm.ATermAppl x,
aterm.ATermAppl c)
|
void |
loadDatatype(aterm.ATerm p)
|
void |
loadKRSS(java.io.Reader reader)
|
void |
prepare()
|
void |
printClassTree()
Print the class hierarchy on the standard output. |
void |
printClassTree(OutputFormatter out)
|
void |
realize()
|
boolean |
removeObjectPropertyValue(aterm.ATermAppl p,
aterm.ATermAppl i1,
aterm.ATermAppl i2)
|
void |
removeType(aterm.ATermAppl ind,
aterm.ATermAppl c)
|
java.util.List |
retrieve(aterm.ATermAppl d,
java.util.Collection individuals)
Return all the indiviuals that belong to the given class which is not necessarily a named class. |
java.util.List |
retrieveIndividualsWithProperty(aterm.ATermAppl r)
|
QueryResults |
runQuery(java.lang.String queryStr)
Deprecated. Use QueryEngine.exec methods instead |
void |
setDoDependencyAxioms(boolean doDepAxioms)
|
void |
setDoExplanation(boolean doExplanation)
|
void |
setOntology(java.lang.String ontology)
Set the URI of the ontology this Kb belongs to. |
void |
setRBox(RBox rbox)
|
void |
setRules(java.util.Set rules)
|
void |
setTBox(TBox tbox)
|
void |
setTimeout(long timeout)
Set a timeout for the main timer. |
void |
setTS(IntMap ts)
|
void |
setTS2Onto(java.util.HashMap ts2onto)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static boolean DEBUG
public boolean flagOWLT
public Timers timers
public IntMap ts
public java.util.HashMap ts2onto
public java.util.HashMap constructedOWL
Constructor Detail |
---|
public KnowledgeBase()
public KnowledgeBase(KnowledgeBase kb)
kb
- Method Detail |
---|
public Expressivity getExpressivity()
public void clear()
public KnowledgeBase copy()
public void loadKRSS(java.io.Reader reader) throws java.io.IOException
java.io.IOException
public void addClass(aterm.ATermAppl c)
public void addSubClass(aterm.ATermAppl c1, aterm.ATermAppl c2)
public void addSameClass(aterm.ATermAppl c1, aterm.ATermAppl c2)
addEquivalentClass(ATermAppl, ATermAppl)
instead
public void addEquivalentClass(aterm.ATermAppl c1, aterm.ATermAppl c2)
public void addDisjointClass(aterm.ATerm c1, aterm.ATerm c2)
public void addComplementClass(aterm.ATerm c1, aterm.ATerm c2)
public void addDataPropertyValue(aterm.ATermAppl p, aterm.ATermAppl s, aterm.ATermAppl o)
p
- Datatype Propertyind
- Individual value being added toliteralValue
- A literal ATerm which should be constructed with one of
ATermUtils.makeXXXLiteral functionspublic Individual addIndividual(aterm.ATermAppl i)
public void addType(aterm.ATermAppl i, aterm.ATermAppl c)
public void addSame(aterm.ATermAppl i1, aterm.ATermAppl i2)
public void addDifferent(aterm.ATermAppl i1, aterm.ATermAppl i2)
public void addObjectPropertyValue(aterm.ATermAppl p, aterm.ATermAppl s, aterm.ATermAppl o)
public boolean addPropertyValue(aterm.ATermAppl p, aterm.ATermAppl s, aterm.ATermAppl o)
public void addProperty(aterm.ATermAppl p)
public boolean addObjectProperty(aterm.ATerm p)
p
- Name of the property
public boolean addDatatypeProperty(aterm.ATerm p)
p
-
public void addOntologyProperty(aterm.ATermAppl p)
public void addAnnotationProperty(aterm.ATermAppl p)
public void addSubProperty(aterm.ATermAppl p1, aterm.ATermAppl p2)
public void addSameProperty(aterm.ATermAppl p1, aterm.ATermAppl p2)
addEquivalentClass(ATermAppl, ATermAppl)
instead
public void addEquivalentProperty(aterm.ATermAppl p1, aterm.ATermAppl p2)
public void addInverseProperty(aterm.ATermAppl p1, aterm.ATermAppl p2)
public void addTransitiveProperty(aterm.ATermAppl p)
public void addSymmetricProperty(aterm.ATermAppl p)
public void addFunctionalProperty(aterm.ATermAppl p)
public void addInverseFunctionalProperty(aterm.ATerm p)
public void addDomain(aterm.ATerm p, aterm.ATermAppl c)
public void addRange(aterm.ATerm p, aterm.ATermAppl c)
public void setTS(IntMap ts)
public void setTS2Onto(java.util.HashMap ts2onto)
public IntMap getTS()
public java.util.Map getTS2Onto()
public boolean getFlagOWLT()
public boolean isDatatype(aterm.ATerm p)
public void addDatatype(aterm.ATerm p)
public void loadDatatype(aterm.ATerm p)
public void addDataRange(java.lang.String datatypeURI, aterm.ATermList values)
public boolean removeObjectPropertyValue(aterm.ATermAppl p, aterm.ATermAppl i1, aterm.ATermAppl i2)
public void removeType(aterm.ATermAppl ind, aterm.ATermAppl c)
public void prepare()
public java.lang.String getInfo()
public boolean isConsistencyDone()
public boolean isClassified()
public boolean isRealized()
public boolean isChanged()
public boolean isTBoxChanged()
public boolean isRBoxChanged()
public boolean isABoxChanged()
public boolean isConsistent()
public void ensureConsistency()
public void classify()
public void realize()
public java.util.Set getClasses()
public java.util.Set getAllClasses()
public java.util.Set getProperties()
public java.util.Set getObjectProperties()
public java.util.Set getTransitiveProperties()
public java.util.Set getSymmetricProperties()
public java.util.Set getFunctionalProperties()
public java.util.Set getInverseFunctionalProperties()
public java.util.Set getDataProperties()
public java.util.Set getIndividuals()
public Role getProperty(aterm.ATerm r)
public int getPropertyType(aterm.ATerm r)
public boolean isClass(aterm.ATerm c)
public boolean isProperty(aterm.ATerm p)
public boolean isDatatypeProperty(aterm.ATerm p)
public boolean isObjectProperty(aterm.ATerm p)
public boolean isABoxProperty(aterm.ATerm p)
public boolean isAnnotationProperty(aterm.ATerm p)
public boolean isOntologyProperty(aterm.ATerm p)
public boolean isIndividual(aterm.ATerm ind)
public boolean isTransitiveProperty(aterm.ATermAppl r)
public boolean isSymmetricProperty(aterm.ATermAppl p)
public boolean isFunctionalProperty(aterm.ATermAppl p)
public boolean isInverseFunctionalProperty(aterm.ATermAppl p)
public boolean isSubPropertyOf(aterm.ATermAppl sub, aterm.ATermAppl sup)
public boolean isEquivalentProperty(aterm.ATermAppl p1, aterm.ATermAppl p2)
public boolean isInverse(aterm.ATermAppl r1, aterm.ATermAppl r2)
public boolean hasDomain(aterm.ATermAppl p, aterm.ATermAppl c)
public boolean hasRange(aterm.ATermAppl p, aterm.ATermAppl c)
public boolean isDatatype(aterm.ATermAppl c)
public boolean isSatisfiable(aterm.ATermAppl c)
public boolean hasInstance(aterm.ATerm d)
c
-
public boolean isSubTypeOf(aterm.ATermAppl d1, aterm.ATermAppl d2)
public boolean isSubClassOf(aterm.ATermAppl c1, aterm.ATermAppl c2)
c1
- c2
-
public boolean isSubclassOf(aterm.ATermAppl c1, aterm.ATermAppl c2)
isSubClassOf(ATermAppl,ATermAppl)
public boolean isEquivalentClass(aterm.ATermAppl c1, aterm.ATermAppl c2)
c1
- c2
-
public boolean isDisjoint(aterm.ATermAppl c1, aterm.ATermAppl c2)
public boolean isComplement(aterm.ATermAppl c1, aterm.ATermAppl c2)
public Bool isKnownType(aterm.ATermAppl x, aterm.ATermAppl c)
Bool.TRUE
, Bool.FALSE
, or Bool.UNKNOWN
.
If Bool.UNKNOWN
is returned isType
function needs to be called to get
the answer.
x
- c
-
public boolean isType(aterm.ATermAppl x, aterm.ATermAppl c)
public boolean isSameAs(aterm.ATermAppl t1, aterm.ATermAppl t2)
public boolean isDifferentFrom(aterm.ATermAppl t1, aterm.ATermAppl t2)
public boolean hasPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, aterm.ATermAppl o)
public Bool hasKnownPropertyValue(aterm.ATermAppl s, aterm.ATermAppl p, aterm.ATermAppl o)
Boolean.TRUE
, Boolean.FALSE
, or null
(unknown).
If the null value is returned hasPropertyValue
function needs to be called to
get the answer.
s
- Subjectp
- Predicateo
- Object (null
can be used as wildcard)
public ABox getABox()
public RBox getRBox()
public TBox getTBox()
public DatatypeReasoner getDatatypeReasoner()
public java.util.Set getSuperClasses(aterm.ATermAppl c, boolean direct)
*** This function will first classify the whole ontology ***
c
- class whose superclasses are returned
public java.util.Set getSubClasses(aterm.ATermAppl c)
*** This function will first classify the whole ontology ***
c
- class whose subclasses are returned
public java.util.Set getDisjoints(aterm.ATermAppl c)
public java.util.Set getComplements(aterm.ATermAppl c)
public java.util.Set getTypes(aterm.ATermAppl ind, boolean direct)
ind
- An individual namedirect
- If true return only the direct types, otherwise return all types
public java.util.Set getTypes(aterm.ATermAppl ind)
*** This function will first realize the whole ontology ***
ind
- An individual name
public aterm.ATermAppl getType(aterm.ATermAppl ind)
public aterm.ATermAppl getType(aterm.ATermAppl ind, boolean direct)
public java.util.Set getInstances(aterm.ATermAppl c)
c
- class whose instanceses are returned
public java.util.Set getInstances(aterm.ATermAppl c, boolean direct)
*** This function will first realize the whole ontology ***
c
- class whose instances are returneddirect
- if true return only the direct instances, otherwise return all the instances
public java.util.Set getEquivalentClasses(aterm.ATermAppl c)
*** This function will first classify the whole ontology ***
c
- class whose equivalent classes are found
public java.util.Set getAllEquivalentClasses(aterm.ATermAppl c)
*** This function will first classify the whole ontology ***
c
- class whose equivalent classes are found
public java.util.Set getSuperClasses(aterm.ATermAppl c)
*** This function will first classify the whole ontology ***
c
- class whose superclasses are returned
public java.util.Set getSubClasses(aterm.ATermAppl c, boolean direct)
*** This function will first classify the whole ontology ***
c
- class whose subclasses are returneddirect
- If true return only the direct subclasses, otherwise return all the subclasses
public java.util.Set getSuperProperties(aterm.ATermAppl prop)
prop
-
public java.util.Set getSuperProperties(aterm.ATermAppl prop, boolean direct)
prop
- direct
- If true return only the direct super properties, otherwise return all the
super properties
public java.util.Set getSubProperties(aterm.ATermAppl prop)
prop
-
public java.util.Set getSubProperties(aterm.ATermAppl prop, boolean direct)
prop
- direct
- If true return only the direct subproperties, otherwise return all the subproperties
public java.util.Set getEquivalentProperties(aterm.ATermAppl prop)
prop
-
public java.util.Set getAllEquivalentProperties(aterm.ATermAppl prop)
public java.util.Set getInverses(aterm.ATerm name)
prop
-
public java.util.Set getDomains(aterm.ATermAppl name)
prop
-
public java.util.Set getRanges(aterm.ATerm name)
prop
-
public java.util.Set getAllSames(aterm.ATermAppl name)
name
-
public java.util.Set getSames(aterm.ATermAppl name)
name
-
public QueryResults runQuery(java.lang.String queryStr)
query
-
public java.util.List getDataPropertyValues(aterm.ATermAppl r, aterm.ATermAppl x, Datatype datatype)
r
- x
- lang
-
public java.util.Set getPossibleProperties(aterm.ATermAppl x)
public java.util.List getDataPropertyValues(aterm.ATermAppl r, aterm.ATermAppl x, java.lang.String lang)
r
- x
- lang
-
public java.util.List getDataPropertyValues(aterm.ATermAppl r, aterm.ATermAppl x)
r
- x
-
public java.util.List getObjectPropertyValues(aterm.ATermAppl r, aterm.ATermAppl x)
r
- x
-
public java.util.List getPropertyValues(aterm.ATermAppl r, aterm.ATermAppl x)
r
- x
-
public java.util.List getIndividualsWithProperty(aterm.ATermAppl r, aterm.ATermAppl x)
r
- x
- If property is an object property an ATermAppl object
that is the URI of the individual, if the property is a data property
an ATerm object that contains the literal value (See
{#link #getIndividualsWithDataProperty(ATermAppl, ATermAppl)} for details)
public java.util.List getIndividualsWithDataProperty(aterm.ATermAppl r, aterm.ATermAppl litValue)
r
- An ATerm object that contains the literal value in the form
literal(lexicalValue, langIdentifier, datatypeURI). Should be created
with ATermUtils.makeXXXLiteral() functions.x
-
public java.util.List getIndividualsWithObjectProperty(aterm.ATermAppl r, aterm.ATermAppl o)
r
- o
- An ATerm object that is the URI of an individual
public java.util.List getProperties(aterm.ATermAppl s, aterm.ATermAppl o)
public java.util.Map getPropertyValues(aterm.ATermAppl pred)
public java.util.List retrieve(aterm.ATermAppl d, java.util.Collection individuals)
d
-
public java.util.List retrieveIndividualsWithProperty(aterm.ATermAppl r)
public void binaryInstanceRetrieval(aterm.ATermAppl c, java.util.List candidates, java.util.Collection results)
public void printClassTree()
public void printClassTree(OutputFormatter out)
public boolean doExplanation()
public void setDoExplanation(boolean doExplanation)
doExplanation
- The doExplanation to set.public java.lang.String getExplanation()
public void setDoDependencyAxioms(boolean doDepAxioms)
public boolean getDoDependencyAxioms()
public java.util.Set getExplanationSet()
public void setRBox(RBox rbox)
rbox
- The rbox to set.public void setTBox(TBox tbox)
tbox
- The tbox to set.public java.lang.String getOntology()
public void setOntology(java.lang.String ontology)
ontology
- public void setTimeout(long timeout)
timeout
- public Taxonomy getTaxonomy()
public TaxonomyBuilder getTaxonomyBuilder()
public Taxonomy getRoleTaxonomy()
public SizeEstimate getSizeEstimate()
public void setRules(java.util.Set rules)
public java.util.Set getRules()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |