From: Mike Dean (mdean@bbn.com)
Date: 08/26/03
I extended [1] to use bNodes in the body as well as the head, producing [2]. As a simpler set of tests, I also created [3] [4] [5]. Peter and Ian, will all of these tests succeed in your rules proposal [6]? All succeed in cwm. Thanks! Mike [1] http://www.daml.org/2003/06/ruletests/translation-1.n3 [2] http://www.daml.org/2003/06/ruletests/translation-3.n3 [3] http://www.daml.org/2003/06/ruletests/bnodes-1.n3 [4] http://www.daml.org/2003/06/ruletests/bnodes-2.n3 [5] http://www.daml.org/2003/06/ruletests/bnodes-3.n3 [6] http://www.cs.man.ac.uk/~horrocks/DAML/Rules/ (Draft Version of 11 August 2003)
This archive was generated by hypermail 2.1.4 : 08/26/03 EST