- 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
(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 UTC