search

eclipse-esmf / esmf-semantic-aspect-meta-model

Formal and textual specification of the Semantic Aspect Meta Model (SAMM)
https://eclipse-esmf.github.io/samm-specification/snapshot/index.html
Mozilla Public License 2.0
47 stars 9 forks source link

[BUG] Wrong xsd:boolean and rdf:langString literals are not parsed/validated correctly #268

Closed atextor closed 9 months ago

atextor commented 10 months ago

How: List of performed steps

Validate an Aspect Model that contains one of the following assertions:

The following assertion does not set a language tag for the rdf:langString value since it does not use the '@​en' notation:

:myProperty samm:exampleValue "xyz"^^rdf:langString .

The following assertion uses a wrong lexical value for xsd:boolean, only lower-case "true" is allowed:

:myProperty samm:exampleValue "True"^^xsd:boolean .

What: Actual result vs expected result Expected: Corresponding validation errors Actual: Model is valid