| 2007 |
|---|
| 6 | EE | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
Measuring Inconsistencies in Ontologies.
ESWC 2007: 326-340 |
| 2006 |
|---|
| 5 | EE | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
Resolution Based Explanations for Reasoning in the Description Logic ALC.
CSWWS 2006: 189-204 |
| 4 | EE | Xi Deng,
Eric Li,
Jiulong Shan,
Wenguang Chen:
Parallel implementation and performance characterization of MUSCLE.
IPDPS 2006 |
| 2005 |
|---|
| 3 | EE | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
A Resolution Based Framework to Explain Reasoning in Description Logics.
Description Logics 2005 |
| 2 | | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
A Framework for Explaining Reasoning in Description Logics.
ExaCt 2005: 55-61 |
| 1 | | Eric Li,
Zhengqing Ouyang,
Xi Deng,
Yimin Zhang,
Wenguang Chen:
Parallel Implementation of SEMPHY - a Structural EM Algorithm for Phylogenetic Reconstruction.
PARCO 2005: 631-638 |
