ISSUE-9: Inference rules are incomplete in the RDF Semantics
Complete Semantics
Inference rules are incomplete in the RDF Semantics
- State:
- CLOSED
- Product:
- RDF Semantics
- Raised by:
- Ivan Herman
- Opened on:
- 2011-03-05
- Description:
- 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 - Related Actions Items:
- No related actions
- Related emails:
- Re: Comments on bNode issue within RDB2RDF mapping language (from ivan@w3.org on 2011-03-10)
- RDF-ISSUE-9 (Complete Semantics): Inference rules are incomplete in the RDF Semantics [Cleanup tasks] (from sysbot+tracker@w3.org on 2011-03-05)
Related notes:
RESOLVED: Semantics editors accept an action to add the missing inference rule as pointed out in ISSUE-9; this closes ISSUE-9
David Wood, 29 Oct 2012, 15:01:37Display change log
