uk.ac.manchester.cs.owl.owlapi
Class OWLObjectPropertyCharacteristicAxiomImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLPropertyAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyCharacteristicAxiomImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLObjectPropertyAxiom, OWLObjectPropertyCharacteristicAxiom, OWLPropertyAxiom, OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>
- Direct Known Subclasses:
- OWLAsymmetricObjectPropertyAxiomImpl, OWLFunctionalObjectPropertyAxiomImpl, OWLInverseFunctionalObjectPropertyAxiomImpl, OWLIrreflexiveObjectPropertyAxiomImpl, OWLReflexiveObjectPropertyAxiomImpl, OWLSymmetricObjectPropertyAxiomImpl, OWLTransitiveObjectPropertyAxiomImpl
public abstract class OWLObjectPropertyCharacteristicAxiomImpl
- extends OWLPropertyAxiomImpl
- implements OWLObjectPropertyCharacteristicAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
compareTo |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
compareTo |
OWLObjectPropertyCharacteristicAxiomImpl
public OWLObjectPropertyCharacteristicAxiomImpl(OWLDataFactory dataFactory,
OWLObjectPropertyExpression property,
java.util.Collection<? extends OWLAnnotation> annotations)
getProperty
public OWLObjectPropertyExpression getProperty()
- Description copied from interface:
OWLUnaryPropertyAxiom
- Gets the property expression that this axiom describes.
- Specified by:
getProperty
in interface OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLAxiomImpl
compareObjectOfSameType
protected final int compareObjectOfSameType(OWLObject object)
- Specified by:
compareObjectOfSameType
in class OWLObjectImpl