public abstract class OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression<?,?>> extends OWLUnaryPropertyAxiomImpl<P> implements OWLPropertyDomainAxiom<P>
Constructor and Description |
---|
OWLPropertyDomainAxiomImpl(P property,
OWLClassExpression domain,
java.util.Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
OWLClassExpression |
getDomain()
Gets the domain specified by this property axiom
|
getProperty
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getProperty
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
asOWLSubClassOfAxiom
public OWLPropertyDomainAxiomImpl(P property, OWLClassExpression domain, java.util.Set<? extends OWLAnnotation> annotations)
public OWLClassExpression getDomain()
OWLPropertyDomainAxiom
getDomain
in interface OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>>
public boolean equals(java.lang.Object obj)
equals
in class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression<?,?>>
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl