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.
|
<T extends OWLAxiom> |
getAnnotatedAxiom(java.util.stream.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, 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()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDisjointClassesAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(java.util.stream.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<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 © 2017 The University of Manchester. All Rights Reserved.