public interface OWLEquivalentObjectPropertiesAxiom extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>, OWLObjectPropertyAxiom
Modifier and Type | Method and Description |
---|---|
default void |
accept(OWLAxiomVisitor visitor) |
default <O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
default void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
default <O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
Collection<OWLEquivalentObjectPropertiesAxiom> |
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.
|
Collection<OWLSubObjectPropertyOfAxiom> |
asSubObjectPropertyOfAxioms() |
default AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
OWLEquivalentObjectPropertiesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
default int |
hashIndex() |
Collection<OWLEquivalentObjectPropertiesAxiom> |
splitToAnnotatedPairs()
Splits this axiom to pairs, including annotations.
|
components, componentsAnnotationsFirst, componentsWithoutAnnotations, getProperties, getPropertiesMinus, initHashCode, operands, properties
allMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, forEach, forEachAllPairs, walkAllPairwise, walkPairwise
getOperandsAsList
isLogicalAxiom
OWLEquivalentObjectPropertiesAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
default int hashIndex()
hashIndex
in interface HasHashIndex
Collection<OWLEquivalentObjectPropertiesAxiom> asPairwiseAxioms()
OWLNaryAxiom
asPairwiseAxioms
in interface OWLNaryAxiom<OWLObjectPropertyExpression>
Collection<OWLEquivalentObjectPropertiesAxiom> splitToAnnotatedPairs()
OWLNaryAxiom
splitToAnnotatedPairs
in interface OWLNaryAxiom<OWLObjectPropertyExpression>
Collection<OWLSubObjectPropertyOfAxiom> asSubObjectPropertyOfAxioms()
default void accept(OWLObjectVisitor visitor)
OWLObject
default <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
default void accept(OWLAxiomVisitor visitor)
default <O> O accept(OWLAxiomVisitorEx<O> visitor)
default AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
Copyright © 2020 The University of Manchester. All rights reserved.