public interface OWLObjectOneOf extends OWLAnonymousClassExpression
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
asObjectUnionOf()
Simplifies this enumeration to a union of singleton nominals
|
java.util.Set<OWLIndividual> |
getIndividuals()
Gets the individuals that are in the oneOf.
|
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
java.util.Set<OWLIndividual> getIndividuals()
ObjectOneOf
class expression.OWLClassExpression asObjectUnionOf()