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

* [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