Login / Signup

Verifying DAML+OIL and Beyond in Z/EVES.

Jin Song DongChew Hung LeeYuan-Fang LiHai H. Wang
Published in: ICSE (2004)
Keyphrases
  • daml oil
  • description logics
  • design patterns
  • data sets
  • knowledge management
  • business processes