public abstract class OWLDataPropertyCharacteristicAxiomImpl extends OWLPropertyAxiomImpl implements OWLDataPropertyCharacteristicAxiom
Constructor and Description |
---|
OWLDataPropertyCharacteristicAxiomImpl(OWLDataPropertyExpression property,
Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
OWLDataPropertyExpression |
getProperty()
Gets the property.
|
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
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
public OWLDataPropertyCharacteristicAxiomImpl(OWLDataPropertyExpression property, Collection<? extends OWLAnnotation> annotations)
property
- propertyannotations
- annotationspublic OWLDataPropertyExpression getProperty()
HasProperty
getProperty
in interface HasProperty<OWLDataPropertyExpression>
getProperty
in interface OWLUnaryPropertyAxiom<OWLDataPropertyExpression>
public boolean equals(Object obj)
equals
in class OWLAxiomImpl
Copyright © 2017 The University of Manchester. All Rights Reserved.