W3C home > Mailing lists > Public > public-rdf-wg@w3.org > April 2011

Re: RDF Recommendation Set comments (re agenda for 6th April)

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
Message-ID: <20110407161120.GI21404@styx.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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:41 GMT