bNode rule tests

From: Mike Dean (mdean@bbn.com)
Date: 08/26/03

  • Next message: Deborah L. McGuinness: "Re: bNode rule tests"
    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