- From: William Waites <ww@styx.org>
- Date: Thu, 7 Apr 2011 18:11:20 +0200
- To: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
- Cc: public-rdf-wg@w3.org
* [2011-04-07 17:57:22 +0200] Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr> écrit: ] Peter gave an example in one of today's emails: ] ] <ex:a> <ex:p> "<notLegalXML"^^rdf:XMLLiteral . ] <ex:p> rdfs:range rdf:XMLLiteral . ] ] cannot be true in any rdfs-interpretation; it is rdfs-inconsistent. rdf:XMLLiteral being a bit of a special case... ] other examples can be made if you consider XSD entailment, e.g.: ] ] :p rdfs:range xsd:int . ] :x :p "abc" . Ok, but see other mail about catching modelling errors that do not tend to involve literals. However this is another class of errors that would be useful to catch. The first cannot be caught whilst treating the terms as opaque, and the second requires type rules outside of RDF/RDFS and AFAIK are not really dealt with by the reasoners that we have. -w -- William Waites <mailto:ww@styx.org> http://river.styx.org/ww/ <sip:ww@styx.org> F4B3 39BF E775 CF42 0BAB 3DF0 BE40 A6DF B06F FD45
Received on Thursday, 7 April 2011 16:11:43 UTC