期刊文献+

改进的描述逻辑框架Rough-SHOIN 被引量:2

Improved framework of description logics Rough-SHOIN
下载PDF
导出
摘要 针对具有不完备、多粒度特点的不确定知识表示,设计了一个粗糙描述逻辑框架——Rough-SHOIN,利用粗糙相似关系作为概念描述的基础,定义概念的粗糙上近似和下近似,实现不完备概念表达,在概念解释中引入上下文,实现在不同粒度上准确定义概念-对象间关系。在此基础上,给出Rough-SHOIN粗糙概念的语法、语义及知识库,并在不增加计算复杂度的前提下,定义Rough-SHOIN的推理规则。通过实例说明该框架的有效性。 For representing the uncertain knowledge with the characteristics of incomplete and multi-granularity,a framework of rough description logics named Rough-SHOIN is designed.Rough similarity relation is used as the basis of concept description for defining rough upper and lower approximation of concepts to represent the incomplete notions.Context is introduced to give an exact definition of concept-object relationship for different granularity in concept interpretation.Based on above technologies,syntax,semantics and knowledge base of Rough-SHOIN are defined,and reasoning rules are also expatiated without increasing calculating complexity.Examples are introduced to testify the validity of this framework.
作者 杨鹏 孙波
出处 《计算机工程与应用》 CSCD 2012年第14期23-26,共4页 Computer Engineering and Applications
基金 教育部博士点基金项目(No.20070056015) MSRA Theme Projec(tNo.FY08-RES-THEME-227) IBM联合研究项目(No.JSA200911006)
关键词 知识表示 不确定概念 描述逻辑 粗糙相似关系 knowledge representation uncertain concepts description logics rough similarity relation
  • 相关文献

参考文献10

  • 1Baader E,Honocks I, Satfler U.Description logics as on- tology languages for the semantic web[J].LNAI, 2005, 2605 : 228-248.
  • 2Straccia U.Reasoning within fuzzy description logics[J]. Journal of Artificial Intelligenc: Research, 2001,14(1): 137-166.
  • 3Jaeger M.Probabilistic reasoning in terminological logics[C]// Proceedings of the 4th International Conference on Prin- ciples of Knowledge Representation and Reasoning, Bonn, 1994:305-316.
  • 4Giugno R,Lukasiewicz T.P-SHOQ(D):a probabilistic ex- tension of SHOQ(D) for probabilistic ontologies in the semantic web[C]//Proceedings of the European Confer- ence on Logics in Artificial Intelligence, Cosenza, 2002: 86-97.
  • 5Hollunder B.An alternative proof method for possibilistic logic and its application to terminological logics[C]// Proceedings of the 10th Annual Conference on Uncer- tainty in Artificial Intelligence, San Francisco, 1994: 327-335.
  • 6Qi G,Pan J Z, Ji Q.A possibilistic extension of description logics[C]//Proceedings of DL, Dresden, 2008: 828-839.
  • 7Schlobach S, Michel K, Linda P.Deseription logics with approximate definitions precise modeling of vague con- cepts [C]//IJCAI-07, Hyderabad, 2007: 557-562.
  • 8Fanizzi N, Esposito F, Lukasiewicz T.Representing uncer- tain concepts in rough description logics via contextual indiscernibility relations[C]//Workshop on Uncertainty, Chicago, 2008: 341-350.
  • 9Slowinski R, Vanderpooten D.A generalized definition of rough approximations based on similarity[J].IEEE Transactions on Knowledge and Data Engineering, 2000, 12(2) :331-337.
  • 10Bander F,Calvanese D.The description logic handbook: theory, implementation and applications[M].Cambridge: Cambridge University Press,2002.

同被引文献19

  • 1梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):1-11. 被引量:34
  • 2石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197. 被引量:42
  • 3Baader F, Calvanese D, McGuinness D, et al. The description logic handbook [ M ]. Cambridge, UK : Cambridge University Press, 2003.
  • 4Straccia U. Reasoning within fuzzy description logic [ J ]. Jour- nal of Artificial Intelligence Research, 2002, 14 ( 1 ) : 137 - 166.
  • 5Jaeger M. Probabilistic reasoning in teminological [ C]//Pro- ceedings of the 4th conf on reasoning. Bomn: [ s. n. ], 1994: 305-316.
  • 6Giugno R, Lukasiewicz T. P-SHOQ (D) :a probabilistic exten- sion of SHOQ( D ) for probabilistic ontologies in the semantic web[ C]//Proceedings of the European conference on logics in artificial intelligence. Cosenza: [ s. n.] ,2002:86-97.
  • 7Hollunde B. An alternative proof method for possibilistic logic and its application to terminological logics[ C ]//Proceedings of the 10th annual conference on uncertainty in artificial intel- ligence. Is. 1. ] :[s. n. ] ,1994:327-335.
  • 8Qi G, Pan J Z, Ji Q. A possibilistic extension of description logic [ C ]//Proceedings of DL. Dresden : [ s. n. ], 2008 : 828 - 839.
  • 9Sehlobach S, Klein M, Peelen L. Description logic with approx- imate definitions precise modeling of vague concept [ C ]// Proe of the 20th Internet joint conf on artificial intelligence. [ s. 1. ] : [ s. n. ] ,2007:557-562.
  • 10Pawlak Z. Rough sets [ J ]. International Journal of Computer and Information Sciences, 1982,11:341-356.

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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