public abstract class OWLNaryClassAxiomImpl extends OWLClassAxiomImpl implements OWLNaryClassAxiom
Constructor and Description |
---|
OWLNaryClassAxiomImpl(List<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 specified class
expressions.
|
List<OWLClassExpression> |
getOperandsAsList()
Gets the operands as a list.
|
annotations, annotationsAsList, getNNF, isAnnotated
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
components, componentsAnnotationsFirst, componentsWithoutAnnotations, getClassExpressions, getClassExpressionsAsList, initHashCode, operands
isLogicalAxiom
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
hashIndex
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
allMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, asPairwiseAxioms, forEach, forEachAllPairs, splitToAnnotatedPairs, walkAllPairwise, walkPairwise
asOWLSubClassOfAxioms
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLNaryClassAxiomImpl(List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions
- classes (list must be sorted in the factory)annotations
- annotationspublic Stream<OWLClassExpression> classExpressions()
OWLNaryClassAxiom
classExpressions
in interface OWLNaryClassAxiom
public List<OWLClassExpression> getOperandsAsList()
HasOperands
getOperandsAsList
in interface HasOperands<OWLClassExpression>
public boolean contains(OWLClassExpression ce)
OWLNaryClassAxiom
contains
in interface OWLNaryClassAxiom
ce
- 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)
OWLNaryClassAxiom
getClassExpressionsMinus
in interface OWLNaryClassAxiom
desc
- The class expressions to subtract from the class expressions in this axiomCopyright © 2020 The University of Manchester. All rights reserved.