uk.ac.manchester.cs.owl.owlapi
Class OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLPropertyAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLUnaryPropertyAxiomImpl<P>
uk.ac.manchester.cs.owl.owlapi.OWLPropertyDomainAxiomImpl<P>
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLPropertyDomainAxiom<P>, OWLSubClassOfAxiomShortCut, OWLUnaryPropertyAxiom<P>
- Direct Known Subclasses:
- OWLDataPropertyDomainAxiomImpl, OWLObjectPropertyDomainAxiomImpl
public abstract class OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
- extends OWLUnaryPropertyAxiomImpl<P>
- implements OWLPropertyDomainAxiom<P>
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
compareTo |
OWLPropertyDomainAxiomImpl
public OWLPropertyDomainAxiomImpl(OWLDataFactory dataFactory,
P property,
OWLClassExpression domain,
java.util.Set<? extends OWLAnnotation> annotations)
getDomain
public OWLClassExpression getDomain()
- Description copied from interface:
OWLPropertyDomainAxiom
- Gets the domain specified by this property axiom
- Specified by:
getDomain
in interface OWLPropertyDomainAxiom<P extends OWLPropertyExpression>
- Returns:
- The class expression that represents the domain specified by this axiom.
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>
compareObjectOfSameType
protected int compareObjectOfSameType(OWLObject object)
- Specified by:
compareObjectOfSameType
in class OWLObjectImpl