uk.ac.manchester.cs.owl.owlapi
Class OWLDataPropertyCharacteristicAxiomImpl

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.OWLDataPropertyCharacteristicAxiomImpl

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLDataPropertyAxiom, OWLDataPropertyCharacteristicAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLUnaryPropertyAxiom<OWLDataPropertyExpression>

Direct Known Subclasses:

OWLFunctionalDataPropertyAxiomImpl

public abstract class OWLDataPropertyCharacteristicAxiomImpl
extends OWLPropertyAxiomImpl
implements OWLDataPropertyCharacteristicAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

Constructor Summary

OWLDataPropertyCharacteristicAxiomImpl(OWLDataFactory dataFactory, OWLDataPropertyExpression property, java.util.Collection<? extends OWLAnnotation> annotations)

Method Summary

boolean	equals(java.lang.Object obj)
OWLDataPropertyExpression	getProperty() Gets the property expression that this axiom describes.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl

isLogicalAxiom

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl

equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareObjectOfSameType, 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

Constructor Detail

OWLDataPropertyCharacteristicAxiomImpl

public OWLDataPropertyCharacteristicAxiomImpl(OWLDataFactory dataFactory,
                                              OWLDataPropertyExpression property,
                                              java.util.Collection<? extends OWLAnnotation> annotations)

Method Detail

getProperty

public OWLDataPropertyExpression getProperty()

Description copied from interface: OWLUnaryPropertyAxiom

Gets the property expression that this axiom describes.

Specified by:

getProperty in interface OWLUnaryPropertyAxiom<OWLDataPropertyExpression>

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLAxiomImpl