期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

本体定义及本体代数 被引量：3

Ontology Definition and Ontology Algebra
下载PDF
导出
摘要 基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述. We defined fruits of researches on put forward a closed ontologies, and gave a the ontology models accurately with functional description language by analyzing the ontology definition, and further, proposed a novel method of formal ontology definition, ontology algebra definition by defining the grade of similitude relevance between formal description of ontology algebra with functional description language.
作者 王俊华 左万利 赫枫龄 王英
机构地区 吉林大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验室
出处 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2010年第6期1001-1007,共7页 Journal of Jilin University:Science Edition
基金 国家自然科学基金(批准号:60973040) 国家自然科学杰出青年基金(批准号:60903098) 吉林省科技发展计划项目(批准号:20070533) 教育部高等学校博士学科点专项科研基金(批准号:200801830021) 吉林大学基本科研业务费交叉学科与创新项目(批准号:200810025)
关键词 本体定义 形式化描述 本体代数 ontology definition formal description ontology algebra
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献24

  • 1Neches R,Fikes R,Finin T,et al.Enabling Technology for Knowledge Sharing[J].AI Magazine,1991,12(3):36-56.
  • 2Gruber T R.A Translation Approach to Portable Ontology Specifications[J].Knowledge Acquisition,1993,5(2):199-200.
  • 3Wielinga B J,Schreiber A T.Reusable and Shareable Knowledge Bases:A European Perspective[C] //Proceedings International Conference on Building and Sharing of Very Large-Scaled Knowledge Bases 93.Tokyo:Japan Informtation Processing Development Center,1993:103-115.
  • 4Guarino N,Giaretta P.Ontology and Knowledge Bases:Towards a Terminological Clarification[C] //Proceedings of 2nd International Conference on Building and Sharing Very Large-Scale Knowledge Bases.Amsterdam:The ISO Press,1995:25-32.
  • 5Swartout B,Patil R,Knight K.Toward Distributed Use of Large-Scale Ontologies[C] //Proceedings of the AAAI Symp on Ontological Engineering.Menlo Parle:The AAAI Press,1997:138-148.
  • 6Borst W N.Construction of Engineering Ontologies for Knowledge Sharing and Reuse[D] :[Ph D Thesis].Enscheda:University of Twenty,1997.
  • 7Studer R,Benjamins V R,Fensel D.Knowledge Engineering:Principles and Methods[J].Data and Knowledge Engineering,1998,25(1/2):161-197.
  • 8Guarino N.Formal Ontology and Information Systems[C] //Proceedings of the 1st International Conference on Formal Ontology in Intormation Systems(FOIS'98).Trento,Italy:The IOS Press,1998:3-15.
  • 9Chandrasekaran B,Josephson J R,Benjamins V R.What Are Ontologies,and Why Do We Need Them[J].IEEE Intelligent Systems,1999,14(1):20-26.
  • 10Staab S,Studer R,Schnurr H P,et al.Knowledge Processes and Ontologies[J].IEEE Intelligent Systems,2001,16(1):26-34.

二级参考文献139

  • 1吴强,刘宗田,强宇.基于本体的知识库推理研究[J].计算机应用研究,2005,22(1):50-52. 被引量：17
  • 2William Y Arms 施伯东（译）.数字图书馆概论[M].北京:电子工业出版社,2001..
  • 3Ait-Kaci H,Nasr R.Login:A logic programming language with built-in inheritance [C]. Journal of Logic Programming, 1986: 185-215.
  • 4Ait-Kaci H,Podelski A.Towards a meaning of life[C].Journal of Logic Programming, 1993:195-234.
  • 5王洪伟,吴家春,蒋馥.基于描述逻辑的本体模型研究[D].上海:上海师范大学,2003.
  • 6Allen J F.Towards a general theroy of action and time[J].Artificial Intelligence,1984,23:123-154.
  • 7Beiercle C, Edtsuck U, Pletat U, et al.An order-sorted logic for knowledge representation systems [J]. Artificial Intelligence, 1992,55:149-191.
  • 8Schmidt-Schauss M. Computational aspects of an order-sorted logic with terms declarations [M].Spring-verlag, 1989.
  • 9NATATANYAPITTS.XML技术内幕[M]:2nd ed[M].北京:机械工业出版社,2002..
  • 10施伯乐（译），数字图书馆概论，2001年

共引文献323

同被引文献15

引证文献3

二级引证文献5

吉林大学学报（理学版）
2010年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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