public class OWLObjectUnionOfImpl extends OWLNaryBooleanClassExpressionImpl implements OWLObjectUnionOf
Constructor and Description |
---|
OWLObjectUnionOfImpl(List<OWLClassExpression> operands) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
asDisjunctSet()
Interprets this expression as a disjunction and returns the disjuncts.
|
Stream<OWLClassExpression> |
disjunctSet()
Interprets this expression as a disjunction and returns the disjuncts.
|
getOperandsAsList, operands
asConjunctSet, conjunctSet, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndex
components, getOperands, initHashCode
asConjunctSet, conjunctSet, containsConjunct, 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, operands
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLObjectUnionOfImpl(List<OWLClassExpression> operands)
operands
- operands (list must be sorted in the factory)public Set<OWLClassExpression> asDisjunctSet()
OWLClassExpression
asDisjunctSet
in interface OWLClassExpression
asDisjunctSet
in class OWLAnonymousClassExpressionImpl
public Stream<OWLClassExpression> disjunctSet()
OWLClassExpression
disjunctSet
in interface OWLClassExpression
disjunctSet
in class OWLAnonymousClassExpressionImpl
Copyright © 2020 The University of Manchester. All rights reserved.