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

Re: Expressiveness of RDF as Rule Conclusion Language (was Re: W hat is an RDF Query? )

From: Seth Russell <seth@robustai.net>
Date: Thu, 11 Oct 2001 09:23:22 -0700
Message-ID: <004501c15271$0ca4e600$657ba8c0@c1457248a.sttls1.wa.home.com>
To: "RDFRules" <www-rdf-rules@w3.org>
 Drew McDermott said:

    Okay, if you change Sandro's "document scope"
    to "graph scope," you're right.  But then a rule like

     (R1 ?x ?y) |-   (R2 ?y ?x)

    becomes unstatable, because the ?x and ?y in
    the graph on the left are different variables from the
    ?x and ?y in the graph on the right.

    Unless I'm missing something.

Well, If I understand RDF graphs, I think you are.  Don't forget every term
(variable or not) has to be a URI in a RDF graph.   But if we scope formulas
to a context (a collection of statements) the ?x ?y in the left hand of the
formula become *the same* as the ?x ?y on the right .... that's the way RDF
works .... doesn't it ?

Please see the RDF mentograph:

http://robustai.net/mentography/entailsIdentity.gif

and my view of identity:
http://robustai.net/ai/identity.htm

Seth Russell
Received on Thursday, 11 October 2001 12:23:42 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:09 GMT