【摘 要】
：
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
论文部分内容阅读
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义 Web 中的地位等方面做了系统阐述。
其他文献
为实现产品开发的准确预测并获取消费者高满意度,结合TRIZ技术与需求进化理论中的技术系统进化模式、需求进化定律与需求预测原理,提出产品创新概念产生流程,并以指甲钳创新
<正> 2002年10月17日,故宫博物院副院长晋宏逵向外界宣布,位于故宫西华门的武英殿建筑群的修缮工程开工。从而拉开了故宫的百年大修的序幕。那么故宫百年大修究竟怎么修? 近
论战争片的悲剧美思忖战争悲剧与“和平主义”有生活才有艺术；有现实的战争悲剧，才有战争片的悲剧美。自有人类以来，战争与悲剧就如影随形地存在着。战争使母亲痛失爱子，使妻子痛
明朝是封建社会的一个重要转折时期,明中后期社会呈现出衰落的迹象。其中通过中西贸易的比较,我们可以得出这样的结论,明朝在对外贸易方面,受重农抑商观念的影响,采取一种封
为减少球形Ni/Al填充量并提高Ni/Al填充导电硅橡胶屏蔽效能,选取Ni/C纤维加入到此种导电橡胶中,并从导电性、屏蔽性能方面对其进行评价。实验发现Ni/C纤维的掺杂可以提高导电
<正> 海明威的《老人与海》和肖洛霍夫的《一个人的遭遇》同是20世纪世界文学中的珍品。这两部作品都是从哲学的高度,直接对人的命运,人类的生存意义进行独特的表现。它们包
<正> 在摄影行业,大幅面打印机市场主要针对影楼用户。在摄影行业,任凭数码相机、扫描仪、彩色打印机等数字化设备迅猛发展,一涉及到大幅面的照片彩扩,人们还是习惯性地想到
综述在第24届国际海岸工程会议和港口水工技术国际会议上发表的有关斜坡式防波堤技术的最新进展,内容包括护面块体稳定性的计算方法、戗台式防波堤、扭工字块体、钩连块体和
数字滤波器的设计和应用是数字信号处理中的核心内容之一。利用MATLAB信号处理工具箱中的FDATool工具设计出具有去噪滤波功能的有限脉冲响应滤波器,根据滤波器的不同应用需求
本文介绍了山东莱芜钢铁总厂全连续热轧窄带钢轧机的有关机组参数、工艺流程及其特征。该机组目前是我国热轧窄带钢轧机中最宽的轧机,是我国第一台全连续窄带钢轧机。同时还