public class OWLObjectIntersectionOfImpl extends OWLNaryBooleanClassExpressionImpl implements OWLObjectIntersectionOf
| Constructor and Description |
|---|
OWLObjectIntersectionOfImpl(List<OWLClassExpression> operands) |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLClassExpression> |
asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
Stream<OWLClassExpression> |
conjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
boolean |
containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct.
|
getOperandsAsList, operandsasDisjunctSet, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThingannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndexcomponents, getOperands, initHashCodeasDisjunctSet, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThinggetNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignaturecomponentsAnnotationsFirst, componentsWithoutAnnotationsisAnonymous, isNamedasOWLClass, isOWLClassgetOperandsAsList, operandsaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLObjectIntersectionOfImpl(List<OWLClassExpression> operands)
operands - operands (list must be sorted in the factory)public Set<OWLClassExpression> asConjunctSet()
OWLClassExpressionasConjunctSet in interface OWLClassExpressionasConjunctSet in class OWLAnonymousClassExpressionImplpublic Stream<OWLClassExpression> conjunctSet()
OWLClassExpressionconjunctSet in interface OWLClassExpressionconjunctSet in class OWLAnonymousClassExpressionImplpublic boolean containsConjunct(OWLClassExpression ce)
OWLClassExpressioncontainsConjunct in interface OWLClassExpressioncontainsConjunct in class OWLAnonymousClassExpressionImplce - The conjunct to test fortrue if this class expression is equal to ce or if this class
expression is an ObjectIntersectionOf (possibly nested within another ObjectIntersectionOf) that contains ce, otherwise false.Copyright © 2020 The University of Manchester. All rights reserved.