|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.owlapi.Reasoner
public class Reasoner
Field Summary | |
---|---|
static int |
UNKNOWN
|
Fields inherited from interface org.semanticweb.owl.inference.OWLConsistencyChecker |
---|
CONSISTENT, INCONSISTENT |
Constructor Summary | |
---|---|
Reasoner()
|
Method Summary | |
---|---|
java.util.Set |
allInstancesOf(org.semanticweb.owl.model.OWLClass c)
Return all the instances of this class. |
java.util.Set |
allTypesOf(org.semanticweb.owl.model.OWLIndividual ind)
Returns all the named classes that this individual belongs. |
java.util.Set |
ancestorClassesOf(org.semanticweb.owl.model.OWLClass c)
|
java.util.Set |
ancestorClassesOf(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set |
ancestorPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
|
int |
consistency()
|
int |
consistency(org.semanticweb.owl.model.OWLOntology ontology)
|
java.util.Set |
descendantClassesOf(org.semanticweb.owl.model.OWLClass c)
|
java.util.Set |
descendantClassesOf(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set |
descendantPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
|
java.util.Set |
domainsOf(org.semanticweb.owl.model.OWLProperty prop)
|
java.util.Set |
equivalentClassesOf(org.semanticweb.owl.model.OWLClass c)
|
java.util.Set |
equivalentClassesOf(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set |
equivalentPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
|
java.util.Set |
getAnnotationProperties()
|
org.semanticweb.owl.model.OWLClass |
getClass(java.net.URI uri)
|
java.util.Set |
getClasses()
Return the set of all named classes defined in any of the ontologies loaded in the reasoner. |
java.util.Set |
getDataProperties()
|
org.semanticweb.owl.model.OWLDataProperty |
getDataProperty(java.net.URI uri)
|
java.util.Map |
getDataPropertyValues(org.semanticweb.owl.model.OWLIndividual ind)
|
org.semanticweb.owl.model.OWLObject |
getEntity(java.net.URI uri,
java.lang.Class type)
|
org.semanticweb.owl.model.OWLIndividual |
getIndividual(java.net.URI uri)
|
java.util.Set |
getIndividuals()
Return the set of all individuals defined in any of the ontologies loaded in the reasoner. |
KnowledgeBase |
getKB()
|
java.util.Set |
getObjectProperties()
|
org.semanticweb.owl.model.OWLObjectProperty |
getObjectProperty(java.net.URI uri)
|
java.util.Map |
getObjectPropertyValues(org.semanticweb.owl.model.OWLIndividual ind)
|
java.util.Set |
getOntologies()
Returns the set of all loaded ontologies. |
org.semanticweb.owl.model.OWLOntology |
getOntology()
|
java.util.Set |
getProperties()
|
org.semanticweb.owl.model.OWLDataValue |
getPropertyValue(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLDataProperty prop)
|
org.semanticweb.owl.model.OWLIndividual |
getPropertyValue(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLObjectProperty prop)
|
java.util.Map |
getPropertyValues(org.semanticweb.owl.model.OWLDataProperty prop)
|
java.util.Set |
getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLDataProperty prop)
|
java.util.Set |
getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLObjectProperty prop)
|
java.util.Set |
getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLProperty prop)
|
java.util.Map |
getPropertyValues(org.semanticweb.owl.model.OWLObjectProperty prop)
|
java.util.Map |
getPropertyValues(org.semanticweb.owl.model.OWLProperty prop)
|
java.util.Set |
getSameAsIndividuals(org.semanticweb.owl.model.OWLIndividual ind)
Return a set of sameAs individuals given a specific individual based on axioms in the ontology |
boolean |
hasPropertyValue(org.semanticweb.owl.model.OWLIndividual subj,
org.semanticweb.owl.model.OWLDataProperty prop,
org.semanticweb.owl.model.OWLDataValue obj)
|
boolean |
hasPropertyValue(org.semanticweb.owl.model.OWLIndividual subj,
org.semanticweb.owl.model.OWLObjectProperty prop,
org.semanticweb.owl.model.OWLIndividual obj)
|
java.util.Set |
instancesOf(org.semanticweb.owl.model.OWLClass c)
Return direct instances of this class |
java.util.Set |
instancesOf(org.semanticweb.owl.model.OWLDescription d)
Return all instances of this concept description |
java.util.Set |
inversePropertiesOf(org.semanticweb.owl.model.OWLObjectProperty prop)
|
boolean |
isAutoClassify()
|
boolean |
isAutoRealize()
|
boolean |
isConsistent()
Returns true if the loaded ontology is consistent. |
boolean |
isConsistent(org.semanticweb.owl.model.OWLDescription d)
Returns true if the given class is consistent. |
boolean |
isDifferentFrom(org.semanticweb.owl.model.OWLIndividual ind1,
org.semanticweb.owl.model.OWLIndividual ind2)
Test if two individuals are owl:DifferentFrom each other. |
boolean |
isEquivalentClass(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
|
boolean |
isInstanceOf(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLClass c)
|
boolean |
isInstanceOf(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLDescription d)
|
boolean |
isSameAs(org.semanticweb.owl.model.OWLIndividual ind1,
org.semanticweb.owl.model.OWLIndividual ind2)
Test if two individuals are owl:DifferentFrom each other. |
boolean |
isSubClassOf(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
|
boolean |
isSubTypeOf(org.semanticweb.owl.model.OWLDataType d1,
org.semanticweb.owl.model.OWLDataType d2)
|
boolean |
loadImports()
|
void |
ontologyChanged(org.semanticweb.owl.model.change.OntologyChange change)
|
java.util.Set |
rangesOf(org.semanticweb.owl.model.OWLProperty prop)
|
void |
refreshOntology()
|
void |
setAutoClassify(boolean autoClassify)
|
void |
setAutoRealize(boolean autoRealize)
|
void |
setLoadImports(boolean loadImports,
boolean refreshOnt)
|
void |
setOntology(org.semanticweb.owl.model.OWLOntology ontology)
|
java.util.Set |
subClassesOf(org.semanticweb.owl.model.OWLClass c)
|
java.util.Set |
subClassesOf(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set |
subPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
|
java.util.Set |
superClassesOf(org.semanticweb.owl.model.OWLClass c)
|
java.util.Set |
superClassesOf(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set |
superPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
|
org.semanticweb.owl.model.OWLClass |
typeOf(org.semanticweb.owl.model.OWLIndividual ind)
Return the named class that this individual is a direct type of. |
java.util.Set |
typesOf(org.semanticweb.owl.model.OWLIndividual ind)
Returns all the named classes that this individual is a direct type of. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int UNKNOWN
Constructor Detail |
---|
public Reasoner()
Method Detail |
---|
public boolean loadImports()
public void setLoadImports(boolean loadImports, boolean refreshOnt) throws org.semanticweb.owl.model.OWLException
useImports
- The useImports to set.
org.semanticweb.owl.model.OWLException
public void refreshOntology() throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public void setOntology(org.semanticweb.owl.model.OWLOntology ontology) throws org.semanticweb.owl.model.OWLException
setOntology
in interface org.semanticweb.owl.inference.OWLReasoner
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLOntology getOntology()
getOntology
in interface org.semanticweb.owl.inference.OWLReasoner
public java.util.Set getOntologies()
public int consistency(org.semanticweb.owl.model.OWLOntology ontology) throws org.semanticweb.owl.model.OWLException
consistency
in interface org.semanticweb.owl.inference.OWLConsistencyChecker
org.semanticweb.owl.model.OWLException
public int consistency()
public java.util.Set superClassesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
superClassesOf
in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set ancestorClassesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
ancestorClassesOf
in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set subClassesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
subClassesOf
in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set descendantClassesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
descendantClassesOf
in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set equivalentClassesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
equivalentClassesOf
in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
org.semanticweb.owl.model.OWLException
public boolean isInstanceOf(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public boolean isInstanceOf(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLDescription d) throws org.semanticweb.owl.model.OWLException
isInstanceOf
in interface org.semanticweb.owl.inference.OWLIndividualReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set allInstancesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
c
-
org.semanticweb.owl.model.OWLException
public java.util.Set instancesOf(org.semanticweb.owl.model.OWLClass c) throws org.semanticweb.owl.model.OWLException
c
-
org.semanticweb.owl.model.OWLException
public java.util.Set instancesOf(org.semanticweb.owl.model.OWLDescription d) throws org.semanticweb.owl.model.OWLException
instancesOf
in interface org.semanticweb.owl.inference.OWLIndividualReasoner
c
-
org.semanticweb.owl.model.OWLException
public void ontologyChanged(org.semanticweb.owl.model.change.OntologyChange change) throws org.semanticweb.owl.model.OWLException
ontologyChanged
in interface org.semanticweb.owl.model.change.OntologyChangeListener
org.semanticweb.owl.model.OWLException
public java.util.Set getClasses()
public java.util.Set getProperties()
public java.util.Set getObjectProperties()
public org.semanticweb.owl.model.OWLIndividual getPropertyValue(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLObjectProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLDataValue getPropertyValue(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLDataProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLObjectProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLDataProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Map getDataPropertyValues(org.semanticweb.owl.model.OWLIndividual ind) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Map getObjectPropertyValues(org.semanticweb.owl.model.OWLIndividual ind) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Map getPropertyValues(org.semanticweb.owl.model.OWLObjectProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Map getPropertyValues(org.semanticweb.owl.model.OWLDataProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Map getPropertyValues(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public boolean hasPropertyValue(org.semanticweb.owl.model.OWLIndividual subj, org.semanticweb.owl.model.OWLObjectProperty prop, org.semanticweb.owl.model.OWLIndividual obj) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public boolean hasPropertyValue(org.semanticweb.owl.model.OWLIndividual subj, org.semanticweb.owl.model.OWLDataProperty prop, org.semanticweb.owl.model.OWLDataValue obj) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set getDataProperties()
public java.util.Set getAnnotationProperties()
public java.util.Set getIndividuals()
public org.semanticweb.owl.model.OWLClass getClass(java.net.URI uri) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLObjectProperty getObjectProperty(java.net.URI uri) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLDataProperty getDataProperty(java.net.URI uri) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLIndividual getIndividual(java.net.URI uri) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLObject getEntity(java.net.URI uri, java.lang.Class type) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public boolean isSubClassOf(org.semanticweb.owl.model.OWLDescription c1, org.semanticweb.owl.model.OWLDescription c2) throws org.semanticweb.owl.model.OWLException
isSubClassOf
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public boolean isSubTypeOf(org.semanticweb.owl.model.OWLDataType d1, org.semanticweb.owl.model.OWLDataType d2) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public boolean isEquivalentClass(org.semanticweb.owl.model.OWLDescription c1, org.semanticweb.owl.model.OWLDescription c2) throws org.semanticweb.owl.model.OWLException
isEquivalentClass
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public boolean isConsistent()
c
-
org.semanticweb.owl.model.OWLException
public boolean isConsistent(org.semanticweb.owl.model.OWLDescription d) throws org.semanticweb.owl.model.OWLException
isConsistent
in interface org.semanticweb.owl.inference.OWLClassReasoner
c
-
org.semanticweb.owl.model.OWLException
public java.util.Set superClassesOf(org.semanticweb.owl.model.OWLDescription c) throws org.semanticweb.owl.model.OWLException
superClassesOf
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set ancestorClassesOf(org.semanticweb.owl.model.OWLDescription c) throws org.semanticweb.owl.model.OWLException
ancestorClassesOf
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set subClassesOf(org.semanticweb.owl.model.OWLDescription c) throws org.semanticweb.owl.model.OWLException
subClassesOf
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set descendantClassesOf(org.semanticweb.owl.model.OWLDescription c) throws org.semanticweb.owl.model.OWLException
descendantClassesOf
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public java.util.Set equivalentClassesOf(org.semanticweb.owl.model.OWLDescription c) throws org.semanticweb.owl.model.OWLException
equivalentClassesOf
in interface org.semanticweb.owl.inference.OWLClassReasoner
org.semanticweb.owl.model.OWLException
public boolean isAutoClassify()
public void setAutoClassify(boolean autoClassify)
autoClassify
- The autoClassify to set.public boolean isAutoRealize()
public void setAutoRealize(boolean autoRealize)
autoRealize
- The autoRealize to set.public KnowledgeBase getKB()
public java.util.Set superPropertiesOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set ancestorPropertiesOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set subPropertiesOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set descendantPropertiesOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set equivalentPropertiesOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set inversePropertiesOf(org.semanticweb.owl.model.OWLObjectProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set rangesOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public java.util.Set domainsOf(org.semanticweb.owl.model.OWLProperty prop) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public org.semanticweb.owl.model.OWLClass typeOf(org.semanticweb.owl.model.OWLIndividual ind) throws org.semanticweb.owl.model.OWLException
ind
-
org.semanticweb.owl.model.OWLException
public java.util.Set typesOf(org.semanticweb.owl.model.OWLIndividual ind) throws org.semanticweb.owl.model.OWLException
ind
-
org.semanticweb.owl.model.OWLException
public java.util.Set allTypesOf(org.semanticweb.owl.model.OWLIndividual ind) throws org.semanticweb.owl.model.OWLException
ind
-
org.semanticweb.owl.model.OWLException
public java.util.Set getSameAsIndividuals(org.semanticweb.owl.model.OWLIndividual ind) throws org.semanticweb.owl.model.OWLException
ind
- - specific individual to test
org.semanticweb.owl.model.OWLException
public boolean isSameAs(org.semanticweb.owl.model.OWLIndividual ind1, org.semanticweb.owl.model.OWLIndividual ind2) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
public boolean isDifferentFrom(org.semanticweb.owl.model.OWLIndividual ind1, org.semanticweb.owl.model.OWLIndividual ind2) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |