- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 8 Mar 2002 03:13:16 +0100
- To: "Dan Connolly <connolly" <connolly@w3.org>
- Cc: "www-webont-wg" <www-webont-wg@w3.org>
[from the telecon] > 18:22:35 <DanC> hmm... Jos? I'm actually not sure how to get cwm to do > these one-file tests. I'll have to think about it. sorry I missed that one I wouldn't know either... I have to think as well as I don't see a straightforward way and I look forward to Ian's answer [...] > In our telcon today, I took an action > to provide a handful of tests, and > other folks took actions to try the > tests with their implementations (FaCT, > Euler, a prolog thingy, TRIPLE, Jena? ...) > and report back. at first we had @prefix log: <http://www.w3.org/2000/10/swap/log#> . ( <http://www.w3.org/2002/03owlt/sameGuyP.n3> <http://www.w3.org/2001/10/daml+oil#> ) log:entails <http://www.w3.org/2002/03owlt/sameGuyC.n3> . running, but it also ran without the contact:mailbox a ont:UnambiguousProperty. which is of course a very serious bug http://www.agfa.com/w3c/euler/#R29064 now uses an [] internal labeling in case we don't have an owl:UnanbiguousProperty within the [] so your test case is OK with Euler -- Jos
Received on Thursday, 7 March 2002 21:13:55 UTC