Re: RDF Semantics for literals

Hello Pat,

On Sat, Feb 21, 2015 at 05:38:06PM -0600, Pat Hayes wrote:
> >>> rdfs:Resource rdfs:subClassOf rdf:langString
> >>> 
> >>> rdfs:Resource rdfs:subClassOf xsd:string
> >>> 
> >>> rdfs:Resource rdfs:subClassOf xsd:int
> > After some consideration, I'd say that at least the first two statements are
> > each unsatisfiable as IR must contain all strings and all <string,language tag>
> > pairs and strings and pairs are two different things. The third statement
> > would then be unsatisfiable if D contains xsd:int.
> 
> Yes, I think you are right, and in fact this has consquences for a complete RDFS reasoner which I had not previously noticed (and I suspect nobody had noticed :-)

I can find langstring-not-subclassof-string.ttl in 

 http://www.w3.org/2013/rdf-mt-tests/az-tests/

so at least "rdfs:Resource rdfs:subClassOf xsd:string" does not seem to be an
issue.

Regards,

Michael Brunnbauer

-- 
++  Michael Brunnbauer
++  netEstate GmbH
++  Geisenhausener Straße 11a
++  81379 München
++  Tel +49 89 32 19 77 80
++  Fax +49 89 32 19 77 89 
++  E-Mail brunni@netestate.de
++  http://www.netestate.de/
++
++  Sitz: München, HRB Nr.142452 (Handelsregister B München)
++  USt-IdNr. DE221033342
++  Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++  Prokurist: Dipl. Kfm. (Univ.) Markus Hendel