- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Thu, 30 Nov 2000 23:44:56 -0000
- To: "Graham Klyne" <gk-lists@dial.pipex.com>
- Cc: <www-rdf-logic@w3.org>, <timbl@w3.org>
> > However, as they are being introduced as "new", my question is: > > "how do we define logical assertions using RDF/RDF Schemas"? > > Or, put in more detail, is there a way of creating a Schema or using > > current RDF attributes to competently describe new logical assertions? > > I think the short answer is: "we don't > [...] > Thus, to make logical assertions, something needs to be added to RDF. Yes, I see: TimBL seemed to be implying that logic is inherent to any RDF type system, in fact even more basic that most of the RDF Syntax model itself...of course this still begs the question:- What namespace do we use for logic assertions, i.e. how can we add it to the basic tenet of RDF? A question I am still perplexed by. If this logic is essential to moving RDF to the next stage, why wasn't it built in in the first place, or specified in a satellite draft? Kindest Regards, Sean B. Palmer http://www.mysterylights.com/sbp/ "Perhaps, but let's not get bogged down in semantics." - Homer J. Simpson, BABF07.
Received on Thursday, 30 November 2000 18:44:42 UTC