public abstract class OWLDataPropertyCharacteristicAxiomImpl extends OWLPropertyAxiomImplWithEntityAndAnonCaching 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, getAnnotationPropertiesInSignature, 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, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLDataPropertyCharacteristicAxiomImpl(@Nonnull OWLDataPropertyExpression property, @Nonnull 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 OWLAxiomImplWithEntityAndAnonCaching
Copyright © 2020 The University of Manchester. All rights reserved.