uk.ac.manchester.cs.owl.owlapi
Class OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
          extended by uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
              extended by uk.ac.manchester.cs.owl.owlapi.OWLPropertyAxiomImpl
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLUnaryPropertyAxiomImpl<P>
                      extended by uk.ac.manchester.cs.owl.owlapi.OWLPropertyRangeAxiomImpl<P,R>
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLPropertyRangeAxiom<P,R>, OWLUnaryPropertyAxiom<P>
Direct Known Subclasses:
OWLDataPropertyRangeAxiomImpl, OWLObjectPropertyRangeAxiomImpl

public abstract class OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>
extends OWLUnaryPropertyAxiomImpl<P>
implements OWLPropertyRangeAxiom<P,R>

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


Constructor Summary
OWLPropertyRangeAxiomImpl(OWLDataFactory dataFactory, P property, R range, java.util.Set<? extends OWLAnnotation> annotations)
           
 
Method Summary
protected  int compareObjectOfSameType(OWLObject object)
           
 boolean equals(java.lang.Object obj)
           
 R getRange()
           
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLUnaryPropertyAxiomImpl
getProperty
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
isLogicalAxiom
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLPropertyRangeAxiom
asOWLSubClassOfAxiom
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLUnaryPropertyAxiom
getProperty
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom
accept, accept, getAnnotatedAxiom, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Constructor Detail

OWLPropertyRangeAxiomImpl

public OWLPropertyRangeAxiomImpl(OWLDataFactory dataFactory,
                                 P property,
                                 R range,
                                 java.util.Set<? extends OWLAnnotation> annotations)
Method Detail

getRange

public R getRange()
Specified by:
getRange in interface OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange>

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>

compareObjectOfSameType

protected final int compareObjectOfSameType(OWLObject object)
Specified by:
compareObjectOfSameType in class OWLObjectImpl