public interface OWLObjectOneOf extends OWLAnonymousClassExpression
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
asObjectUnionOf()
Simplifies this enumeration to a union of singleton nominals
|
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
compareTo
containsEntityInSignature
Set<OWLIndividual> getIndividuals()
ObjectOneOf
class expression.OWLClassExpression asObjectUnionOf()
Copyright © 2017 The University of Manchester. All Rights Reserved.