期刊文献+

描述逻辑在农业本体中的应用研究

Research on the Application of DL Reasoning in Agricultural Ontology
下载PDF
导出
摘要 为提升农业本体在农业服务方面的质量,提出了基于描述逻辑的农业本体推理方法。该方法采用基于描述逻辑的语义推理机制对农业本体知识进行阐述分析,并对农业本体中的隐含知识进行有效推理。以茶树虫害本体为例,研究了描述逻辑推理在农业本体领域的应用。 For improving the quality of agricultural ontology in agriculture services, this paper proposed a method of reasoning agricultural ontology based on description logic. The new method uses semantic inference mechanism based on description logic to analyse agricultural ontology knowledge and effectively reason the knowledge that may be contained in agricultural ontology. At last, we take tea pest ontology as an example to investigate the application of description logic reasoning in the field of agricultural ontology.
出处 《重庆科技学院学报(自然科学版)》 CAS 2016年第5期96-99,共4页 Journal of Chongqing University of Science and Technology:Natural Sciences Edition
基金 国家自然科学基金项目农业领域(茶学)"云本体建模理论与方法研究"(31271615)
关键词 农业本体 描述逻辑 本体 茶树虫害 agricultural ontology description logic ontology tea tree pest
  • 相关文献

参考文献10

  • 1钱平,郑业鲁主编..农业本体论研究与应用[M].北京:中国农业科学技术出版社,2006:303.
  • 2SCHMIDT- SCHAU M,SMOLKA G. Attributive Concept Descfiptionswith Complements [ J ]. Artificial Intelligence, 1991,48(1) : 1 -26. 被引量:1
  • 3MOTIK B, SATTLER U, STUDER R. Query Answering for OWL - DL with Rules [ J ]. Journal of Web Semantics, 2005, 3(1): 41 -60. 被引量:1
  • 4魏圆圆..基于本体论的农业知识建模及推理研究[D].中国科学技术大学,2011:
  • 5石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197. 被引量:42
  • 6董明楷,蒋运承,史忠植.一种带缺省推理的描述逻辑[J].计算机学报,2003,26(6):729-736. 被引量:52
  • 7彭立..描述逻辑SHIF和SHIQ的ABox一致性判定算法研究[D].湖南大学,2013:
  • 8袁金平,鲍爱华,姚莉.语义Web技术及其逻辑基础[J].计算机工程,2008,34(24):194-196. 被引量:16
  • 9吴修国,曾广周,许崇敬.基于描述逻辑的目标推理研究[J].计算机科学,2008,35(7):142-144. 被引量:5
  • 10江莉莉..描述逻辑在智能化信息检索中的应用研究[D].南京航空航天大学,2012:

二级参考文献68

  • 1刘亚彬,陈岗.基于描述逻辑的空间推理研究[J].计算机科学,2004,31(8):110-112. 被引量:3
  • 2史忠植,董明楷,蒋运承,张海俊.语义Web的逻辑基础[J].中国科学(E辑),2004,34(10):1123-1138. 被引量:71
  • 3张会,李思昆.描述任务逻辑及其应用[J].计算机学报,2006,29(3):488-494. 被引量:11
  • 4Description Logic. home page http://dl.kr.org/. 被引量:1
  • 5Baader F, Nutt W. Basic Description Logics. In: Baader F, McGuinness, Nardi D, et al. eds. The Description Logic Handbook, Chapter2. Cambridge Univ Press,2003. 被引量:1
  • 6De Giacomo G, Lenzerini M. TBox and ABox Reasoning in Expressive Description Logics. KR 1996. 316-327. 被引量:1
  • 7Brachman R J, Levesque H J. The tractability of subsumption in frame-based description languages. In:Proceedings of the 4th National Conference of the American Association for Artificial Intelligence (AAAIr84) ,Austin, TX, 1984. 34-37. 被引量:1
  • 8Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Hutter D, Stephan W, eds.Festschrift in honor of Jorg Siekmann, Lecture Notes in Artificial Intelligence. Springer, 2003. 被引量:1
  • 9Brachman R J, Sehmolze J G. An overview of the KL-ONE knowledge representation system. Cognitive Science, 1985,9 (2) : 171-216. 被引量:1
  • 10Mays E,Dionne R,Weida R. K REP system overview. SIGART Bulletin, 1991,2(3). 被引量:1

共引文献107

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部