public class OWLEquivalentClassesAxiomImpl extends OWLNaryClassAxiomImpl implements OWLEquivalentClassesAxiom
| Constructor and Description |
|---|
OWLEquivalentClassesAxiomImpl(List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
Collection<OWLSubClassOfAxiom> |
asOWLSubClassOfAxioms() |
Collection<OWLEquivalentClassesAxiom> |
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.
|
boolean |
containsNamedEquivalentClass()
Determines if this equivalent classes axiom contains at least one named class (excluding
owl:Thing or owl:Nothing).
|
boolean |
containsOWLNothing()
Determines if this class axiom makes a class expression equivalent to nothing.
|
boolean |
containsOWLThing()
Determines if this class axiom makes a class expression equivalent to thing.
|
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified annotations.
|
OWLEquivalentClassesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
Stream<OWLClass> |
namedClasses()
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in this equivalent
classes axiom.
|
Collection<OWLEquivalentClassesAxiom> |
splitToAnnotatedPairs()
Splits this axiom to pairs, including annotations.
|
classExpressions, contains, getClassExpressionsMinus, getOperandsAsListannotations, annotationsAsList, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, getAxiomType, getNamedClasses, hashIndexclassExpressions, components, componentsAnnotationsFirst, componentsWithoutAnnotations, contains, getClassExpressions, getClassExpressionsAsList, getClassExpressionsMinus, initHashCode, operandsisLogicalAxiomequalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexgetNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignatureisAnonymous, isNamedannotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotationsallMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, forEach, forEachAllPairs, walkAllPairwise, walkPairwisegetOperandsAsListaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLEquivalentClassesAxiomImpl(List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions - equivalent classes (list must be sorted in the factory)annotations - annotationspublic OWLEquivalentClassesAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLEquivalentClassesAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
OWLAxiomgetAnnotatedAxiom in interface OWLAxiomT - typeanns - The annotations that will be added to existing annotations to annotate the
copy of this axiomOWLAxiom#getAnnotations() method.public Collection<OWLEquivalentClassesAxiom> asPairwiseAxioms()
OWLNaryAxiomasPairwiseAxioms in interface OWLEquivalentClassesAxiomasPairwiseAxioms in interface OWLNaryAxiom<OWLClassExpression>public Collection<OWLEquivalentClassesAxiom> splitToAnnotatedPairs()
OWLNaryAxiomsplitToAnnotatedPairs in interface OWLEquivalentClassesAxiomsplitToAnnotatedPairs in interface OWLNaryAxiom<OWLClassExpression>public boolean containsNamedEquivalentClass()
OWLEquivalentClassesAxiomcontainsNamedEquivalentClass in interface OWLEquivalentClassesAxiomtrue if the axiom contains at least one named class otherwise false.
Note that this method will return false if the only named classes are
owl:Thing or owl:Nothing.public boolean containsOWLNothing()
OWLEquivalentClassesAxiomcontainsOWLNothing in interface OWLEquivalentClassesAxiomtrue if this axiom contains owl:Nothing as an equivalent class.public boolean containsOWLThing()
OWLEquivalentClassesAxiomcontainsOWLThing in interface OWLEquivalentClassesAxiomtrue if this axioms contains owl:Thing as an equivalent class.public Stream<OWLClass> namedClasses()
OWLEquivalentClassesAxiomnamedClasses in interface OWLEquivalentClassesAxiompublic Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
asOWLSubClassOfAxioms in interface OWLSubClassOfAxiomSetShortCutCopyright © 2020 The University of Manchester. All rights reserved.