 | 2008 |
|---|
| 6 |       | 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 |
|---|
| 5 | | 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 |
| 4 | | Jin Song Dong,
Yuzhang Feng,
Ho-fung Leung:
A Verification Framework for Agent Knowledge.
ICFEM 2007: 57-75 |
| 2006 |
|---|
| 3 | | Jin Song Dong,
Yuzhang Feng,
Jing Sun,
Jun Sun:
Context Awareness Systems Design and Reasoning.
ISoLA 2006: 335-340 |
| 2005 |
|---|
| 2 | | Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li,
Jun Sun:
A Tools Environment for Developing and Reasoning about Ontologies.
APSEC 2005: 465-472 |
| 2004 |
|---|
| 1 | | Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li:
Verifying OWL and ORL Ontologies in PVS.
ICTAC 2004: 265-279 |
