C
- class of contained objectspublic interface OWLNaryAxiom<C extends OWLObject> extends OWLAxiom, HasOperands<C>
Modifier and Type | Method and Description |
---|---|
default boolean |
allMatch(OWLPairwiseBooleanVisitor<C> visitor) |
default boolean |
allMatchAllPairs(OWLPairwiseBooleanVisitor<C> visitor) |
default boolean |
anyMatch(OWLPairwiseBooleanVisitor<C> visitor) |
default boolean |
anyMatchAllPairs(OWLPairwiseBooleanVisitor<C> visitor) |
Collection<? extends OWLNaryAxiom<C>> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms; if the axiom contains only two operands,
the axiom itself is returned unchanged, including its annotations.
|
default void |
forEach(OWLPairwiseVoidVisitor<C> visitor) |
default void |
forEachAllPairs(OWLPairwiseVoidVisitor<C> visitor) |
Stream<C> |
operands()
Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent
classes axiom.
|
Collection<? extends OWLAxiom> |
splitToAnnotatedPairs()
Splits this axiom to pairs, including annotations.
|
default <T> Collection<T> |
walkAllPairwise(OWLPairwiseVisitor<T,C> visitor) |
default <T> Collection<T> |
walkPairwise(OWLPairwiseVisitor<T,C> visitor) |
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isLogicalAxiom, isOfType, isOfType, isOfType, typeIndex
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, 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
components, componentsAnnotationsFirst, componentsWithoutAnnotations
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
getOperandsAsList
Stream<C> operands()
HasOperands
operands
in interface HasOperands<C extends OWLObject>
Collection<? extends OWLNaryAxiom<C>> asPairwiseAxioms()
default <T> Collection<T> walkPairwise(OWLPairwiseVisitor<T,C> visitor)
T
- type returned by visitorvisitor
- visitor to apply to all pairwise elements in this axiom; pairs are not
ordered, i.e., only (i,j) will be considered, for i!=j; (j, i) is not considered.default <T> Collection<T> walkAllPairwise(OWLPairwiseVisitor<T,C> visitor)
T
- type returned by visitorvisitor
- visitor to apply to all pairwise elements in this axiom; pairs are ordered,
i.e., (i, j) and (j, i) will be considered. (i,i) is skipped.default void forEach(OWLPairwiseVoidVisitor<C> visitor)
visitor
- visitor to apply to all pairwise elements in this axiom; pairs are not
ordered, i.e., only (i,j) will be considered, for i!=j; (j, i) is not considered.default boolean anyMatch(OWLPairwiseBooleanVisitor<C> visitor)
visitor
- visitor to apply to all pairwise elements in this axiom; pairs are not
ordered, i.e., only (i,j) will be considered, for i!=j; (j, i) is not considered.default boolean allMatch(OWLPairwiseBooleanVisitor<C> visitor)
visitor
- visitor to apply to all pairwise elements in this axiom; pairs are not
ordered, i.e., only (i,j) will be considered, for i!=j; (j, i) is not considered.default void forEachAllPairs(OWLPairwiseVoidVisitor<C> visitor)
visitor
- visitor to apply to all pairwise elements in this axiom; pairs are ordered,
i.e., (i, j) and (j, i) will be considered. (i,i) is skipped.default boolean anyMatchAllPairs(OWLPairwiseBooleanVisitor<C> visitor)
visitor
- visitor to apply to all pairwise elements in this axiom; pairs are ordered,
i.e., (i, j) and (j, i) will be considered. (i,i) is skipped.default boolean allMatchAllPairs(OWLPairwiseBooleanVisitor<C> visitor)
visitor
- visitor to apply to all pairwise elements in this axiom; pairs are ordered,
i.e., (i, j) and (j, i) will be considered. (i,i) is skipped.Collection<? extends OWLAxiom> splitToAnnotatedPairs()
Copyright © 2020 The University of Manchester. All rights reserved.