RDF-ISSUE-9 (Complete Semantics): Inference rules are incomplete in the RDF Semantics [Cleanup tasks] from RDF Working Group Issue Tracker on 2011-03-05 (public-rdf-wg@w3.org from March 2011)

From: RDF Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Sat, 05 Mar 2011 11:21:04 +0000
To: public-rdf-wg@w3.org
Message-Id: <E1PvpXk-0003Z1-T2@lowblow.w3.org>

RDF-ISSUE-9 (Complete Semantics): Inference rules are incomplete in the RDF Semantics [Cleanup tasks]

http://www.w3.org/2011/rdf-wg/track/issues/9

Raised by: Ivan Herman
On product: Cleanup tasks

The current inference rules are incomplete in the RDF Semantics and the entailment lemma should be updated; (see Herman ter Horst's paper[1])

[1] http://lists.w3.org/Archives/Public/www-rdf-comments/2005OctDec/0003.html

Received on Saturday, 5 March 2011 11:21:09 UTC