ODM11 — Section: 10.2.2

In the fifth line of the OCL expression the specification says: ...self.oclIsTypeOf(RDFSLiteral)... I think it should be: self.oclIsKindOf(RDFSLiteral), otherwise there will be constraint errors if you for example create an instance of PlainLiteral. In the seventh line of the very same OCL expression the specification says: ...self.isTypeOf(RDFSLiteral)... I think it should be: self.oclIsTypeOf(RDFSLiteral) In the second and third line calls to the notEmpty method are made. However, "()" is missing. The same applies to OCL expressions on page 41 and 49!

1. In section 10.2.2, replace the following OCL (from resolution to 16495):
context Node inv DisjointPartition:
(self.resource->notEmpty() implies self.oclIsTypeOf(ReferenceNode)) and
(self.oclIsTypeOf(ReferenceNode) or self.oclIsTypeOf(BlankNode) or
self.oclIsTypeOf(RDFSLiteral)) and
not (self.oclIsTypeOf(ReferenceNode) and self.oclIsTypeOf(BlankNode)) and
not (self.oclIsTypeOf(BlankNode) and self.isTypeOf(RDFSLiteral)) and
not (self.oclIsTypeOf(ReferenceNode) and self.oclIsTypeOf(RDFSLiteral))

By:
context Node inv DisjointPartition:
(self.oclIsTypeOf(ReferenceNode) or self.oclIsTypeOf(BlankNode) or
self.oclIsKindOf(Literal)) and
not (self.oclIsTypeOf(ReferenceNode) and self.oclIsTypeOf(BlankNode)) and
not (self.oclIsTypeOf(BlankNode) and self.isKindOf(Literal)) and
not (self.oclIsTypeOf(ReferenceNode) and self.oclIsKindOf(Literal))