public abstract class OWLNaryIndividualAxiomImpl extends OWLIndividualAxiomImpl implements OWLNaryIndividualAxiom
Constructor and Description |
---|
OWLNaryIndividualAxiomImpl(Set<? extends OWLIndividual> individuals,
Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Set<OWLIndividual> |
getIndividuals() |
List<OWLIndividual> |
getIndividualsAsList()
Gets the individuals returned by
OWLNaryIndividualAxiom.getIndividuals() as a list. |
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
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
compareTo
containsEntityInSignature
asPairwiseAxioms
asOWLSubClassOfAxioms
public OWLNaryIndividualAxiomImpl(Set<? extends OWLIndividual> individuals, Collection<? extends OWLAnnotation> annotations)
individuals
- individualsannotations
- annotations on the axiompublic Set<OWLIndividual> getIndividuals()
getIndividuals
in interface OWLNaryIndividualAxiom
public List<OWLIndividual> getIndividualsAsList()
OWLNaryIndividualAxiom
OWLNaryIndividualAxiom.getIndividuals()
as a list.getIndividualsAsList
in interface OWLNaryIndividualAxiom
public boolean equals(Object obj)
equals
in class OWLAxiomImpl
Copyright © 2017 The University of Manchester. All Rights Reserved.