Chew Hung Lee

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang
Verifying DAML+OIL and Beyond in Z/EVES. ICSE (2004)
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang
A combined approach to checking web ontologies. WWW (2004)
Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee
Analysing Web Ontology in Alloy: A Military Case Study. SEKE (2003)