public abstract class OWLNaryIndividualAxiomImpl extends OWLIndividualAxiomImpl implements OWLNaryIndividualAxiom
Constructor and Description |
---|
OWLNaryIndividualAxiomImpl(List<OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
List<OWLIndividual> |
getIndividualsAsList()
Gets the individuals returned by
OWLNaryIndividualAxiom.getIndividuals() as a list. |
List<OWLIndividual> |
getOperandsAsList()
Gets the operands as a list.
|
Stream<OWLIndividual> |
individuals() |
annotations, annotationsAsList, getNNF, isAnnotated
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
components, componentsAnnotationsFirst, componentsWithoutAnnotations, getIndividuals, initHashCode, operands
isLogicalAxiom
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
hashIndex
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
allMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, asPairwiseAxioms, forEach, forEachAllPairs, splitToAnnotatedPairs, walkAllPairwise, walkPairwise
asOWLSubClassOfAxioms
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLNaryIndividualAxiomImpl(List<OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
individuals
- individuals (list must be sorted in the factory)annotations
- annotations on the axiompublic Stream<OWLIndividual> individuals()
individuals
in interface OWLNaryIndividualAxiom
public List<OWLIndividual> getIndividualsAsList()
OWLNaryIndividualAxiom
OWLNaryIndividualAxiom.getIndividuals()
as a list.getIndividualsAsList
in interface OWLNaryIndividualAxiom
public List<OWLIndividual> getOperandsAsList()
HasOperands
getOperandsAsList
in interface HasOperands<OWLIndividual>
Copyright © 2020 The University of Manchester. All rights reserved.