研究领域方向：知识表示与推理、语义Web和商业智能
联系邮箱：jfdu@gdufs.edu.cn
教育背景
* 2004/09-2009/01，中国科学院软件研究所，计算机科学国家重点实验室，博士
* 1999/09-2002/06，中山大学，软件研究所，硕士
* 1995/09-1999/06，中山大学，计算科学系，学士
教学科研情况
[1] 国家自然科学基金项目面上项目《缺失和不一致数据环境下描述逻辑查询回答的高效方法研究》（**，2014.1-2017.12，主持）
[2] 国家自然科学基金项目青年项目《修复不一致OWL本体的高效方法研究》（**，2011.1-2013.12，主持）
[3] 广东省自然科学基金项目面上项目《不一致描述逻辑知识库中的溯因查询回答研究》（S20**，2013.10-2015.10，主持）
[4] 中国科学院软件研究所计算机科学国家重点实验室开放课题基金项目《修复不一致本体的多项式时间算法研究》（SYSKF1005, 2010.6-2012.5，主持）
学术成果
[1] Jianfeng Du, Kewen Wang and Yi-Dong Shen. Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. In Proc. of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), 2015.
[2] Jianfeng Du, Guilin Qi and Xuefeng Fu. A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies. In Proc. of the 23rd ACM International Conference on Information and Knowledge Management (CIKM-14), pages 919-928, 2014.
[3] Jianfeng Du, Kewen Wang and Yi-Dong Shen. A Tractable Approach to ABox Abduction over Description Logic Ontologies. In Proc. of the 28th AAAI Conference on Artificial Intelligence (AAAI-14), pages 1034-1040, 2014.
[4] Jianfeng Du, Guilin Qi and Yi-Dong Shen. Weight-based consistent query answering over inconsistent SHIQ knowledge bases. Knowledge and Information Systems (KAIS), 34(2): 335-371, 2013.
[5] Jianfeng Du, Guilin Qi, Yi-Dong Shen and Jeff Z. Pan. Towards Practical ABox Abduction in Large Description Logic Ontologies. International Journal on Semantic Web and Information Systems (IJSWIS), 8(2), 1-33, 2012.
[6] Jianfeng Du, Guilin Qi, Jeff Z. Pan and Yi-Dong Shen. Approximating Linear Order Inference in OWL 2 DL by Horn Compilation. In the 2012 IEEE/WIC/ACM International Conference on Web Intelligence (WI-12), 2012.
[7] Jianfeng Du, Guilin Qi, Yi-Dong Shen and Jeff Z. Pan. Towards Practical ABox Abduction in Large OWL DL Ontologies. In Proc. of the 25th AAAI Conference on Artificial Intelligence (AAAI-11), pages 1160-1165, 2011.
[8] Jianfeng Du, Guilin Qi, Jeff Z. Pan and Yi-Dong Shen. A Decomposition-based Approach to OWL DL Ontology Diagnosis. In Proc. of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI-11), pages 659-664, 2011.
[9] Gang Wu, Guilin Qi, Jianfeng Du: Finding all justifications of OWL entailments using TMS and MapReduce. In Proc. of the 20th ACM International Conference on Information and Knowledge Management (CIKM-11), pages 1425-1434, 2011.
[10] Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan and Yong Hu. A New Matchmaking Approach Based on Abductive Conjunctive Query Answering. In Proc. of Joint International Semantic Technology Conference (JIST2011) for ASWC2011 and CSWC2011, pages 144-159, 2011.
[11] Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan and Che Qiu. An Abductive CQA Based Matchmaking System for Finding Renting Houses. In Proc. of Joint International Semantic Technology Conference (JIST2011) for ASWC2011 and CSWC2011, pages 394-401, 2011. [best demo award]
[12] Jianfeng Du, Guilin Qi and Jeff Z. Pan. Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decomposition. Tsinghua Science and Technology. 15(6):623-632, 2010.
[13] Jianfeng Du and Guilin Qi. Decomposition-based Optimization for Debugging of Inconsistent OWL DL Ontologies. In Proc. of the 4th International Conference on Knowledge Science, Engineering & Management (KSEM-10), LNAI 6291, pages 88-100, 2010.
[14] Guilin Qi, Jianfeng Du, Weiru Liu and David Bell. Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation. In Proc. of the 26th Conference on Uncertainty in Artificial Intelligence (UAI-10), 2010.
[15] Jianfeng Du, Guilin Qi, Jeff Z. Pan and Yi-Dong Shen. A Decomposition-based Approach to Optimizing Conjunctive Query Answering in OWL DL. In Proc. of the 8th International Semantic Web Conference (ISWC-09), LNCS 5823, 146-162, 2009.
[16] Jianfeng Du, Guilin Qi and Qiu Ji. Goal-Directed Module Extraction for Explaining OWL DL Entailments. In Proc. of the 8th International Semantic Web Conference (ISWC-09), LNCS 5823, 163-179, 2009.
[17] Guilin Qi and Jianfeng Du. Model-based Revision Operators for Terminologies in Description Logics. In Proc. of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), 891-897, 2009.
[18] Jianfeng Du and Yi-Dong Shen. Computing Minimum Cost Diagnoses to Repair Populated DL-based Ontologies. In Proc. of the 17th International World Wide Web Conference (WWW-08), 575-584, 2008.
奖励与荣誉
[1] The 1st Joint International Semantic Technology Conference (JIST2011) 最佳展示奖 (best demo award)
[2] 2013年度优秀等次教师
[3] 2011年度优秀等次教师

窗体底端