- From: Pat Hayes <phayes@ihmc.us>
- Date: Wed, 18 May 2011 08:31:58 -0500
- To: nathan@webr3.org
- Cc: RDF Working Group WG <public-rdf-wg@w3.org>
On May 18, 2011, at 5:11 AM, Nathan wrote: > Steve Harris wrote: >> On 2011-05-18, at 10:07, Pierre-Antoine Champin wrote: >>> :a :b "chat"@en-GB . >>> >>> entail >>> >>> :a :b "chat"@en . >>> >>> in any entailment regime defined by the RDF semantics ?? No, there is no entailment regime which supports this (or any other similar entailment). >> No idea. > > Can anybody confirm, if not is it worth us defining this, seems like a useful entailment. Entailment means that the conclusion is true whenever the assumption is. What would justify the preservation of truth when a language tag is changed? I actually do not know what the intended semantics of language tags is supposed to be: in the formal semantics they are just opaque labels with no particular meaning. Pat > > ------------------------------------------------------------ IHMC (850)434 8903 or (650)494 3973 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 mobile phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
Received on Wednesday, 18 May 2011 13:32:31 UTC