Analysing Web Ontology in Alloy: A Military Case Study. - Jin Song Dong; Jun Sun 001; Hai H. Wang; Chew Hung Lee; Hian Beng Lee (SEKE, 2003)

Verifying DAML+OIL and Beyond in Z/EVES. - Jin Song Dong; Chew Hung Lee; Yuan-Fang Li; Hai H. Wang (ICSE, 2004)

A combined approach to checking web ontologies. - Jin Song Dong; Chew Hung Lee; Hian Beng Lee; Yuan-Fang Li; Hai H. Wang (WWW, 2004)