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

Re: language entailment

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 18 May 2011 08:31:58 -0500
Cc: RDF Working Group WG <public-rdf-wg@w3.org>
Message-Id: <BC7F5E7D-46E0-4AF9-95BA-0445E025AA50@ihmc.us>
To: nathan@webr3.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 GMT

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