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>

Type Parameters:

P - the property expression

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLNaryPropertyAxiom<P>, OWLObject, OWLPropertyAxiom, CollectionContainer<OWLAnnotation>

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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLNaryPropertyAxiomImpl(java.util.Set<? extends P> properties, java.util.Collection<? extends OWLAnnotation> annotations)

Method Summary

Methods

Modifier and Type	Method and Description
protected int	compareObjectOfSameType(OWLObject object)
boolean	equals(java.lang.Object obj)
java.util.Set<P>	getProperties()
java.util.Set<P>	getPropertiesMinus(P 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, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, 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

Constructor Detail

OWLNaryPropertyAxiomImpl

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

Method Detail

getProperties

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

Specified by:

getProperties in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>

Returns:

all of the properties that appear in this axiom

getPropertiesMinus

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

Specified by:

getPropertiesMinus in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>

Parameters:

property - the property to skip

Returns:

the set of properties minus property

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