public abstract class OWLNaryClassAxiomImpl extends OWLClassAxiomImpl implements OWLNaryClassAxiom
| Constructor and Description |
|---|
OWLNaryClassAxiomImpl(Collection<? extends OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLClassExpression> |
classExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
boolean |
contains(OWLClassExpression ce)
Determines if this class axiom contains the specified class expression as an operand.
|
Set<OWLClassExpression> |
getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the specfied class
expressions.
|
List<OWLClassExpression> |
getOperandsAsList()
Gets the operands as a list.
|
annotations, annotationsAsList, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringcomponents, componentsAnnotationsFirst, componentsWithoutAnnotations, getClassExpressions, getClassExpressionsAsList, initHashCode, operandsisLogicalAxiomaccept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexaccept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignaturehashIndexisAnonymous, isNamedannotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotationsallMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, asPairwiseAxioms, forEach, forEachAllPairs, splitToAnnotatedPairs, walkAllPairwise, walkPairwiseasOWLSubClassOfAxiomsaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLNaryClassAxiomImpl(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions - classesannotations - annotationspublic Stream<OWLClassExpression> classExpressions()
OWLNaryClassAxiomclassExpressions in interface OWLNaryClassAxiompublic List<OWLClassExpression> getOperandsAsList()
HasOperandsgetOperandsAsList in interface HasOperands<OWLClassExpression>public boolean contains(OWLClassExpression ce)
OWLNaryClassAxiomcontains in interface OWLNaryClassAxiomce - The class expression to test fortrue if this axiom contains the specified class expression as an operand,
otherwise false.public Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
OWLNaryClassAxiomgetClassExpressionsMinus in interface OWLNaryClassAxiomdesc - The class expressions to subtract from the class expressions in this axiomCopyright © 2019 The University of Manchester. All rights reserved.