| 2008 |
|---|
| 22 | EE | Scott Uk-Jin Lee,
Jing Sun,
Gillian Dobbie,
Lindsay Groves,
Yuan-Fang Li:
Correctness Criteria for Normalization of Semistructured Data.
Australian Software Engineering Conference 2008: 248-257 |
| 21 | EE | Simon Ferndriger,
Abraham Bernstein,
Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li,
Jane Hunter:
Enhancing Semantic Web Services with Inheritance.
International Semantic Web Conference 2008: 162-177 |
| 2007 |
|---|
| 20 | EE | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Towards Verifying Semistructured Data.
APCCM 2007: 11-14 |
| 19 | EE | Yuzhang Feng,
Yuan-Fang Li,
Colin Keng-Yan Tan,
Bimlesh Wadhwa,
Hai H. Wang:
Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.
ICECCS 2007: 165-174 |
| 18 | EE | Hai H. Wang,
Yuan-Fang Li,
Jing Sun,
Hongyu Zhang,
Jeff Pan:
Verifying feature models using OWL.
J. Web Sem. 5(2): 117-129 (2007) |
| 2006 |
|---|
| 17 | EE | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Semantic Web Languages - Towards an Institutional Perspective.
Essays Dedicated to Joseph A. Goguen 2006: 99-123 |
| 16 | EE | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Research into Verifying Semistructured Data.
ICDCIT 2006: 361-374 |
| 15 | EE | Yuan-Fang Li,
Jing Sun,
Gillian Dobbie,
Jun Sun,
Hai H. Wang:
Validating Semistructured Data Using OWL.
WAIM 2006: 520-531 |
| 14 | EE | Scott Uk-Jin Lee,
Jing Sun,
Gillian Dobbie,
Yuan-Fang Li:
A Z Approach in Validating ORA-SS Data Models.
Electr. Notes Theor. Comput. Sci. 157(1): 95-109 (2006) |
| 13 | EE | Yuan-Fang Li,
Jing Sun,
Gillian Dobbie,
Hai H. Wang,
Jun Sun:
Reasoning About ORA-SS Data Models Using the Semantic Web.
J. Data Semantics VII: 219-241 (2006) |
| 2005 |
|---|
| 12 | EE | Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li,
Jun Sun:
A Tools Environment for Developing and Reasoning about Ontologies.
APSEC 2005: 465-472 |
| 11 | EE | Jing Sun,
Hongyu Zhang,
Yuan-Fang Li,
Hai H. Wang:
Formal Semantics and Verification for Feature Modeling.
ICECCS 2005: 303-312 |
| 10 | EE | Jun Sun,
Yuan-Fang Li,
Hai H. Wang,
Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies.
ICFEM 2005: 435-449 |
| 9 | | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Institution Morphisms for Relating OWL and Z.
SEKE 2005: 286-291 |
| 8 | | Hai H. Wang,
Jin Song Dong,
Jing Sun,
Yuan-Fang Li:
TCOZ Approach to OWL-S Process Model Design.
SEKE 2005: 354-359 |
| 7 | EE | Hai H. Wang,
Yuan-Fang Li,
Jing Sun,
Hongyu Zhang:
Verify Feature Models using protegeowl.
WWW (Special interest tracks and posters) 2005: 1038-1039 |
| 6 | EE | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Soundness proof of Z semantics of OWL using institutions.
WWW (Special interest tracks and posters) 2005: 1048-1049 |
| 2004 |
|---|
| 5 | 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 |
| 4 | EE | Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li:
Verifying OWL and ORL Ontologies in PVS.
ICTAC 2004: 265-279 |
| 3 | 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 |
| 2 | EE | Jin Song Dong,
Yuan-Fang Li,
Hai H. Wang:
TCOZ approach to semantic web services design.
WWW (Alternate Track Papers & Posters) 2004: 442-443 |
| 2002 |
|---|
| 1 | EE | Jin Song Dong,
Yuan-Fang Li,
Jing Sun,
Jun Sun,
Hai H. Wang:
XML-Based Static Type Checking and Dynamic Visualization for TCOZ.
ICFEM 2002: 311-322 |
