public abstract class OWLObjectPropertyCharacteristicAxiomImpl extends OWLPropertyAxiomImpl implements OWLObjectPropertyCharacteristicAxiom
Constructor and Description |
---|
OWLObjectPropertyCharacteristicAxiomImpl(OWLObjectPropertyExpression property,
java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
OWLObjectPropertyExpression |
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
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
public OWLObjectPropertyCharacteristicAxiomImpl(OWLObjectPropertyExpression property, java.util.Collection<? extends OWLAnnotation> annotations)
public OWLObjectPropertyExpression getProperty()
getProperty
in interface OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
protected final int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl