Re: RDF Semantics: rdfs entailment lemma

><snip>
>>  >
>>>I have rewritten the text along these lines but without altering the
>>>actual table (except as noted below). I hope this is now sufficiently
>>>clear.
>>>
>>
>>The text now includes all literals in IR (= the domain of sur).
>>It seems that the well-formed XML literals themselves should not
>>be in; only their values are.
>>Note, for example, that sur is not defined for them.
>
>This is in fact harmless since these elements of IR are never denoted 
>in this model; but now corrected in any case.

The correction in the table is clear.
There is now some confusion with the sentence before the table
where the definition is also given.
The text would become clearer when something as I put here between
brackets [] would be inserted, just like you do in the table:
"First, the domain of sur is the set containing just the URI references,
literals [other than well-formed XML literals,] and blank nodes occurring
in D.  (This is the universe of the rdfs-Herbrand interpretation,
defined below.)"

As I tried to explain earlier, for me this takes away the cycle in the
text, and thereby greatly facilitates understanding.

[...]



I found a typo: 
Section 7.1, first sentence: chracterized

Herman

Received on Friday, 14 November 2003 07:45:27 UTC