Re: bNode rule tests

From: Ian Horrocks ([email protected])
Date: 08/26/03

  • Next message: Mike Dean: "Joint Committee telecon today 2 September"
    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