Re: The entailment rules

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.

peter

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