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() |
<T extends OWLAxiom> |
getAnnotatedAxiom(java.util.stream.Stream<OWLAnnotation> anns) |
OWLDisjointClassesAxiom |
getAxiomWithoutAnnotations() |
Collection<OWLDisjointClassesAxiom> |
splitToAnnotatedPairs() |
classExpressions, contains, getClassExpressionsMinusannotations, 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, 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 OWLDisjointClassesAxiomImpl(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
classExpressions - disjoint classesannotations - annotationspublic OWLDisjointClassesAxiom getAxiomWithoutAnnotations()
getAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDisjointClassesAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(java.util.stream.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 © 2017 The University of Manchester. All Rights Reserved.