OWL Rules proposal

From: Ian Horrocks ([email protected])
Date: 09/30/03

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

Previous message: Ian Horrocks: "OWL Rules proposal"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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: [email protected]
URL: http://www.cs.man.ac.uk/~horrocks

Next message: Mike Dean: "Joint Committee telecon today 30 September"
Previous message: Ian Horrocks: "OWL Rules proposal"
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 : 09/30/03 EST