org.mindswap.pellet.owlapi
Class Reasoner

java.lang.Object
  extended by org.mindswap.pellet.owlapi.Reasoner
All Implemented Interfaces:
java.io.Serializable, org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLConsistencyChecker, org.semanticweb.owl.inference.OWLIndividualReasoner, org.semanticweb.owl.inference.OWLReasoner, org.semanticweb.owl.inference.OWLTaxonomyReasoner, org.semanticweb.owl.model.change.OntologyChangeListener

public class Reasoner
extends java.lang.Object
implements org.semanticweb.owl.inference.OWLReasoner, org.semanticweb.owl.inference.OWLConsistencyChecker, org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLTaxonomyReasoner, org.semanticweb.owl.inference.OWLIndividualReasoner, org.semanticweb.owl.model.change.OntologyChangeListener

Author:
evren
See Also:
Serialized Form

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

UNKNOWN

public static final int UNKNOWN
See Also:
Constant Field Values
Constructor Detail

Reasoner

public Reasoner()
Method Detail

loadImports

public boolean loadImports()

setLoadImports

public void setLoadImports(boolean loadImports,
                           boolean refreshOnt)
                    throws org.semanticweb.owl.model.OWLException
Parameters:
useImports - The useImports to set.
Throws:
org.semanticweb.owl.model.OWLException

refreshOntology

public void refreshOntology()
                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

setOntology

public void setOntology(org.semanticweb.owl.model.OWLOntology ontology)
                 throws org.semanticweb.owl.model.OWLException
Specified by:
setOntology in interface org.semanticweb.owl.inference.OWLReasoner
Throws:
org.semanticweb.owl.model.OWLException

getOntology

public org.semanticweb.owl.model.OWLOntology getOntology()
Specified by:
getOntology in interface org.semanticweb.owl.inference.OWLReasoner

getOntologies

public java.util.Set getOntologies()
Returns the set of all loaded ontologies.


consistency

public int consistency(org.semanticweb.owl.model.OWLOntology ontology)
                throws org.semanticweb.owl.model.OWLException
Specified by:
consistency in interface org.semanticweb.owl.inference.OWLConsistencyChecker
Throws:
org.semanticweb.owl.model.OWLException

consistency

public int consistency()

superClassesOf

public java.util.Set superClassesOf(org.semanticweb.owl.model.OWLClass c)
                             throws org.semanticweb.owl.model.OWLException
Specified by:
superClassesOf in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
Throws:
org.semanticweb.owl.model.OWLException

ancestorClassesOf

public java.util.Set ancestorClassesOf(org.semanticweb.owl.model.OWLClass c)
                                throws org.semanticweb.owl.model.OWLException
Specified by:
ancestorClassesOf in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
Throws:
org.semanticweb.owl.model.OWLException

subClassesOf

public java.util.Set subClassesOf(org.semanticweb.owl.model.OWLClass c)
                           throws org.semanticweb.owl.model.OWLException
Specified by:
subClassesOf in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
Throws:
org.semanticweb.owl.model.OWLException

descendantClassesOf

public java.util.Set descendantClassesOf(org.semanticweb.owl.model.OWLClass c)
                                  throws org.semanticweb.owl.model.OWLException
Specified by:
descendantClassesOf in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
Throws:
org.semanticweb.owl.model.OWLException

equivalentClassesOf

public java.util.Set equivalentClassesOf(org.semanticweb.owl.model.OWLClass c)
                                  throws org.semanticweb.owl.model.OWLException
Specified by:
equivalentClassesOf in interface org.semanticweb.owl.inference.OWLTaxonomyReasoner
Throws:
org.semanticweb.owl.model.OWLException

isInstanceOf

public boolean isInstanceOf(org.semanticweb.owl.model.OWLIndividual ind,
                            org.semanticweb.owl.model.OWLClass c)
                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

isInstanceOf

public boolean isInstanceOf(org.semanticweb.owl.model.OWLIndividual ind,
                            org.semanticweb.owl.model.OWLDescription d)
                     throws org.semanticweb.owl.model.OWLException
Specified by:
isInstanceOf in interface org.semanticweb.owl.inference.OWLIndividualReasoner
Throws:
org.semanticweb.owl.model.OWLException

allInstancesOf

public java.util.Set allInstancesOf(org.semanticweb.owl.model.OWLClass c)
                             throws org.semanticweb.owl.model.OWLException
Return all the instances of this class.

Parameters:
c -
Returns:
Throws:
org.semanticweb.owl.model.OWLException

instancesOf

public java.util.Set instancesOf(org.semanticweb.owl.model.OWLClass c)
                          throws org.semanticweb.owl.model.OWLException
Return direct instances of this class

Parameters:
c -
Returns:
Throws:
org.semanticweb.owl.model.OWLException

instancesOf

public java.util.Set instancesOf(org.semanticweb.owl.model.OWLDescription d)
                          throws org.semanticweb.owl.model.OWLException
Return all instances of this concept description

Specified by:
instancesOf in interface org.semanticweb.owl.inference.OWLIndividualReasoner
Parameters:
c -
Returns:
Throws:
org.semanticweb.owl.model.OWLException

ontologyChanged

public void ontologyChanged(org.semanticweb.owl.model.change.OntologyChange change)
                     throws org.semanticweb.owl.model.OWLException
Specified by:
ontologyChanged in interface org.semanticweb.owl.model.change.OntologyChangeListener
Throws:
org.semanticweb.owl.model.OWLException

getClasses

public java.util.Set getClasses()
Return the set of all named classes defined in any of the ontologies loaded in the reasoner.

Returns:
set of OWLClass objects

getProperties

public java.util.Set getProperties()

getObjectProperties

public java.util.Set getObjectProperties()

getPropertyValue

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
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValue

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
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValues

public java.util.Set getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind,
                                       org.semanticweb.owl.model.OWLObjectProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValues

public java.util.Set getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind,
                                       org.semanticweb.owl.model.OWLDataProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValues

