public interface OWLEquivalentDataPropertiesAxiom extends OWLNaryPropertyAxiom<OWLDataPropertyExpression>, OWLDataPropertyAxiom
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<OWLEquivalentDataPropertiesAxiom> |
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<OWLSubDataPropertyOfAxiom> |
asSubDataPropertyOfAxioms() |
default AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
OWLEquivalentDataPropertiesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
default int |
hashIndex() |
Collection<OWLEquivalentDataPropertiesAxiom> |
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
OWLEquivalentDataPropertiesAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
default int hashIndex()
hashIndex
in interface HasHashIndex
Collection<OWLEquivalentDataPropertiesAxiom> asPairwiseAxioms()
OWLNaryAxiom
asPairwiseAxioms
in interface OWLNaryAxiom<OWLDataPropertyExpression>
Collection<OWLEquivalentDataPropertiesAxiom> splitToAnnotatedPairs()
OWLNaryAxiom
splitToAnnotatedPairs
in interface OWLNaryAxiom<OWLDataPropertyExpression>
Collection<OWLSubDataPropertyOfAxiom> asSubDataPropertyOfAxioms()
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.