Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
org.semanticweb.owl.inference.OWLReasonerException

Packages that use OWLReasonerException
org.semanticweb.owl.inference   
org.semanticweb.owl.util   
uk.ac.manchester.cs.owl.inference.dig11   
 

Uses of OWLReasonerException in org.semanticweb.owl.inference
 

Subclasses of OWLReasonerException in org.semanticweb.owl.inference
 class OWLInconsistentOntologyException
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Sep-2007

An exception that indicates that the combination of axioms from the loaded ontologies result in Thing being equivalent to Nothing.
 class UndefinedEntityException
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Apr-2007

If an ask operations references an undefined entity, then this exception indicates this.
 class UnsupportedReasonerOperationException
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Apr-2007

An exception which indicates that a reasoner does not support a particular operation, for example an "asks" or "query" operation.
 

Methods in org.semanticweb.owl.inference that throw OWLReasonerException
 void OWLReasonerBase.classify()
          Asks the reasoner to classify the ontology.
 void NullReasoner.classify()
          Does nothing in this implementation
 void OWLReasonerBase.clearOntologies()
          Clears the reasoner.
 void OWLReasonerAdapter.clearOntologies()
           
 void NullReasoner.clearOntologies()
          Does nothing in this implementation.
 void OWLReasonerBase.dispose()
          Disposes of and cleans up any resources used by this reasoner.
 void NullReasoner.dispose()
           
 java.util.Set<java.util.Set<OWLClass>> OWLClassReasoner.getAncestorClasses(OWLDescription clsC)
          Returns the collection of all superclasses of the given description.
 java.util.Set<java.util.Set<OWLClass>> NullReasoner.getAncestorClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLPropertyReasoner.getAncestorProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> NullReasoner.getAncestorProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLPropertyReasoner.getAncestorProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> NullReasoner.getAncestorProperties(OWLObjectProperty property)
           
 java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>> OWLIndividualReasoner.getDataPropertyRelationships(OWLIndividual individual)
           
 java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>> NullReasoner.getDataPropertyRelationships(OWLIndividual individual)
           
 java.util.Set<java.util.Set<OWLClass>> OWLClassReasoner.getDescendantClasses(OWLDescription clsC)
          Returns the collection of all subclasses of the given description.
 java.util.Set<java.util.Set<OWLClass>> NullReasoner.getDescendantClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLPropertyReasoner.getDescendantProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> NullReasoner.getDescendantProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLPropertyReasoner.getDescendantProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> NullReasoner.getDescendantProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> OWLPropertyReasoner.getDomains(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> NullReasoner.getDomains(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> OWLPropertyReasoner.getDomains(OWLObjectProperty property)
          Gets the domains of a particular property.
 java.util.Set<java.util.Set<OWLDescription>> NullReasoner.getDomains(OWLObjectProperty property)
           
 java.util.Set<OWLClass> OWLClassReasoner.getEquivalentClasses(OWLDescription clsC)
          Returns the collection of (named) classes which are equivalent to the given description.
 java.util.Set<OWLClass> NullReasoner.getEquivalentClasses(OWLDescription clsC)
           
 java.util.Set<OWLDataProperty> OWLPropertyReasoner.getEquivalentProperties(OWLDataProperty property)
           
 java.util.Set<OWLDataProperty> NullReasoner.getEquivalentProperties(OWLDataProperty property)
           
 java.util.Set<OWLObjectProperty> OWLPropertyReasoner.getEquivalentProperties(OWLObjectProperty property)
           
 java.util.Set<OWLObjectProperty> NullReasoner.getEquivalentProperties(OWLObjectProperty property)
           
 java.util.Set<OWLClass> OWLClassReasoner.getInconsistentClasses()
          A convenience methods for obtaining all classes which are inconsistent.
 java.util.Set<OWLClass> NullReasoner.getInconsistentClasses()
           
 java.util.Set<OWLIndividual> OWLIndividualReasoner.getIndividuals(OWLDescription clsC, boolean direct)
           
 java.util.Set<OWLIndividual> NullReasoner.getIndividuals(OWLDescription clsC, boolean direct)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLPropertyReasoner.getInverseProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> NullReasoner.getInverseProperties(OWLObjectProperty property)
           
 java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>> OWLIndividualReasoner.getObjectPropertyRelationships(OWLIndividual individual)
           
 java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>> NullReasoner.getObjectPropertyRelationships(OWLIndividual individual)
           
 java.util.Set<OWLDataRange> OWLPropertyReasoner.getRanges(OWLDataProperty property)
           
 java.util.Set<OWLDataRange> NullReasoner.getRanges(OWLDataProperty property)
           
 java.util.Set<OWLDescription> OWLPropertyReasoner.getRanges(OWLObjectProperty property)
           
 java.util.Set<OWLDescription> NullReasoner.getRanges(OWLObjectProperty property)
           
 java.util.Set<OWLIndividual> OWLIndividualReasoner.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 java.util.Set<OWLIndividual> NullReasoner.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 java.util.Set<OWLConstant> OWLIndividualReasoner.getRelatedValues(OWLIndividual subject, OWLDataPropertyExpression property)
           
 java.util.Set<OWLConstant> NullReasoner.getRelatedValues(OWLIndividual subject, OWLDataPropertyExpression property)
           
 java.util.Set<java.util.Set<OWLClass>> OWLClassReasoner.getSubClasses(OWLDescription clsC)
          Returns the collection of (named) most general subclasses of the given description.
 java.util.Set<java.util.Set<OWLClass>> NullReasoner.getSubClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLPropertyReasoner.getSubProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> NullReasoner.getSubProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLPropertyReasoner.getSubProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> NullReasoner.getSubProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLClass>> OWLClassReasoner.getSuperClasses(OWLDescription clsC)
          Returns the collection of (named) most specific superclasses of the given description.
 java.util.Set<java.util.Set<OWLClass>> NullReasoner.getSuperClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLPropertyReasoner.getSuperProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> NullReasoner.getSuperProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLPropertyReasoner.getSuperProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> NullReasoner.getSuperProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLClass>> OWLIndividualReasoner.getTypes(OWLIndividual individual, boolean direct)
           
 java.util.Set<java.util.Set<OWLClass>> NullReasoner.getTypes(OWLIndividual individual, boolean direct)
           
 boolean OWLIndividualReasoner.hasDataPropertyRelationship(OWLIndividual subject, OWLDataPropertyExpression property, OWLConstant object)
           
 boolean NullReasoner.hasDataPropertyRelationship(OWLIndividual subject, OWLDataPropertyExpression property, OWLConstant object)
           
 boolean OWLIndividualReasoner.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 boolean NullReasoner.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 boolean OWLIndividualReasoner.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
           
 boolean NullReasoner.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
           
 boolean OWLPropertyReasoner.isAntiSymmetric(OWLObjectProperty property)
           
 boolean NullReasoner.isAntiSymmetric(OWLObjectProperty property)
           
 boolean OWLReasonerBase.isClassified()
          Determines if the reasoner has classified the ontology.
 boolean NullReasoner.isClassified()
           
 boolean OWLConsistencyChecker.isConsistent(OWLOntology ontology)
          Checks to see if the ontology that have been loaded into the reasoner are consistent in combination.
 boolean NullReasoner.isConsistent(OWLOntology ontology)
           
 boolean OWLReasonerBase.isDefined(OWLClass cls)
          Determines if the specified class is defined in the reasoner.
 boolean NullReasoner.isDefined(OWLClass cls)
           
 boolean OWLReasonerBase.isDefined(OWLDataProperty prop)
          Determines if the specified property is defined in the reasoner.
 boolean NullReasoner.isDefined(OWLDataProperty prop)
           
 boolean OWLReasonerBase.isDefined(OWLIndividual ind)
          Determines if the specified individual is defined in the reasoner.
 boolean NullReasoner.isDefined(OWLIndividual ind)
           
 boolean OWLReasonerBase.isDefined(OWLObjectProperty prop)
          Determines if the specified property is defined in the reasoner.
 boolean NullReasoner.isDefined(OWLObjectProperty prop)
           
 boolean OWLClassReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
          Checks whether the first class is equivalent to the second class
 boolean NullReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
           
 boolean OWLPropertyReasoner.isFunctional(OWLDataProperty property)
           
 boolean NullReasoner.isFunctional(OWLDataProperty property)
           
 boolean OWLPropertyReasoner.isFunctional(OWLObjectProperty property)
           
 boolean NullReasoner.isFunctional(OWLObjectProperty property)
           
 boolean OWLPropertyReasoner.isInverseFunctional(OWLObjectProperty property)
           
 boolean NullReasoner.isInverseFunctional(OWLObjectProperty property)
           
 boolean OWLPropertyReasoner.isIrreflexive(OWLObjectProperty property)
           
 boolean NullReasoner.isIrreflexive(OWLObjectProperty property)
           
 boolean OWLReasonerBase.isRealised()
          Determines if the types of individuals have been computed by this reasoner (if supported).
 boolean NullReasoner.isRealised()
           
 boolean OWLPropertyReasoner.isReflexive(OWLObjectProperty property)
           
 boolean NullReasoner.isReflexive(OWLObjectProperty property)
           
 boolean OWLSatisfiabilityChecker.isSatisfiable(OWLDescription description)
          Determines if the specified class is satisfiable.
 boolean NullReasoner.isSatisfiable(OWLDescription description)
           
 boolean OWLClassReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD)
          Checks whether the first class is a subclass of the second class
 boolean NullReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD)
           
 boolean OWLPropertyReasoner.isSymmetric(OWLObjectProperty property)
           
 boolean NullReasoner.isSymmetric(OWLObjectProperty property)
           
 boolean OWLPropertyReasoner.isTransitive(OWLObjectProperty property)
           
 boolean NullReasoner.isTransitive(OWLObjectProperty property)
           
 void OWLReasonerBase.loadOntologies(java.util.Set<OWLOntology> ontologies)
          Loads the specified ontologies.
 void OWLReasonerAdapter.loadOntologies(java.util.Set<OWLOntology> ontologies)
           
 void NullReasoner.loadOntologies(java.util.Set<OWLOntology> ontologies)
           
 void OWLReasonerBase.realise()
          Asks the reasoner to compute the types of individuals (if supported).
 void NullReasoner.realise()
          Does nothing in this implementation.
 void OWLReasonerManagerImpl.setReasonerFactory(OWLReasonerFactory factory)
           
 void OWLReasonerManager.setReasonerFactory(OWLReasonerFactory factory)
          Sets the current reasoner factory.
 void OWLReasonerBase.unloadOntologies(java.util.Set<OWLOntology> ontologies)
          Unloads the specified ontologies from this reasoner.
 void OWLReasonerAdapter.unloadOntologies(java.util.Set<OWLOntology> ontologies)
           
 void NullReasoner.unloadOntologies(java.util.Set<OWLOntology> ontologies)
          Does nothing in this implementation.
 

