uk.ac.manchester.cs.owl.owlapi
Class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>

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.OWLUnaryPropertyAxiomImpl<P>

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLUnaryPropertyAxiom<P>

Direct Known Subclasses:

OWLPropertyDomainAxiomImpl, OWLPropertyRangeAxiomImpl

public abstract class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>
extends OWLPropertyAxiomImpl
implements OWLUnaryPropertyAxiom<P>

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

Constructor Summary

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

Method Summary

boolean	equals(java.lang.Object obj)
P	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

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

Constructor Detail

OWLUnaryPropertyAxiomImpl

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

Method Detail

getProperty

public P getProperty()

Description copied from interface: OWLUnaryPropertyAxiom

Gets the property expression that this axiom describes.

Specified by:

getProperty in interface OWLUnaryPropertyAxiom<P extends OWLPropertyExpression>

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLAxiomImpl