Re: bNode rule tests

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 08/26/03

Next message: Mike Dean: "Joint Committee telecon today 2 September"

Previous message: Harold Boley: "Web Services Choreography Requirements 1.0"
In reply to: Mike Dean: "bNode rule tests"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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)

Next message: Mike Dean: "Joint Committee telecon today 2 September"
Previous message: Harold Boley: "Web Services Choreography Requirements 1.0"
In reply to: Mike Dean: "bNode rule tests"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 08/26/03 EST