public class OWLEquivalentClassesAxiomImpl extends OWLNaryClassAxiomImpl implements OWLEquivalentClassesAxiom
| Constructor and Description |
|---|
OWLEquivalentClassesAxiomImpl(Collection<? extends 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.
|
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, getClassExpressionsMinusannotations, 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, operandsisLogicalAxiomequalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAnonymous, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexgetNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignatureannotations, annotations, annotations, getAnnotations, getAnnotationsallMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, forEach, forEachAllPairs, walkAllPairwise, walkPairwiseaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLEquivalentClassesAxiomImpl(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions - equivalent classesannotations - annotationspublic OWLEquivalentClassesAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLEquivalentClassesAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
OWLAxiomgetAnnotatedAxiom in interface OWLAxiomanns - 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 © 2017 The University of Manchester. All rights reserved.