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 bru...@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
pgpK2Ece0VH6U.pgp
Description: PGP signature