Conclusions
- knowledge management with logic is feasible
- has applications in document engineering and ...
- embedding is relatively efficient
- can be done in multiple ways
- corba enabled logic services are possible
- true logic is hard to debug
Future developments
- dynamic: signed applets