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

slide: Conclusions