uk.ac.manchester.cs.owl.owlapi
Class OWLNaryPropertyAxiomImpl<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.OWLNaryPropertyAxiomImpl<P>

All Implemented Interfaces:

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

Direct Known Subclasses:

OWLDisjointDataPropertiesAxiomImpl, OWLDisjointObjectPropertiesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLEquivalentObjectPropertiesAxiomImpl, OWLInverseObjectPropertiesAxiomImpl

public abstract class OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression>
extends OWLPropertyAxiomImpl
implements OWLNaryPropertyAxiom<P>

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

Constructor Summary

OWLNaryPropertyAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends P> properties, java.util.Collection<? extends OWLAnnotation> annotations)

Method Summary

protected int	compareObjectOfSameType(OWLObject object)
boolean	equals(java.lang.Object obj)
java.util.Set<P>	getProperties() Gets all of the properties that appear in this axiom
java.util.Set<P>	getPropertiesMinus(P property)

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

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

OWLNaryPropertyAxiomImpl

public OWLNaryPropertyAxiomImpl(OWLDataFactory dataFactory,
                                java.util.Set<? extends P> properties,
                                java.util.Collection<? extends OWLAnnotation> annotations)

Method Detail

getProperties

public java.util.Set<P> getProperties()

Description copied from interface: OWLNaryPropertyAxiom

Gets all of the properties that appear in this axiom

Specified by:

getProperties in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>

getPropertiesMinus

public java.util.Set<P> getPropertiesMinus(P property)

Specified by:

getPropertiesMinus in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>

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