W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Re: Logic and Using The Semantic Web Toolbox

From: Sean B. Palmer <sean@mysterylights.com>
Date: Thu, 30 Nov 2000 23:44:56 -0000
Message-ID: <003901c05b27$8be27460$6651073e@z5n9x1>
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
"Perhaps, but let's not get bogged down in semantics."
   - Homer J. Simpson, BABF07.
Received on Thursday, 30 November 2000 18:44:42 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:33 UTC