search

w3c / sdw

Repository for the Spatial Data on the Web Working Group
https://www.w3.org/2020/sdw/
149 stars 81 forks source link

TIME: OWL syntax correction on cardinality #1440

Closed ajnelson-nist closed 4 months ago

ajnelson-nist commented 4 months ago

Hello,

I ran across a syntax issue on OWL-Time, present in the 2006 state (assuming that is what is served from the namespace IRI) and today's state in this repository. From other issues, particularly this comment on 1435, it appears what I'm linking below is a prerelease state, which might not be under consideration for revision currently.

This line shows a cardinality of 0, datatyped as xsd:integer.

https://github.com/w3c/sdw/blob/c3202f919a50ec550a66b34a3a90c81eddb3dc10/time/rdf/time.ttl#L589

OWL 2 DL requires cardinality be datatyped as xsd:nonNegativeInteger, as done here:

https://github.com/w3c/sdw/blob/c3202f919a50ec550a66b34a3a90c81eddb3dc10/time/rdf/time.ttl#L101

This syntax requirement can be verified by reviewing the OWL 2 mapping to RDF document, reviewing all 48 occurrences of the string "ardinality" [sic.].

It seems this only occurred on the owl:Restrictions attached to the (currently deprecated) class time:Year.

chris-little commented 4 months ago

@ajnelson-nist To me, it looks like a typo caused by copy&paste, but I ask @dr-shorthair for confirmation, and guidance on how to correct it.