- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 1 Aug 2001 17:57:49 +0100
- To: connolly@w3.org
- Cc: geoff@sover.net, www-rdf-calendar@w3.org
Hi Dan,
[...]
> But I have run into an issue that looks more substantial: Euler.java
> doesn't seem to grok variables in the property part of a triple,
> which seems critical for dealing with rdfs:subPropertyOf.
>
> I reduced it to a small test case:
>
> ------
> http://www.w3.org/2000/10/swap/test/subprop.n3
> # testing rdfs rules...
>
> @prefix : <subprop#>.
>
> @prefix u: <http://www.w3.org/2000/01/rdf-schema#> .
>
> :husband u:subPropertyOf :spouse.
>
> :Mary :husband :Dan.
> ------
>
>
> ------
> http://www.w3.org/2001/05ve/rdfs.n3
>
> # generalization...
> { :s [ u:subPropertyOf :p ] :o } log:implies { :s :p :o }.
>
> ------
>
> ---------
> http://www.w3.org/2000/10/swap/test/subprop-query.n3
>
> @prefix log: <http://www.w3.org/2000/10/swap/log#> .
> @prefix : <subprop#>.
> @prefix v: <subprop?>.
>
> { v:x :spouse v:y } log:forSome v:x, v:y.
> ---------
What a lucky coincidence!
Not only that my wife also calls Mary (Maaike), but also
that we since version 27.029 of last week:
introduce predicate field as an Euler object
I promise you that this test case will work (asap)
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
PS
we actually have a couple of other open issues as well
- is .. of swapping of sub/object
- duplicate rule elimination
- [] empty description parsing
- fix anonymous node toString()
- ont:UnambiguousProperty implementation
Received on Wednesday, 1 August 2001 11:58:00 UTC