Conclusions and Future Work (cont'd)



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