public class OWLDisjointClassesAxiomImpl extends OWLNaryClassAxiomImpl implements OWLDisjointClassesAxiom
| Constructor and Description |
|---|
OWLDisjointClassesAxiomImpl(List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
Collection<OWLSubClassOfAxiom> |
asOWLSubClassOfAxioms() |
Collection<OWLDisjointClassesAxiom> |
asPairwiseAxioms() |
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
OWLDisjointClassesAxiom |
getAxiomWithoutAnnotations() |
Collection<OWLDisjointClassesAxiom> |
splitToAnnotatedPairs() |
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(List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions - disjoint classes (list must be sorted in the factory)annotations - annotationspublic OWLDisjointClassesAxiom getAxiomWithoutAnnotations()
getAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDisjointClassesAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
getAnnotatedAxiom in interface OWLAxiompublic Collection<OWLDisjointClassesAxiom> asPairwiseAxioms()
asPairwiseAxioms in interface OWLDisjointClassesAxiomasPairwiseAxioms in interface OWLNaryAxiom<OWLClassExpression>public Collection<OWLDisjointClassesAxiom> splitToAnnotatedPairs()
splitToAnnotatedPairs in interface OWLDisjointClassesAxiomsplitToAnnotatedPairs in interface OWLNaryAxiom<OWLClassExpression>public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
asOWLSubClassOfAxioms in interface OWLSubClassOfAxiomSetShortCutCopyright © 2021 The University of Manchester. All rights reserved.