Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.semanticweb.owl.inference
Interface OWLPropertyReasoner

All Superinterfaces:
OWLReasonerBase
All Known Subinterfaces:
MonitorableOWLReasoner, OWLReasoner
All Known Implementing Classes:
DIGReasoner, MonitorableOWLReasonerAdapter, OWLReasonerAdapter, OWLReasonerMediator
public interface OWLPropertyReasoner
extends OWLReasonerBase

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

Method Summary
 java.util.Set<java.util.Set<OWLDataProperty>> getAncestorProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> getAncestorProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> getDescendantProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> getDescendantProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> getDomains(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLDescription>> getDomains(OWLObjectProperty property)
           
 java.util.Set<OWLDataProperty> getEquivalentProperties(OWLDataProperty property)
           
 java.util.Set<OWLObjectProperty> getEquivalentProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> getInverseProperties(OWLObjectProperty property)
           
 java.util.Set<OWLDataRange> getRanges(OWLDataProperty property)
           
 java.util.Set<OWLDescription> getRanges(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> getSubProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> getSubProperties(OWLObjectProperty property)
           
 java.util.Set<java.util.Set<OWLDataProperty>> getSuperProperties(OWLDataProperty property)
           
 java.util.Set<java.util.Set<OWLObjectProperty>> getSuperProperties(OWLObjectProperty property)
           
 boolean isAntiSymmetric(OWLObjectProperty property)
           
 boolean isFunctional(OWLDataProperty property)
           
 boolean isFunctional(OWLObjectProperty property)
           
 boolean isInverseFunctional(OWLObjectProperty property)
           
 boolean isIrreflexive(OWLObjectProperty property)
           
 boolean isReflexive(OWLObjectProperty property)
           
 boolean isSymmetric(OWLObjectProperty property)
           
 boolean isTransitive(OWLObjectProperty property)
           
 
Methods inherited from interface org.semanticweb.owl.inference.OWLReasonerBase
classify, clearOntologies, dispose, getLoadedOntologies, isClassified, isDefined, isDefined, isDefined, isDefined, isRealised, loadOntologies, realise, unloadOntologies
 

Method Detail

getSuperProperties

java.util.Set<java.util.Set<OWLObjectProperty>> getSuperProperties(OWLObjectProperty property)
                                                                   throws OWLReasonerException
Throws:
OWLReasonerException

getSubProperties

java.util.Set<java.util.Set<OWLObjectProperty>> getSubProperties(OWLObjectProperty property)
                                                                 throws OWLReasonerException
Throws:
OWLReasonerException

getAncestorProperties

java.util.Set<java.util.Set<OWLObjectProperty>> getAncestorProperties(OWLObjectProperty property)
                                                                      throws OWLReasonerException
Throws:
OWLReasonerException

getDescendantProperties

java.util.Set<java.util.Set<OWLObjectProperty>> getDescendantProperties(OWLObjectProperty property)
                                                                        throws OWLReasonerException
Throws:
OWLReasonerException

getInverseProperties

java.util.Set<java.util.Set<OWLObjectProperty>> getInverseProperties(OWLObjectProperty property)
                                                                     throws OWLReasonerException
Throws:
OWLReasonerException

getEquivalentProperties

java.util.Set<OWLObjectProperty> getEquivalentProperties(OWLObjectProperty property)
                                                         throws OWLReasonerException
Throws:
OWLReasonerException

getDomains

java.util.Set<java.util.Set<OWLDescription>> getDomains(OWLObjectProperty property)
                                                        throws OWLReasonerException
Throws:
OWLReasonerException

getRanges

java.util.Set<OWLDescription> getRanges(OWLObjectProperty property)
                                        throws OWLReasonerException
Throws:
OWLReasonerException

isFunctional

boolean isFunctional(OWLObjectProperty property)
                     throws OWLReasonerException
Throws:
OWLReasonerException

isInverseFunctional

boolean isInverseFunctional(OWLObjectProperty property)
                            throws OWLReasonerException
Throws:
OWLReasonerException

isSymmetric

boolean isSymmetric(OWLObjectProperty property)
                    throws OWLReasonerException
Throws:
OWLReasonerException

isTransitive

boolean isTransitive(OWLObjectProperty property)
                     throws OWLReasonerException
Throws:
OWLReasonerException

isReflexive

boolean isReflexive(OWLObjectProperty property)
                    throws OWLReasonerException
Throws:
OWLReasonerException

isIrreflexive

boolean isIrreflexive(OWLObjectProperty property)
                      throws OWLReasonerException
Throws:
OWLReasonerException

isAntiSymmetric

boolean isAntiSymmetric(OWLObjectProperty property)
                        throws OWLReasonerException
Throws:
OWLReasonerException

getSuperProperties

java.util.Set<java.util.Set<OWLDataProperty>> getSuperProperties(OWLDataProperty property)
                                                                 throws OWLReasonerException
Throws:
OWLReasonerException

getSubProperties

java.util.Set<java.util.Set<OWLDataProperty>> getSubProperties(OWLDataProperty property)
                                                               throws OWLReasonerException
Throws:
OWLReasonerException

getAncestorProperties

java.util.Set<java.util.Set<OWLDataProperty>> getAncestorProperties(OWLDataProperty property)
                                                                    throws OWLReasonerException
Throws:
OWLReasonerException

getDescendantProperties

java.util.Set<java.util.Set<OWLDataProperty>> getDescendantProperties(OWLDataProperty property)
                                                                      throws OWLReasonerException
Throws:
OWLReasonerException

getEquivalentProperties

java.util.Set<OWLDataProperty> getEquivalentProperties(OWLDataProperty property)
                                                       throws OWLReasonerException
Throws:
OWLReasonerException

getDomains

java.util.Set<java.util.Set<OWLDescription>> getDomains(OWLDataProperty property)
                                                        throws OWLReasonerException
Throws:
OWLReasonerException

getRanges

java.util.Set<OWLDataRange> getRanges(OWLDataProperty property)
                                      throws OWLReasonerException
Throws:
OWLReasonerException

isFunctional

boolean isFunctional(OWLDataProperty property)
                     throws OWLReasonerException
Throws:
OWLReasonerException
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD