QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 an abductive cqa based matchmaking system for finding renting houses 会议论文 Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011 Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Qiu Che 收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22 Data description  Semantic Web   towards practical abox abduction in large description logic ontologies 期刊论文 International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z. 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 Formal languages  Logic programming  Ontology   approximating linear order inference in owl 2 dl by horn compilation 会议论文 2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012 Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong 收藏  |  浏览/下载：11/0  |  提交时间：2013/09/22 Data description  Polynomial approximation   a new matchmaking approach based on abductive conjunctive query answering 会议论文 Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011 Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Hu Yong 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22 Data description  Formal languages  Logic programming  Query processing  Semantic Web   extending description logics with uncertainty reasoning in possibilistic logic 期刊论文 International Journal of Intelligent Systems, 2011, 卷号: 26, 期号: 4, 页码: 353-381 Qi Guilin; Ji Qiu; Pan Jeff Z.; Du Jianfeng 收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10 Accidents  Algorithms  Inference engines  Knowledge based systems  Ontology  Semantics   towards practical abox abduction in large owl dl ontologies 会议论文 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United states, August 7, Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z. 收藏  |  浏览/下载：6/0  |  提交时间：2013/10/08 Artificial intelligence  Data description  Logic programming  PROLOG (programming language)   a decomposition-based approach to owl dl ontology diagnosis 会议论文 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, United states, November 7 Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong 收藏  |  浏览/下载：8/0  |  提交时间：2013/10/08 Artificial intelligence  Data description  Decomposition   finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition 期刊论文 Tsinghua Science & Technology, 2010, 卷号: 15, 期号: 6, 页码: 623 - 632 Jianfeng Du; Guilin Qi; Jeff Z. Pan 收藏  |  浏览/下载：7/0  |  提交时间：2011/05/23 ontology diagnosis  minimum cost diagnosis  description logics  data tractability