public class OWLDisjointClassesAxiomImpl extends OWLNaryClassAxiomImpl implements OWLDisjointClassesAxiom
| Constructor and Description |
|---|
OWLDisjointClassesAxiomImpl(Collection<? extends OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
Collection<OWLSubClassOfAxiom> |
asOWLSubClassOfAxioms() |
Collection<OWLDisjointClassesAxiom> |
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.
|
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified annotations.
|
OWLDisjointClassesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
Collection<OWLDisjointClassesAxiom> |
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, 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 OWLDisjointClassesAxiomImpl(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions - disjoint classesannotations - annotationspublic OWLDisjointClassesAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDisjointClassesAxiompublic <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<OWLDisjointClassesAxiom> asPairwiseAxioms()
OWLNaryAxiomasPairwiseAxioms in interface OWLDisjointClassesAxiomasPairwiseAxioms in interface OWLNaryAxiom<OWLClassExpression>public Collection<OWLDisjointClassesAxiom> splitToAnnotatedPairs()
OWLNaryAxiomsplitToAnnotatedPairs in interface OWLDisjointClassesAxiomsplitToAnnotatedPairs in interface OWLNaryAxiom<OWLClassExpression>public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
asOWLSubClassOfAxioms in interface OWLSubClassOfAxiomSetShortCutCopyright © 2019 The University of Manchester. All rights reserved.