| |
| 2004 | ||
|---|---|---|
| 3 | EE | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang: Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210 |
| 2 | EE | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang: A combined approach to checking web ontologies. WWW 2004: 714-722 |
| 2003 | ||
| 1 | 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: 542-546 | |
| 1 | Jin Song Dong | [1] [2] [3] |
| 2 | Hian Beng Lee | [1] [2] |
| 3 | Yuan-Fang Li | [2] [3] |
| 4 | Jun Sun | [1] |
| 5 | Hai H. Wang | [1] [2] [3] |