public interface OWLNaryClassAxiom extends OWLClassAxiom, OWLNaryAxiom<OWLClassExpression>, OWLSubClassOfAxiomSetShortCut, HasOperands<OWLClassExpression>
Modifier and Type | Method and Description |
---|---|
Stream<OWLClassExpression> |
classExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
default Stream<?> |
components() |
default Stream<?> |
componentsAnnotationsFirst() |
default Stream<?> |
componentsWithoutAnnotations() |
boolean |
contains(OWLClassExpression ce)
Determines if this class axiom contains the specified class expression as an operand.
|
default Set<OWLClassExpression> |
getClassExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
default List<OWLClassExpression> |
getClassExpressionsAsList()
Deprecated.
|
Set<OWLClassExpression> |
getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the specified class
expressions.
|
default int |
initHashCode() |
default Stream<OWLClassExpression> |
operands()
Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent
classes axiom.
|
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
getOperandsAsList
asOWLSubClassOfAxioms
default Stream<?> components()
components
in interface HasComponents
default int initHashCode()
initHashCode
in interface OWLObject
default Stream<?> componentsWithoutAnnotations()
componentsWithoutAnnotations
in interface HasComponents
default Stream<?> componentsAnnotationsFirst()
componentsAnnotationsFirst
in interface HasComponents
default Set<OWLClassExpression> getClassExpressions()
Set
of class expressions that appear in the axiom. The set that is returned
is a copy; modifications to the returned set will not be reflected in this object.Stream<OWLClassExpression> classExpressions()
default Stream<OWLClassExpression> operands()
HasOperands
operands
in interface HasOperands<OWLClassExpression>
operands
in interface OWLNaryAxiom<OWLClassExpression>
@Deprecated default List<OWLClassExpression> getClassExpressionsAsList()
HasOperands.getOperandsAsList()
getClassExpressions()
method as a list of class expressions.boolean contains(OWLClassExpression ce)
ce
- The class expression to test fortrue
if this axiom contains the specified class expression as an operand,
otherwise false
.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
desc
- The class expressions to subtract from the class expressions in this axiomCopyright © 2020 The University of Manchester. All rights reserved.