public class OWLDisjointDataPropertiesAxiomImpl extends OWLNaryPropertyAxiomImpl<OWLDataPropertyExpression> implements OWLDisjointDataPropertiesAxiom
| Constructor and Description |
|---|
OWLDisjointDataPropertiesAxiomImpl(Collection<? extends OWLDataPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
Collection<OWLDisjointDataPropertiesAxiom> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified
annotations.
|
OWLDisjointDataPropertiesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
Collection<OWLDisjointDataPropertiesAxiom> |
splitToAnnotatedPairs()
Splits this axiom to pairs, including annotations.
|
getPropertiesMinus, propertiesannotations, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, getAxiomType, hashIndexcomponents, componentsAnnotationsFirst, componentsWithoutAnnotations, getProperties, getPropertiesMinus, operands, propertiesisLogicalAxiomequalsIgnoreAnnotations, 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 OWLDisjointDataPropertiesAxiomImpl(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
properties - disjoint propertiesannotations - annotationspublic OWLDisjointDataPropertiesAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDisjointDataPropertiesAxiompublic <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<OWLDisjointDataPropertiesAxiom> asPairwiseAxioms()
OWLNaryAxiomasPairwiseAxioms in interface OWLDisjointDataPropertiesAxiomasPairwiseAxioms in interface OWLNaryAxiom<OWLDataPropertyExpression>public Collection<OWLDisjointDataPropertiesAxiom> splitToAnnotatedPairs()
OWLNaryAxiomsplitToAnnotatedPairs in interface OWLDisjointDataPropertiesAxiomsplitToAnnotatedPairs in interface OWLNaryAxiom<OWLDataPropertyExpression>Copyright © 2017 The University of Manchester. All rights reserved.