 | 2009 |
|---|
| 9 |       | Jeff Z. Pan,
Edward Thomas,
Yuting Zhao:
Completeness Guaranteed Approximations for OWL-DL Query Answering.
Description Logics 2009 |
| 8 | | Yuan Ren,
Jeff Z. Pan,
Yuting Zhao:
Soundness Preserving Approximation for TBox Reasoning in R.
Description Logics 2009 |
| 7 | | Yuan Ren,
Gerd Gröner,
Jens Lemcke,
Tirdad Rahmani,
Andreas Friesen,
Yuting Zhao,
Jeff Z. Pan,
Steffen Staab:
Validating Process Refinement with Ontologies.
Description Logics 2009 |
| 2007 |
|---|
| 6 | | Yuting Zhao,
Kewen Wang,
Rodney W. Topor,
Jeff Z. Pan,
Fausto Giunchiglia:
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.
ISWC/ASWC 2007: 666-679 |
| 2006 |
|---|
| 5 | | Yuting Zhao,
Luciano Serafini,
Fausto Giunchiglia:
Autonomous Ontology: Operations and Semantics.
ASWC 2006: 646-652 |
| 4 | | Jeff Z. Pan,
Luciano Serafini,
Yuting Zhao:
Semantic Import: An Approach for Partial Ontology Reuse.
WoMO 2006 |
| 2004 |
|---|
| 3 | | Fangzhen Lin,
Yuting Zhao:
ASSAT: computing answer sets of a logic program by SAT solvers.
Artif. Intell. 157(1-2): 115-137 (2004) |
| 2003 |
|---|
| 2 | | Yuting Zhao,
Fangzhen Lin:
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.
ICLP 2003: 239-253 |
| 2002 |
|---|
| 1 |  | Fangzhen Lin,
Yuting Zhao:
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.
AAAI/IAAI 2002: 112- |
