Overview



Full proposal: http://www.cs.man.ac.uk/~horrocks/DAML/Rules/