Login / Signup
Verifying DAML+OIL and Beyond in Z/EVES.
Jin Song Dong
Chew Hung Lee
Yuan-Fang Li
Hai H. Wang
Published in:
ICSE (2004)
Keyphrases
</>
daml oil
description logics
design patterns
data sets
knowledge management
business processes