uk.ac.manchester.cs.owl.owlapi
Class OWLNaryIndividualAxiomImpl
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.OWLIndividualAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLNaryIndividualAxiomImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLNaryAxiom, OWLNaryIndividualAxiom, OWLObject, OWLSubClassOfAxiomSetShortCut
- 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
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 |
OWLNaryIndividualAxiomImpl
public OWLNaryIndividualAxiomImpl(OWLDataFactory dataFactory,
java.util.Set<? extends OWLIndividual> individuals,
java.util.Collection<? extends OWLAnnotation> annotations)
getIndividuals
public java.util.Set<OWLIndividual> getIndividuals()
- Specified by:
getIndividuals
in interface OWLNaryIndividualAxiom
getIndividualsAsList
public java.util.List<OWLIndividual> getIndividualsAsList()
- Description copied from interface:
OWLNaryIndividualAxiom
- Gets the individuals returned by
OWLNaryIndividualAxiom.getIndividuals()
as a list.
- Specified by:
getIndividualsAsList
in interface OWLNaryIndividualAxiom
- Returns:
- The individuals in this axiom as a list
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