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() |
<T extends OWLAxiom> |
getAnnotatedAxiom(java.util.stream.Stream<OWLAnnotation> anns) |
OWLDisjointDataPropertiesAxiom |
getAxiomWithoutAnnotations() |
Collection<OWLDisjointDataPropertiesAxiom> |
splitToAnnotatedPairs() |
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()
getAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDisjointDataPropertiesAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(java.util.stream.Stream<OWLAnnotation> anns)
getAnnotatedAxiom in interface OWLAxiompublic Collection<OWLDisjointDataPropertiesAxiom> asPairwiseAxioms()
asPairwiseAxioms in interface OWLDisjointDataPropertiesAxiomasPairwiseAxioms in interface OWLNaryAxiom<OWLDataPropertyExpression>public Collection<OWLDisjointDataPropertiesAxiom> splitToAnnotatedPairs()
splitToAnnotatedPairs in interface OWLDisjointDataPropertiesAxiomsplitToAnnotatedPairs in interface OWLNaryAxiom<OWLDataPropertyExpression>Copyright © 2017 The University of Manchester. All Rights Reserved.