public interface OWLNaryIndividualAxiom extends OWLIndividualAxiom, OWLNaryAxiom, OWLSubClassOfAxiomSetShortCut
Modifier and Type | Method and Description |
---|---|
Set<OWLIndividual> |
getIndividuals() |
List<OWLIndividual> |
getIndividualsAsList()
Gets the individuals returned by
getIndividuals() as a list. |
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
Set<OWLIndividual> getIndividuals()
List<OWLIndividual> getIndividualsAsList()
getIndividuals()
as a list.Copyright © 2017 The University of Manchester. All Rights Reserved.