 | 2011 |
|---|
| 10 |       | Le Duy Ngan,
Yuzhang Feng,
Seungmin Rho,
Rajaraman Kanagasabai:
Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based Mediation.
APSCC 2011: 471-476 |
| 9 | | Yuzhang Feng,
Anitha Veeramani,
Rajaraman Kanagasabai,
Seungmin Rho:
Automatic Service Composition via Model Checking.
APSCC 2011: 477-482 |
| 8 | | Yuzhang Feng,
Markus Kirchberg:
Verifying OWL-S Service Process Models.
ICWS 2011: 307-314 |
| 2010 |
|---|
| 7 | | Yuzhang Feng,
Yang Liu,
Yuan-Fang Li,
Daqing Zhang:
Discovering Anomalies in Semantic Web Rules.
SSIRI 2010: 33-42 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page