中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
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

 
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

 
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

 
towards practical abox abduction in large description logic ontologies [期刊论文]
International Journal on Semantic Web and Information Systems, 2012-01-01, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.

 
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

 
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.

 
extending description logics with uncertainty reasoning in possibilistic logic [期刊论文]
International Journal of Intelligent Systems, 2011-01-01, 卷号: 26, 期号: 4, 页码: 353-381
Qi Guilin; Ji Qiu; Pan Jeff Z.; Du Jianfeng
  |  
 
finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition [期刊论文]
Tsinghua Science & Technology, 2010-01-01, 卷号: 15, 期号: 6, 页码: 623 - 632
Jianfeng Du; Guilin Qi; Jeff Z. Pan
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace