org.semanticweb.owl.inference
Interface OWLIndividualReasoner

All Superinterfaces:

OWLReasonerBase

All Known Subinterfaces:

MonitorableOWLReasoner, OWLReasoner

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, 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<OWLConstant>>	getDataPropertyRelationships(OWLIndividual individual)
java.util.Set<OWLIndividual>	getIndividuals(OWLDescription clsC, boolean direct)
java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>>	getObjectPropertyRelationships(OWLIndividual individual)
java.util.Set<OWLIndividual>	getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
java.util.Set<OWLConstant>	getRelatedValues(OWLIndividual subject, OWLDataPropertyExpression property)
java.util.Set<java.util.Set<OWLClass>>	getTypes(OWLIndividual individual, boolean direct)
boolean	hasDataPropertyRelationship(OWLIndividual subject, OWLDataPropertyExpression property, OWLConstant object)
boolean	hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
boolean	hasType(OWLIndividual individual, OWLDescription type, boolean direct)

Methods inherited from interface org.semanticweb.owl.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(OWLIndividual individual,
                                                boolean direct)
                                                throws OWLReasonerException

Throws:

OWLReasonerException

getIndividuals

java.util.Set<OWLIndividual> getIndividuals(OWLDescription clsC,
                                            boolean direct)
                                            throws OWLReasonerException

Throws:

OWLReasonerException

getObjectPropertyRelationships

java.util.Map<OWLObjectProperty,java.util.Set<OWLIndividual>> getObjectPropertyRelationships(OWLIndividual individual)
                                                                                             throws OWLReasonerException

Throws:

OWLReasonerException

getDataPropertyRelationships

java.util.Map<OWLDataProperty,java.util.Set<OWLConstant>> getDataPropertyRelationships(OWLIndividual individual)
                                                                                       throws OWLReasonerException

Throws:

OWLReasonerException

hasType

boolean hasType(OWLIndividual individual,
                OWLDescription type,
                boolean direct)
                throws OWLReasonerException

Throws:

OWLReasonerException

hasObjectPropertyRelationship

boolean hasObjectPropertyRelationship(OWLIndividual subject,
                                      OWLObjectPropertyExpression property,
                                      OWLIndividual object)
                                      throws OWLReasonerException

Throws:

OWLReasonerException

hasDataPropertyRelationship

boolean hasDataPropertyRelationship(OWLIndividual subject,
                                    OWLDataPropertyExpression property,
                                    OWLConstant object)
                                    throws OWLReasonerException

Throws:

OWLReasonerException

getRelatedIndividuals

java.util.Set<OWLIndividual> getRelatedIndividuals(OWLIndividual subject,
                                                   OWLObjectPropertyExpression property)
                                                   throws OWLReasonerException

Throws:

OWLReasonerException

getRelatedValues

java.util.Set<OWLConstant> getRelatedValues(OWLIndividual subject,
                                            OWLDataPropertyExpression property)
                                            throws OWLReasonerException

Throws:

OWLReasonerException