2009 |
39 | EE | Jianjiang Lu,
Yanhui Li,
Bo Zhou,
Dazhou Kang:
Reasoning within extended fuzzy description logic.
Knowl.-Based Syst. 22(1): 28-37 (2009) |
2008 |
38 | | Weijun Wang,
Yanhui Li,
Zhao Duan,
Li Yan,
Hongxiu Li,
Xiaoxi Yang:
Integration and Innovation Orient to E-Society, Volume 1, Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China
Springer 2008 |
37 | | Weijun Wang,
Yanhui Li,
Zhao Duan,
Li Yan,
Hongxiu Li,
Xiaoxi Yang:
Integration and Innovation Orient to E-Society, Volume 2, Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China
Springer 2008 |
36 | EE | Yingchao Li,
Yongtian Wang,
Jian Yang,
Yanhui Li:
Novel Algorithm for Distortion Correction of Image Intensifier in X-ray Angiography System.
BMEI (2) 2008: 203-207 |
35 | EE | Jianjiang Lu,
Dazhou Kang,
Yafei Zhang,
Yanhui Li,
Bo Zhou:
A Family of Fuzzy Description Logics with Comparison Expressions.
RSKT 2008: 395-402 |
34 | EE | Bo Zhou,
Jianjiang Lu,
Yanhui Li,
Yafei Zhang,
Dazhou Kang:
Reasoning Problems on Distributed Fuzzy Ontologies.
RSKT 2008: 588-595 |
33 | EE | Min Zhang,
Chen Yao,
Zheng Guo,
Jinfeng Zou,
Lin Zhang,
Hui Xiao,
Dong Wang,
Da Yang,
Xue Gong,
Jing Zhu,
Yanhui Li,
Xia Li:
Apparently low reproducibility of true differential expression discoveries in microarray studies.
Bioinformatics 24(18): 2057-2063 (2008) |
32 | EE | Da Yang,
Yanhui Li,
Hui Xiao,
Qing Liu,
Min Zhang,
Jing Zhu,
Wencai Ma,
Chen Yao,
Jing Wang,
Dong Wang,
Zheng Guo,
Baofeng Yang:
Gaining confidence in biological interpretation of the microarray data: the functional consistence of the significant GO categories.
Bioinformatics 24(2): 265-271 (2008) |
31 | EE | Jianjiang Lu,
Dazhou Kang,
Yafei Zhang,
Yanhui Li:
Approximate information retrieval based on multielement bounds.
Knowl.-Based Syst. 21(2): 123-139 (2008) |
2007 |
30 | EE | Dazhou Kang,
Baowen Xu,
Yanhui Li:
Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes.
ICSC 2007: 137-146 |
29 | EE | Jianjiang Lu,
Yanhui Li,
Bo Zhou,
Dazhou Kang,
Yafei Zhang:
Distributed Reasoning with Fuzzy Description Logics.
International Conference on Computational Science (1) 2007: 196-203 |
28 | EE | Jianjiang Lu,
Jinpeng Wang,
Yafei Zhang,
Bo Zhou,
Yanhui Li,
Zhuang Miao:
An Inference Control Algorithm for RDF(S) Repository.
PAISI 2007: 262-268 |
27 | EE | Zheng Guo,
Yongjin Li,
Xue Gong,
Chen Yao,
Wencai Ma,
Dong Wang,
Yanhui Li,
Jing Zhu,
Min Zhang,
Da Yang,
Jing Wang:
Edge-based scoring and searching method for identifying condition-responsive protein-protein interaction sub-network.
Bioinformatics 23(16): 2121-2128 (2007) |
2006 |
26 | EE | Yanhui Li,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang:
Discrete Tableau Algorithms for FSHI.
Description Logics 2006 |
25 | EE | Dazhou Kang,
Baowen Xu,
Jianjiang Lu,
Yanhui Li:
Reasoning for Fuzzy Description Logic with Comparison Expressions.
Description Logics 2006 |
24 | EE | Yanhui Li,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang:
Reasoning Technique for Extended Fuzzy ALCQ.
ICCSA (2) 2006: 1179-1188 |
23 | EE | Baowen Xu,
Yanhui Li,
Jianjiang Lu,
Dazhou Kang:
Secure OWL Query.
International Conference on Computational Science (4) 2006: 95-103 |
22 | EE | Dazhou Kang,
Baowen Xu,
Jianjiang Lu,
Yanhui Li:
A Fuzzy Extension of Description Logic ALC with Comparison Expressions.
KES (1) 2006: 647-654 |
21 | EE | Yanhui Li,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang:
A Distributed and Fuzzy Extension of Description Logics.
KES (1) 2006: 655-662 |
20 | EE | Dong Wang,
Yingli Lv,
Zheng Guo,
Xia Li,
Yanhui Li,
Jing Zhu,
Da Yang,
Jianzhen Xu,
Chenguang Wang,
Shaoqi Rao,
Baofeng Yang:
Effects of replacing the unreliable cDNA microarray measurements on the disease classification based on gene expression profiles and functional modules.
Bioinformatics 22(23): 2883-2889 (2006) |
19 | EE | Jianjiang Lu,
Baowen Xu,
Yanhui Li,
Dazhou Kang:
A family of Extended Fuzzy Description Logics.
IJBIDM 1(4): 384-400 (2006) |
2005 |
18 | EE | Dazhou Kang,
Baowen Xu,
Jianjiang Lu,
Yanhui Li,
Peng Wang:
Refined Approximation of Concepts in Ontology.
AI*IA 2005: 82-85 |
17 | EE | Yanhui Li,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang,
Peng Wang:
A Family of Extended Fuzzy Description Logics.
COMPSAC (1) 2005: 221-226 |
16 | EE | Jianjiang Lu,
Baowen Xu,
Dazhou Kang,
Yanhui Li,
Peng Wang:
Approximations of Concept Based on Multielement Bounds.
DEXA 2005: 676-685 |
15 | EE | Jianjiang Lu,
Baowen Xu,
Yanhui Li,
Dazhou Kang,
Peng Wang:
Extended Fuzzy ALCN and Its Tableau Algorithm.
FSKD (1) 2005: 232-242 |
14 | | Baowen Xu,
Peng Wang,
Jianjiang Lu,
Dazhou Kang,
Yanhui Li:
A Framework for Managing Multiple Ontologies: The Function-Oriented Perspective.
ICEIS (3) 2005: 300-305 |
13 | EE | Yanhui Li,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang,
Jie Xu:
Reasoning Technique for Extended Fuzzy Description Logics.
ICTAI 2005: 665-666 |
12 | EE | Peng Wang,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang,
Yanhui Li:
Manage Distributed Ontologies on the Semantic Web.
ISPA 2005: 1047-1054 |
11 | EE | Dazhou Kang,
Jianjiang Lu,
Baowen Xu,
Peng Wang,
Yanhui Li:
A Framework of Checking Subsumption Relations Between Composite Concepts in Different Ontologies.
KES (1) 2005: 953-959 |
10 | EE | Baowen Xu,
Dazhou Kang,
Jianjiang Lu,
Yanhui Li,
Jixiang Jiang:
Mapping Fuzzy Concepts Between Fuzzy Ontologies.
KES (3) 2005: 199-205 |
9 | EE | Yanhui Li,
Baowen Xu,
Jianjiang Lu,
Dazhou Kang,
Peng Wang:
Extended Fuzzy Description Logic ALCN.
KES (4) 2005: 896-902 |
8 | EE | Yanhui Li,
Jianjiang Lu,
Baowen Xu,
Dazhou Kang,
Jixiang Jiang:
A Fuzzy Extension of Description Logic ALCH.
MICAI 2005: 152-161 |
7 | EE | Dazhou Kang,
Jianjiang Lu,
Baowen Xu,
Yanhui Li,
Yanxiang He:
Two Reasoning Methods for Extended Fuzzy ALCH.
OTM Conferences (2) 2005: 1588-1595 |
2004 |
6 | EE | Baowen Xu,
Peng Wang,
Jianjiang Lu,
Yanhui Li,
Dazhou Kang:
Bridge Ontology and Its Role in Semantic Annotation.
CW 2004: 329-334 |
5 | EE | Baowen Xu,
Peng Wang,
Jianjiang Lu,
Yanhui Li,
Dazhou Kang:
Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies.
ICTAI 2004: 442-449 |
4 | | Baowen Xu,
Dazhou Kang,
Jianjiang Lu,
Peng Wang,
Yanhui Li:
Equivalent Individuals on the Semantic Web.
IRI 2004: 253-258 |
3 | EE | Dazhou Kang,
Baowen Xu,
Jianjiang Lu,
Peng Wang,
Yanhui Li:
Extracting Sub-ontology from Multiple Ontologies.
OTM Workshops 2004: 731-740 |
2 | EE | Peng Wang,
Baowen Xu,
Jianjiang Lu,
Yanhui Li,
Dazhou Kang:
Theory and Semi-automatic Generation of Bridge Ontology in Multi-ontologies Environment.
OTM Workshops 2004: 763-767 |
1 | EE | Baowen Xu,
Yingzhou Zhang,
Yanhui Li:
Retrospect and Prospect of Formal Methods Education in China.
TFM 2004: 225-234 |