public interface OWLObjectOneOf extends OWLAnonymousClassExpression, HasOperands<OWLIndividual>
Modifier and Type | Method and Description |
---|---|
default void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visit from an
OWLExpressionVisitor . |
default <O> O |
accept(OWLClassExpressionVisitorEx<O> visitor) |
default void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
default <O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
OWLClassExpression |
asObjectUnionOf()
Simplifies this enumeration to a union of singleton nominals.
|
default Stream<?> |
components() |
default ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression.
|
default Set<OWLIndividual> |
getIndividuals()
Gets the individuals that are in the oneOf.
|
default int |
hashIndex() |
Stream<OWLIndividual> |
individuals()
Gets the individuals that are in the oneOf.
|
default int |
initHashCode() |
default Stream<OWLIndividual> |
operands()
Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent
classes axiom.
|
default int |
typeIndex() |
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
componentsAnnotationsFirst, componentsWithoutAnnotations
isAnonymous, isNamed
asOWLClass, isOWLClass
getOperandsAsList
default Stream<?> components()
components
in interface HasComponents
default int initHashCode()
initHashCode
in interface OWLObject
default int hashIndex()
hashIndex
in interface HasHashIndex
default int typeIndex()
default ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
default Set<OWLIndividual> getIndividuals()
ObjectOneOf
class expression. The
set that is returned is a copy; modifications to the returned set will not be
reflected in this object.Stream<OWLIndividual> individuals()
ObjectOneOf
class expression.default Stream<OWLIndividual> operands()
HasOperands
operands
in interface HasOperands<OWLIndividual>
OWLClassExpression asObjectUnionOf()
default void accept(OWLObjectVisitor visitor)
OWLObject
default <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
default void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
.accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitdefault <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- visitorCopyright © 2020 The University of Manchester. All rights reserved.