public java.util.Set getPropertyValues(org.semanticweb.owl.model.OWLIndividual ind,
                                       org.semanticweb.owl.model.OWLProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getDataPropertyValues

public java.util.Map getDataPropertyValues(org.semanticweb.owl.model.OWLIndividual ind)
                                    throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getObjectPropertyValues

public java.util.Map getObjectPropertyValues(org.semanticweb.owl.model.OWLIndividual ind)
                                      throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValues

public java.util.Map getPropertyValues(org.semanticweb.owl.model.OWLObjectProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValues

public java.util.Map getPropertyValues(org.semanticweb.owl.model.OWLDataProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getPropertyValues

public java.util.Map getPropertyValues(org.semanticweb.owl.model.OWLProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

hasPropertyValue

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
Throws:
org.semanticweb.owl.model.OWLException

hasPropertyValue

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
Throws:
org.semanticweb.owl.model.OWLException

getDataProperties

public java.util.Set getDataProperties()

getAnnotationProperties

public java.util.Set getAnnotationProperties()

getIndividuals

public java.util.Set getIndividuals()
Return the set of all individuals defined in any of the ontologies loaded in the reasoner.

Returns:
set of OWLClass objects

getClass

public org.semanticweb.owl.model.OWLClass getClass(java.net.URI uri)
                                            throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getObjectProperty

public org.semanticweb.owl.model.OWLObjectProperty getObjectProperty(java.net.URI uri)
                                                              throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getDataProperty

public org.semanticweb.owl.model.OWLDataProperty getDataProperty(java.net.URI uri)
                                                          throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getIndividual

public org.semanticweb.owl.model.OWLIndividual getIndividual(java.net.URI uri)
                                                      throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

getEntity

public org.semanticweb.owl.model.OWLObject getEntity(java.net.URI uri,
                                                     java.lang.Class type)
                                              throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

isSubClassOf

public boolean isSubClassOf(org.semanticweb.owl.model.OWLDescription c1,
                            org.semanticweb.owl.model.OWLDescription c2)
                     throws org.semanticweb.owl.model.OWLException
Specified by:
isSubClassOf in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

isSubTypeOf

public boolean isSubTypeOf(org.semanticweb.owl.model.OWLDataType d1,
                           org.semanticweb.owl.model.OWLDataType d2)
                    throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

isEquivalentClass

public boolean isEquivalentClass(org.semanticweb.owl.model.OWLDescription c1,
                                 org.semanticweb.owl.model.OWLDescription c2)
                          throws org.semanticweb.owl.model.OWLException
Specified by:
isEquivalentClass in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

isConsistent

public boolean isConsistent()
Returns true if the loaded ontology is consistent.

Parameters:
c -
Returns:
Throws:
org.semanticweb.owl.model.OWLException

isConsistent

public boolean isConsistent(org.semanticweb.owl.model.OWLDescription d)
                     throws org.semanticweb.owl.model.OWLException
Returns true if the given class is consistent.

Specified by:
isConsistent in interface org.semanticweb.owl.inference.OWLClassReasoner
Parameters:
c -
Returns:
Throws:
org.semanticweb.owl.model.OWLException

superClassesOf

public java.util.Set superClassesOf(org.semanticweb.owl.model.OWLDescription c)
                             throws org.semanticweb.owl.model.OWLException
Specified by:
superClassesOf in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

ancestorClassesOf

public java.util.Set ancestorClassesOf(org.semanticweb.owl.model.OWLDescription c)
                                throws org.semanticweb.owl.model.OWLException
Specified by:
ancestorClassesOf in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

subClassesOf

public java.util.Set subClassesOf(org.semanticweb.owl.model.OWLDescription c)
                           throws org.semanticweb.owl.model.OWLException
Specified by:
subClassesOf in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

descendantClassesOf

public java.util.Set descendantClassesOf(org.semanticweb.owl.model.OWLDescription c)
                                  throws org.semanticweb.owl.model.OWLException
Specified by:
descendantClassesOf in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

equivalentClassesOf

public java.util.Set equivalentClassesOf(org.semanticweb.owl.model.OWLDescription c)
                                  throws org.semanticweb.owl.model.OWLException
Specified by:
equivalentClassesOf in interface org.semanticweb.owl.inference.OWLClassReasoner
Throws:
org.semanticweb.owl.model.OWLException

isAutoClassify

public boolean isAutoClassify()
Returns:
Returns the autoClassify.

setAutoClassify

public void setAutoClassify(boolean autoClassify)
Parameters:
autoClassify - The autoClassify to set.

isAutoRealize

public boolean isAutoRealize()
Returns:
Returns the autoRealize.

setAutoRealize

public void setAutoRealize(boolean autoRealize)
Parameters:
autoRealize - The autoRealize to set.

getKB

public KnowledgeBase getKB()
Returns:
Returns the kb.

superPropertiesOf

public java.util.Set superPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
                                throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

ancestorPropertiesOf

public java.util.Set ancestorPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
                                   throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

subPropertiesOf

public java.util.Set subPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
                              throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

descendantPropertiesOf

public java.util.Set descendantPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
                                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

equivalentPropertiesOf

public java.util.Set equivalentPropertiesOf(org.semanticweb.owl.model.OWLProperty prop)
                                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

inversePropertiesOf

public java.util.Set inversePropertiesOf(org.semanticweb.owl.model.OWLObjectProperty prop)
                                  throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

rangesOf

public java.util.Set rangesOf(org.semanticweb.owl.model.OWLProperty prop)
                       throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

domainsOf

public java.util.Set domainsOf(org.semanticweb.owl.model.OWLProperty prop)
                        throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

typeOf

public org.semanticweb.owl.model.OWLClass typeOf(org.semanticweb.owl.model.OWLIndividual ind)
                                          throws org.semanticweb.owl.model.OWLException
Return the named class that this individual is a direct type of. If there is more than one such class first one is returned.

Parameters:
ind -
Returns:
OWLClass
Throws:
org.semanticweb.owl.model.OWLException

typesOf

public java.util.Set typesOf(org.semanticweb.owl.model.OWLIndividual ind)
                      throws org.semanticweb.owl.model.OWLException
Returns all the named classes that this individual is a direct type of. This returns a set of sets where each set is an equivalent class.

Parameters:
ind -
Returns:
Set of OWLClass sets
Throws:
org.semanticweb.owl.model.OWLException

allTypesOf

public java.util.Set allTypesOf(org.semanticweb.owl.model.OWLIndividual ind)
                         throws org.semanticweb.owl.model.OWLException
Returns all the named classes that this individual belongs. This returns a set of sets where each set is an equivalent class

Parameters:
ind -
Returns:
Set of OWLDescription objects
Throws:
org.semanticweb.owl.model.OWLException

getSameAsIndividuals

public java.util.Set getSameAsIndividuals(org.semanticweb.owl.model.OWLIndividual ind)
                                   throws org.semanticweb.owl.model.OWLException
Return a set of sameAs individuals given a specific individual based on axioms in the ontology

Parameters:
ind - - specific individual to test
Returns:
Throws:
org.semanticweb.owl.model.OWLException

isSameAs

public boolean isSameAs(org.semanticweb.owl.model.OWLIndividual ind1,
                        org.semanticweb.owl.model.OWLIndividual ind2)
                 throws org.semanticweb.owl.model.OWLException
Test if two individuals are owl:DifferentFrom each other.

Returns:
Throws:
org.semanticweb.owl.model.OWLException

isDifferentFrom

public boolean isDifferentFrom(org.semanticweb.owl.model.OWLIndividual ind1,
                               org.semanticweb.owl.model.OWLIndividual ind2)
                        throws org.semanticweb.owl.model.OWLException
Test if two individuals are owl:DifferentFrom each other.

Returns:
Throws:
org.semanticweb.owl.model.OWLException


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.