W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

Re: Why? Re: rdf as a base for other languages

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 5 Jun 2001 11:03:53 +0100
To: phayes@ai.uwf.edu
Cc: sandro@w3.org, jborden@mediaone.net, las@olin.edu, connolly@w3.org, www-rdf-logic@w3.org
Message-Id: <OF42B9C42F.A2A4972B-ON41256A62.003742E5@bayer-ag.com>

(forgot to complete my previous message)

> RDF seems to provide no way to do this. If this impression is
> mistaken, please someone disabuse me as soon as possible.

I agree with you
just one side remark
We happen to USE the RE set of statements about existentially
quantified nodes (called anonymous nodes in RDF) as not asserted
but that is maybe a rarity of a specific unifier implementation
>>>>>>
and it was also exploring an idea to build nested-and-not-asserted
sets of statements in the following way

                             ---------
         isRepresentativeOf |         |
      --------------------->| subject1|
     |                      |         |
     |                       ---------
   -----                     ---------
  |     |    predicate1     |         |
  |     |------------------>| object1 |
  |     |                   |         |
   -----                     ---------
     |
     |inSameSetAs
     |                               ---------
     |           isRepresentativeOf |         |
     |        --------------------->| subject2|
     |       |                      |         |
     |       |                       ---------
     |     -----                     ---------
     |    |     |    predicate2     |         |
      --->|     |------------------>| object2 |
          |     |                   |         |
           -----                     ---------
(I have to leave again)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 5 June 2001 05:04:27 GMT

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