P
- property typepublic abstract class OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression<?,?>> extends OWLUnaryPropertyAxiomImpl<P> implements OWLPropertyDomainAxiom<P>
Constructor and Description |
---|
OWLPropertyDomainAxiomImpl(P property,
OWLClassExpression domain,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
OWLClassExpression |
getDomain()
Gets the domain specified by this property axiom.
|
getProperty
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
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
compareTo
containsEntityInSignature
asOWLSubClassOfAxiom
public OWLPropertyDomainAxiomImpl(P property, OWLClassExpression domain, Set<? extends OWLAnnotation> annotations)
property
- propertydomain
- domainannotations
- annotationspublic OWLClassExpression getDomain()
OWLPropertyDomainAxiom
getDomain
in interface HasDomain<OWLClassExpression>
getDomain
in interface OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>>
public boolean equals(Object obj)
equals
in class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression<?,?>>
Copyright © 2017 The University of Manchester. All Rights Reserved.