W3C home > Mailing lists > Public > public-rdf-wg@w3.org > March 2011

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

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

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