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 |
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