Conclusions and Future Work (cont'd)
Remains to be seen if effective (in practice) implementations are possible
Future
language extensions
could include
Built-in functions for counting and aggregation
???
Full proposal:
http://www.cs.man.ac.uk/~horrocks/DAML/Rules/
Peter F. Patel-Schneider
&
Ian Horrocks
24 of 24