|From:||Simon Spero <sesuncedu@xxxxxxxxx>|
|Date:||Thu, 8 May 2014 21:35:04 -0400|
[How did I end up defending OWL 2 DL when my real problem is with vocabularies be described as OWL that aren't even consistent]
the first issue is that the datatype I used as an example is defined using OWL, in the very same document. The lexical space of datatypes defined in OWL is empty; any literal that uses an OWL defined type as the datatype is ill-typed (the type is not unknown to the processor). Even if it weren't blocked by RDF-1.1, it is explicitly forbidden by the OWL 2 specification.
It seems that the tools in question do not do any validation of literal types, even for predefined types which are in conflict with the specified rdfs:range.
After defining a bunch of ontology metadata properties as data properties rather than annotation properties explicitly so that they can define axioms on them, they go on to use those properties with a literal incompatible with its range.
If one says one is doing OWL full, do OWL full; if OWL-DL, do OWL-DL; for RDFS, or RDF, do RDFS, or RDF.
But don't say that you're doing something, do something different and broken, then complain.
An example of doing things the right way is the Virtuoso sparql service description. Although Virtuoso supports most of SPARQL 1.1Query, because some parts aren't there, the service description only claims to support 1.0.
Because none of the entailment regimes match the supported entailments, none are claimed, even though role and class inheritance can be selected.
(also, much the entailment regime document doesn't make sense any more with RDF 1.1).
On Thu, May 8, 2014 at 7:59 AM, Kingsley Idehen <kidehen@xxxxxxxxxxxxxx> wrote:
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Are there any plans to develop an OWL version of QUDT?, Kingsley Idehen|
|Next by Date:||[ontolog-forum] The Passing of George Thomas, HealthData.gov Architect, Brand Niemann|
|Previous by Thread:||Re: [ontolog-forum] Are there any plans to develop an OWL version of QUDT?, Kingsley Idehen|
|Next by Thread:||Re: [ontolog-forum] Are there any plans to develop an OWL version of QUDT?, Kingsley Idehen|
|Indexes:||[Date] [Thread] [Top] [All Lists]|