changes to RDF Semantics

I updated semantics as described in the message I sent out previously and to
include generalized RDF graphs (anticipating the change to Concepts)

The changes amount to

1/ marking some sections as informative (mostly the sets of entailment rules
- remember that in 2004 there was an issue because RDF entailment rules were
incomplete)

2/ adding in words near the beginning that the semantics works unchanged
for generalized RDF

3/ modifying the wording about RDF datasets meaning their default graph

4/ adjusting wording about completeness of entailment rules

5/ removing ISSUE boxes

I also fixed up some inter-document links.



Enjoy,

peter

Received on Wednesday, 26 June 2013 17:13:39 UTC