W3C home > Mailing lists > Public > public-rdf-wg@w3.org > June 2012

Re: The entailment rules

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Wed, 06 Jun 2012 15:20:32 -0400
Message-ID: <4FCFAD80.7040807@gmail.com>
To: Pat Hayes <phayes@ihmc.us>
CC: Richard Cyganiak <richard@cyganiak.de>, public-rdf-wg WG <public-rdf-wg@w3.org>
On 05/21/2012 01:33 PM, Pat Hayes wrote:
> On May 21, 2012, at 7:49 AM, Richard Cyganiak wrote:
>> Hi Pat,
>> Reviving this thread from last week…
>> On 14 May 2012, at 06:11, Pat Hayes wrote:
>>> Then let us have a wholly new document which just describes the rules, or perhaps in an appendix to the Primer. I would like to separate the rules from the semantics: they really are separate topics.
>> The rules are important because they make the the Semantics stuff accessible to readers without a background in model theory.
> But that is exactly what I am afraid they do not do. They might make readers FEEL that they understand the semantics, but that seems to be a (dangerous) illusion.

And there are at least two papers in ISWC conferences that use the incomplete 
rules as if they were complete, even though their incompleteness was known 
well before papers appeared.

Received on Wednesday, 6 June 2012 19:21:03 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:04:18 UTC