Re: bNode rule tests

From: Deborah L. McGuinness (dlm@ksl.Stanford.EDU)
Date: 08/26/03

Next message: Mike Dean: "Joint Committee telecon today 26 August"

Previous message: Mike Dean: "bNode rule tests"
In reply to: Mike Dean: "bNode rule tests"
Next in thread: Ian Horrocks: "Re: bNode rule tests"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

thx for the work.  apologies - I can not attend today's joint committee 
telecon since i am on another all day telecon....

Mike Dean wrote:

>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 26 August"
Previous message: Mike Dean: "bNode rule tests"
In reply to: Mike Dean: "bNode rule tests"
Next in thread: Ian Horrocks: "Re: 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