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:

Serializable, Comparable<OWLObject>, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLDataPropertyExpression>, HasSignature, OWLAxiom, OWLDataPropertyAxiom, OWLDataPropertyCharacteristicAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLUnaryPropertyAxiom<OWLDataPropertyExpression>, CollectionContainer<OWLAnnotation>

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

See Also:

Serialized Form

Field Summary

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLDataPropertyCharacteristicAxiomImpl(OWLDataPropertyExpression property, Collection<? extends OWLAnnotation> annotations)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
OWLDataPropertyExpression	getProperty() Gets the property.

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

isAnnotationAxiom, isLogicalAxiom

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

accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos

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

compareLists, compareObjectOfSameType, compareSets, compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, 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, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getAnonymousIndividuals, 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.HasContainsEntityInSignature

containsEntityInSignature

Constructor Detail

OWLDataPropertyCharacteristicAxiomImpl

public OWLDataPropertyCharacteristicAxiomImpl(OWLDataPropertyExpression property,
                                              Collection<? extends OWLAnnotation> annotations)

Parameters:

property - property

annotations - annotations

Method Detail

getProperty

public OWLDataPropertyExpression getProperty()

Description copied from interface: HasProperty

Gets the property.

Specified by:

getProperty in interface HasProperty<OWLDataPropertyExpression>

Specified by:

getProperty in interface OWLUnaryPropertyAxiom<OWLDataPropertyExpression>

Returns:

the property expression that this axiom describes.

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLAxiomImpl