- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Tue, 5 Mar 2002 16:52:09 -0000
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, <jonathan@openhealth.org>
- Cc: <jos.deroo.jd@belgium.agfa.com>, <www-webont-wg@w3.org>
> > One of the major benefitts of N3 over > > RDF (including N-Triples) is the simple ability to write down a set of > > statements _without asserting them_. What are the use cases for this ability? What I have seen so far is the desire to state logical entailments. This is quite addressable outside RDF rather than inside the graph. The N3 version could be modelled in RDF as a load of triples, with N3 contexts roughly corresponding to bags of reified triples in RDF. However, I don't think the meaning would be clear, and sorting out a syntax for logical entailment is not our job. [Except in as much as we might need one for discussions within the group, and for stating test cases]. Jeremy
Received on Tuesday, 5 March 2002 11:52:40 UTC