public abstract class OWLNaryIndividualAxiomImpl extends OWLIndividualAxiomImpl implements OWLNaryIndividualAxiom
Constructor and Description |
---|
OWLNaryIndividualAxiomImpl(java.util.Set<? extends OWLIndividual> individuals,
java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
java.util.Set<OWLIndividual> |
getIndividuals() |
java.util.List<OWLIndividual> |
getIndividualsAsList()
Gets the individuals returned by
OWLNaryIndividualAxiom.getIndividuals() as a list. |
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
asPairwiseAxioms
asOWLSubClassOfAxioms
public OWLNaryIndividualAxiomImpl(java.util.Set<? extends OWLIndividual> individuals, java.util.Collection<? extends OWLAnnotation> annotations)
public java.util.Set<OWLIndividual> getIndividuals()
getIndividuals
in interface OWLNaryIndividualAxiom
public java.util.List<OWLIndividual> getIndividualsAsList()
OWLNaryIndividualAxiom
OWLNaryIndividualAxiom.getIndividuals()
as a list.getIndividualsAsList
in interface OWLNaryIndividualAxiom
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl