OWL Rules proposal

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

  • Next message: Mike Dean: "Joint Committee telecon today 30 September"
    Proposal [1] now includes extended example due to Mike [2].
    
    Ian
    
    [1] http://www.cs.man.ac.uk/~horrocks/DAML/Rules/
    
    [2] http://www.daml.org/2003/06/ruletests/translation-1.n3
    
    
    -- 
    Ian Horrocks, Department of Computer Science,
    University of Manchester, Oxford Road, Manchester, M13 9PL, UK.
    Tel: +44 161 275 6133/6248  Fax: +44 161 275 6211
    Email: horrocks@cs.man.ac.uk
    URL: http://www.cs.man.ac.uk/~horrocks
    


    This archive was generated by hypermail 2.1.4 : 09/30/03 EST