org.semanticweb.owlapi.inference
Interface OWLIndividualReasoner

All Superinterfaces:
OWLReasonerBase
All Known Subinterfaces:
MonitorableOWLReasoner, OWLReasoner
All Known Implementing Classes:
DIGReasoner, MonitorableOWLReasonerAdapter, NullReasoner, OWLReasonerAdapter, OWLReasonerMediator

public interface OWLIndividualReasoner
extends OWLReasonerBase

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006


Method Summary
 java.util.Map<OWLDataProperty,java.util.Set<OWLLiteral>> getDataPropertyRelationships(OWLNamedIndividual individual)
           
 java.util.Set<OWLNamedIndividual> getIndividuals(OWLClassExpression clsC, boolean direct)
           
 java.util.Map<OWLObjectProperty,java.util.Set<OWLNamedIndividual>> getObjectPropertyRelationships(OWLNamedIndividual individual)
           
 java.util.Set<OWLNamedIndividual> getRelatedIndividuals(OWLNamedIndividual subject, OWLObjectPropertyExpression property)
           
 java.util.Set<OWLLiteral> getRelatedValues(OWLNamedIndividual subject, OWLDataPropertyExpression property)
           
 java.util.Set<java.util.Set<OWLClass>> getTypes(OWLNamedIndividual individual, boolean direct)
           
 boolean hasDataPropertyRelationship(OWLNamedIndividual subject, OWLDataPropertyExpression property, OWLLiteral object)
           
 boolean hasObjectPropertyRelationship(OWLNamedIndividual subject, OWLObjectPropertyExpression property, OWLNamedIndividual object)
           
 boolean hasType(OWLNamedIndividual individual, OWLClassExpression type, boolean direct)
           
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLReasonerBase
classify, clearOntologies, dispose, getLoadedOntologies, isClassified, isDefined, isDefined, isDefined, isDefined, isRealised, loadOntologies, realise, unloadOntologies
 

Method Detail

getTypes

java.util.Set<java.util.Set<OWLClass>> getTypes(OWLNamedIndividual individual,
                                                boolean direct)
                                                throws OWLReasonerException
Throws:
OWLReasonerException

getIndividuals

java.util.Set<OWLNamedIndividual> getIndividuals(OWLClassExpression clsC,
                                                 boolean direct)
                                                 throws OWLReasonerException
Throws:
OWLReasonerException

getObjectPropertyRelationships

java.util.Map<OWLObjectProperty,java.util.Set<OWLNamedIndividual>> getObjectPropertyRelationships(OWLNamedIndividual individual)
                                                                                                  throws OWLReasonerException
Throws:
OWLReasonerException

getDataPropertyRelationships

java.util.Map<OWLDataProperty,java.util.Set<OWLLiteral>> getDataPropertyRelationships(OWLNamedIndividual individual)
                                                                                      throws OWLReasonerException
Throws:
OWLReasonerException

hasType

boolean hasType(OWLNamedIndividual individual,
                OWLClassExpression type,
                boolean direct)
                throws OWLReasonerException
Throws:
OWLReasonerException

hasObjectPropertyRelationship

boolean hasObjectPropertyRelationship(OWLNamedIndividual subject,
                                      OWLObjectPropertyExpression property,
                                      OWLNamedIndividual object)
                                      throws OWLReasonerException
Throws:
OWLReasonerException

hasDataPropertyRelationship

boolean hasDataPropertyRelationship(OWLNamedIndividual subject,
                                    OWLDataPropertyExpression property,
                                    OWLLiteral object)
                                    throws OWLReasonerException
Throws:
OWLReasonerException

getRelatedIndividuals

java.util.Set<OWLNamedIndividual> getRelatedIndividuals(OWLNamedIndividual subject,
                                                        OWLObjectPropertyExpression property)
                                                        throws OWLReasonerException
Throws:
OWLReasonerException

getRelatedValues

java.util.Set<OWLLiteral> getRelatedValues(OWLNamedIndividual subject,
                                           OWLDataPropertyExpression property)
                                           throws OWLReasonerException
Throws:
OWLReasonerException