W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

rules se1/2

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 2 Jun 2003 17:48:58 -0500
Message-Id: <p0521062abb017b593dd8@[]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-comments@w3.org

Ive rewritten the statement of the existential instantiation rules as follows:


aaa ppp bbb .   |-    aaa ppp _:nnn .

where _:nnn is a blank node associated with bbb.


aaa ppp bbb .  |- _:nnn ppp bbb .

where _:nnn is a blank node associated with aaa.

The terminology 'associated with' means that the blank node must be 
either be a 'new' node which does not occur in the graph, or else it 
must be a blank node created by an earlier application of either of 
these rules on the same URiref, blank node or literal aaa or bbb. 
This rather complicated condition ensures that the resulting graph 
obtained by adding the new blank-node triples has the original graph 
as an instance and that all such graphs can be generated by these 
rules; the association between introduced blank nodes and the URIref, 
blank node or literal that they replace provides the instance 
mapping. For example, the graph

<ex:a> <ex:p> <ex:b> .
<ex:c> <ex:q> <ex:a> .

could be expanded as follows

_:x <ex:p> <ex:b> . by se1 using a new _:x associated with ex:a
<ex:c> <ex:q> _:x . by se2 using the same _:x associated with ex:a
_:x <ex:p> _:y . by se2 using a new _:y associated with ex:b


I think this covers the point you raised. Thanks for noticing the bug.


IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Monday, 2 June 2003 18:49:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:02 UTC