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

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
          extended by uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
              extended by uk.ac.manchester.cs.owl.owlapi.OWLIndividualAxiomImpl
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLNaryIndividualAxiomImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLNaryIndividualAxiom, OWLObject
Direct Known Subclasses:
OWLDifferentIndividualsAxiomImpl, OWLSameIndividualAxiomImpl

public abstract class OWLNaryIndividualAxiomImpl
extends OWLIndividualAxiomImpl
implements OWLNaryIndividualAxiom

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


Constructor Summary
OWLNaryIndividualAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLIndividual> individuals, java.util.Collection<? extends OWLAnnotation> annotations)
           
 
Method Summary
protected  int compareObjectOfSameType(OWLObject object)
           
 boolean equals(java.lang.Object obj)
           
 java.util.Set<OWLIndividual> getIndividuals()
           
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
isLogicalAxiom
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, 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, getAnnotatedAxiom, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Constructor Detail

OWLNaryIndividualAxiomImpl

public OWLNaryIndividualAxiomImpl(OWLDataFactory dataFactory,
                                  java.util.Set<? extends OWLIndividual> individuals,
                                  java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail

getIndividuals

public java.util.Set<OWLIndividual> getIndividuals()
Specified by:
getIndividuals in interface OWLNaryIndividualAxiom

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLAxiomImpl

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)
Specified by:
compareObjectOfSameType in class OWLObjectImpl