W3C home > Mailing lists > Public > www-rdf-rules@w3.org > September 2001

RE: What is an RDF Query?

From: Wagner, G.R. <G.R.Wagner@tm.tue.nl>
Date: Tue, 18 Sep 2001 22:21:46 -0400
Message-Id: <200109190221.WAA27144@tux.w3.org>
To: www-rdf-rules@w3.org
[freed from spam trap -rrs]

Date: Sun, 16 Sep 2001 17:28:51 -0400 (EDT)
Message-ID: <511BB18E82E9D11188230008C724064602D9DDAC@tmex1.tm.tue.nl>
From: "Wagner, G.R." <G.R.Wagner@tm.tue.nl>
To: "'Peter F. Patel-Schneider '" <pfps@research.bell-labs.com>,
        "'eric@w3.org '" <eric@w3.org>
Cc: "'www-rdf-rules@w3.org '" <www-rdf-rules@w3.org>

>> Thanks for the clarification. I propose that we use a term for the
>> antecedent that is NOT "assertion". Furthur, I propose that this term
>> either be "query" or that the definition express the commonality with
>> queries.

> I propose that we do not do this.  I oppose calling the antecedant of a
> rule anything other than the antecedant of a rule!  

It's not a matter of how you call it, but what form it may
have, or, in other words, from which language it comes.
Obviously, any practical KR system, such as Prolog, relational 
databases, or RDF, has an assertion (or input) language defining
the admissible (logical) expressions that may be asserted/inserted
into a KB, and it has a query language defining the admissible
expressions for querying/retrieving knowledge.

Both with respect to bottom-up and to top-down evaluation it is 
natural then to define a derivation rule for a specific KR system 
in such a way that its antecedant is a query expression and its 
consequent is an input expression.

Gerd Wagner
Eindhoven Univ. of Technology
Received on Tuesday, 18 September 2001 22:21:52 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:46:14 UTC