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, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
@Nonnull Set<OWLIndividual> getIndividuals()
ObjectOneOf
class expression.@Nonnull OWLClassExpression asObjectUnionOf()
simp({a}) = {a}, simp({a0, ... ,
{an}) = unionOf({a0}, ... , {an})}
Copyright © 2020 The University of Manchester. All rights reserved.