From: Ian Horrocks ([email protected])
Date: 08/26/03
Mike, Belated regrets for the teleconf - missed it due to travel. I will take a look at the examples and let you know. Ian On August 26, Mike Dean writes: > 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