public abstract class OWLObjectPropertyCharacteristicAxiomImpl extends OWLPropertyAxiomImpl implements OWLObjectPropertyCharacteristicAxiom
Constructor and Description |
---|
OWLObjectPropertyCharacteristicAxiomImpl(OWLObjectPropertyExpression property,
Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
OWLObjectPropertyExpression |
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 OWLObjectPropertyCharacteristicAxiomImpl(OWLObjectPropertyExpression property, Collection<? extends OWLAnnotation> annotations)
property
- propertyannotations
- annotationspublic OWLObjectPropertyExpression getProperty()
HasProperty
getProperty
in interface HasProperty<OWLObjectPropertyExpression>
getProperty
in interface OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>
public boolean equals(Object obj)
equals
in class OWLAxiomImpl
Copyright © 2017 The University of Manchester. All Rights Reserved.