Uses of OWLReasonerException in org.semanticweb.owl.util
 

Methods in org.semanticweb.owl.util that return OWLReasonerException
 OWLReasonerException InferredAxiomGeneratorException.getReasonerException()
           
 

Methods in org.semanticweb.owl.util that throw OWLReasonerException
 boolean OWLReasonerMediator.checkDefined(OWLDataPropertyExpression prop)
           
 boolean OWLReasonerMediator.checkDefined(OWLDescription description)
           
 boolean OWLReasonerMediator.checkDefined(OWLIndividual individual)
           
 boolean OWLReasonerMediator.checkDefined(OWLObjectPropertyExpression prop)
           
 void OWLReasonerMediator.classify()
           
 void OWLReasonerMediator.clearOntologies()
           
 java.util.Set<A> InferredEntityAxiomGenerator.createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
           
 java.util.Set<A> InferredAxiomGenerator.createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
           
 void OWLReasonerMediator.dispose()
           
 void InferredOntologyGenerator.fillOntology(OWLOntologyManager manager, OWLOntology ontology)
          Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator
 java.util.Set<java.util.Set<OWLClass>> OWLReasonerMediator.getAncestorClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLReasonerMediator.getAncestorProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLReasonerMediator.getAncestorProperties(OWLObjectProperty property)
           
 java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>> OWLReasonerMediator.getDataPropertyRelationships(OWLIndividual individual)
           
 java.util.Set<java.util.Set<OWLClass>> OWLReasonerMediator.getDescendantClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLReasonerMediator.getDescendantProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLReasonerMediator.getDescendantProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> OWLReasonerMediator.getDomains(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> OWLReasonerMediator.getDomains(OWLObjectProperty property)
           
 java.util.Set<OWLClass> OWLReasonerMediator.getEquivalentClasses(OWLDescription clsC)
           
 java.util.Set<OWLDataProperty> OWLReasonerMediator.getEquivalentProperties(OWLDataProperty property)
           
 java.util.Set<OWLObjectProperty> OWLReasonerMediator.getEquivalentProperties(OWLObjectProperty property)
           
 java.util.Set<OWLClass> OWLReasonerMediator.getInconsistentClasses()
           
 java.util.Set<OWLIndividual> OWLReasonerMediator.getIndividuals(OWLDescription clsC, boolean direct)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLReasonerMediator.getInverseProperties(OWLObjectProperty property)
           
 java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>> OWLReasonerMediator.getObjectPropertyRelationships(OWLIndividual individual)
           
 java.util.Set<OWLDataRange> OWLReasonerMediator.getRanges(OWLDataProperty property)
           
 java.util.Set<OWLDescription> OWLReasonerMediator.getRanges(OWLObjectProperty property)
           
 java.util.Set<OWLIndividual> OWLReasonerMediator.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 java.util.Set<OWLConstant> OWLReasonerMediator.getRelatedValues(OWLIndividual subject, OWLDataPropertyExpression property)
           
 java.util.Set<java.util.Set<OWLClass>> OWLReasonerMediator.getSubClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLReasonerMediator.getSubProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLReasonerMediator.getSubProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLClass>> OWLReasonerMediator.getSuperClasses(OWLDescription clsC)
           
 java.util.Set<java.util.Set<OWLDataProperty>> OWLReasonerMediator.getSuperProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> OWLReasonerMediator.getSuperProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLClass>> OWLReasonerMediator.getTypes(OWLIndividual individual, boolean direct)
           
 boolean OWLReasonerMediator.hasDataPropertyRelationship(OWLIndividual subject, OWLDataPropertyExpression property, OWLConstant object)
           
 boolean OWLReasonerMediator.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 boolean OWLReasonerMediator.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
           
 boolean OWLReasonerMediator.isAntiSymmetric(OWLObjectProperty property)
           
 boolean OWLReasonerMediator.isClassified()
           
 boolean OWLReasonerMediator.isConsistent(OWLOntology ontology)
           
 boolean ToldClassHierarchyReasoner.isDefined(OWLClass cls)
           
 boolean OWLReasonerMediator.isDefined(OWLClass cls)
           
 boolean ToldClassHierarchyReasoner.isDefined(OWLDataProperty prop)
           
 boolean OWLReasonerMediator.isDefined(OWLDataProperty prop)
           
 boolean ToldClassHierarchyReasoner.isDefined(OWLIndividual ind)
           
 boolean OWLReasonerMediator.isDefined(OWLIndividual ind)
           
 boolean ToldClassHierarchyReasoner.isDefined(OWLObjectProperty prop)
           
 boolean OWLReasonerMediator.isDefined(OWLObjectProperty prop)
           
 boolean OWLReasonerMediator.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
           
 boolean OWLReasonerMediator.isFunctional(OWLDataProperty property)
           
 boolean OWLReasonerMediator.isFunctional(OWLObjectProperty property)
           
 boolean OWLReasonerMediator.isInverseFunctional(OWLObjectProperty property)
           
 boolean OWLReasonerMediator.isIrreflexive(OWLObjectProperty property)
           
 boolean ToldClassHierarchyReasoner.isRealised()
           
 boolean OWLReasonerMediator.isRealised()
           
 boolean OWLReasonerMediator.isReflexive(OWLObjectProperty property)
           
 boolean OWLReasonerMediator.isSatisfiable(OWLDescription description)
           
 boolean OWLReasonerMediator.isSubClassOf(OWLDescription clsC, OWLDescription clsD)
           
 boolean OWLReasonerMediator.isSymmetric(OWLObjectProperty property)
           
 boolean OWLReasonerMediator.isTransitive(OWLObjectProperty property)
           
 void OWLReasonerMediator.loadOntologies(java.util.Set<OWLOntology> ontologies)
           
 void ToldClassHierarchyReasoner.realise()
           
 void OWLReasonerMediator.realise()
           
 void OWLReasonerMediator.unloadOntologies(java.util.Set<OWLOntology> ontologies)
           
 

Constructors in org.semanticweb.owl.util with parameters of type OWLReasonerException
InferredAxiomGeneratorException(InferredAxiomGenerator generator, OWLReasonerException reasonerException)
           
 

Uses of OWLReasonerException in uk.ac.manchester.cs.owl.inference.dig11
 

Subclasses of OWLReasonerException in uk.ac.manchester.cs.owl.inference.dig11
 class DIGReasonerException
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006
 

Methods in uk.ac.manchester.cs.owl.inference.dig11 that throw OWLReasonerException
 void DIGReasoner.classify()
           
 java.util.Set<java.util.Set<OWLClass>> DIGReasoner.getAncestorClasses(OWLDescription description)
           
 java.util.Set<java.util.Set<OWLDataProperty>> DIGReasoner.getAncestorProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> DIGReasoner.getAncestorProperties(OWLObjectProperty property)
           
 java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>> DIGReasoner.getDataPropertyRelationships(OWLIndividual individual)
           
 java.util.Set<java.util.Set<OWLClass>> DIGReasoner.getDescendantClasses(OWLDescription description)
           
 java.util.Set<java.util.Set<OWLDataProperty>> DIGReasoner.getDescendantProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> DIGReasoner.getDescendantProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> DIGReasoner.getDomains(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> DIGReasoner.getDomains(OWLObjectProperty property)
           
 java.util.Set<OWLClass> DIGReasoner.getEquivalentClasses(OWLDescription description)
           
 java.util.Set<OWLDataProperty> DIGReasoner.getEquivalentProperties(OWLDataProperty property)
           
 java.util.Set<OWLObjectProperty> DIGReasoner.getEquivalentProperties(OWLObjectProperty property)
           
 java.util.Set<OWLClass> DIGReasoner.getInconsistentClasses()
          A convenience methods for obtaining all classes which are inconsistent.
 java.util.Set<OWLIndividual> DIGReasoner.getIndividuals(OWLDescription clsC, boolean direct)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> DIGReasoner.getInverseProperties(OWLObjectProperty property)
           
 java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>> DIGReasoner.getObjectPropertyRelationships(OWLIndividual individual)
           
 java.util.Set<OWLDataRange> DIGReasoner.getRanges(OWLDataProperty property)
           
 java.util.Set<OWLDescription> DIGReasoner.getRanges(OWLObjectProperty property)
           
 java.util.Set<OWLIndividual> DIGReasoner.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 java.util.Set<OWLConstant> DIGReasoner.getRelatedValues(OWLIndividual subject, OWLDataPropertyExpression property)
           
 java.util.Set<java.util.Set<OWLClass>> DIGReasoner.getSubClasses(OWLDescription description)
           
 java.util.Set<java.util.Set<OWLDataProperty>> DIGReasoner.getSubProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> DIGReasoner.getSubProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLClass>> DIGReasoner.getSuperClasses(OWLDescription description)
           
 java.util.Set<java.util.Set<OWLDataProperty>> DIGReasoner.getSuperProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> DIGReasoner.getSuperProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLClass>> DIGReasoner.getTypes(OWLIndividual individual, boolean direct)
           
 boolean DIGReasoner.hasDataPropertyRelationship(OWLIndividual subject, OWLDataPropertyExpression property, OWLConstant object)
           
 boolean DIGReasoner.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 boolean DIGReasoner.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
           
 boolean DIGReasoner.isAntiSymmetric(OWLObjectProperty property)
           
 boolean DIGReasoner.isConsistent(OWLOntology ontology)
           
 boolean DIGReasoner.isDefined(OWLClass cls)
           
 boolean DIGReasoner.isDefined(OWLDataProperty prop)
           
 boolean DIGReasoner.isDefined(OWLIndividual ind)
           
 boolean DIGReasoner.isDefined(OWLObjectProperty prop)
           
 boolean DIGReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
           
 boolean DIGReasoner.isFunctional(OWLDataProperty property)
           
 boolean DIGReasoner.isFunctional(OWLObjectProperty property)
           
 boolean DIGReasoner.isInverseFunctional(OWLObjectProperty property)
           
 boolean DIGReasoner.isIrreflexive(OWLObjectProperty property)
           
 boolean DIGReasoner.isRealised()
           
 boolean DIGReasoner.isReflexive(OWLObjectProperty property)
           
 boolean DIGReasoner.isSatisfiable(OWLDescription cls)
           
 boolean DIGReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD)
           
 boolean DIGReasoner.isSymmetric(OWLObjectProperty property)
           
 boolean DIGReasoner.isTransitive(OWLObjectProperty property)
           
 void DIGReasoner.realise()
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES