【摘 要】
:
描述逻辑FLε最近获得了比较大的关注。一方面,重要的推理问题(如包含问题)是多项式的;另一方面FLε被用做定义大的本体。变量概念的合一(概念模式)是一个已在概念描述逻辑的背景介
论文部分内容阅读
描述逻辑FLε最近获得了比较大的关注。一方面,重要的推理问题(如包含问题)是多项式的;另一方面FLε被用做定义大的本体。变量概念的合一(概念模式)是一个已在概念描述逻辑的背景介绍的相对较新的操作。描述逻辑的合一算法能够作为一个新奇的推理,它被用做发现本体的冗余。UFLE是一个系统,计算概念描述阐述合一问题的合一公式。 FLε是限制表达力的描述逻辑,但它仍然是表现足够生物医学本体的形式体系,如大型医学本体论。本文建议通过计算两个涉嫌表达同一概念的应用程序域中的正式概念的合一公式,使用UFLE作为一种工具来检测这种本体的冗余。UFLE可以作为一个流行本体的插件程序,或作为一个独立的合一。本文主要的结果FL ε合一算法是可判定的。更精确地, FL ε的一个部分εL是多项式完全,因此它和εL匹配有相同的计算复杂性。本文给出了描述FLε语义和语法的概念,并且给出了描述逻辑系统FLε的合一算法类型及证明。特别地,蕴含合一问题没有有限的完备合一公式集。本文基于合一的规则探讨了拥有存在算子算子和值限算子的FLε可判定性问题。
其他文献
文章分析关联数据在实现科学数据集成与共享中的优势,并阐述国内外关联数据在科学数据领域的进展。以Bio2RDF项目为例,探究利用关联数据技术实现科学数据集成与共享的方法与
在石油化工密闭空间生产中,有着较多的危险性因素,一旦缺乏对这些因素的有效控制,将可能引发较为严重的职业危害事故,因此有必要了解密闭空间内常见的职业危害事故类型,然后
文身现象在诸多民族中普遍存在,而黎族古老的女性文身传统的缘起解释众说纷纭,综观各类不同的梳理评论,析得文身的原初意义主要是女性生殖崇拜的表现形式。
<正>他是一个新潮的农民。用他的话概括:农业正往有机发展,有机农业是追求潮流的人才会去做的事情。在他看来,潮流不单指高大上,开豪车、穿名牌,那只是表象时尚;如今的潮流则
自明代中叶以来,我国海上贸易发达,但明清统治者以沿海安定和统治需要为由,厉行海禁政策,阻挠了中外海上贸易的顺利进行。但海禁政策并不能完全阻断中外海上贸易往来的历史大
北京它山石科技有限公司作为中国最早的专业宽带流媒体技术服务提供商之一,十多年来,在宽带流媒体技术应用领域创造出一个个奇迹。它山石科技开发出的一系列行业流媒体解决方
<正> 感应淬火后进行回火,可以让淬火应力得到释放同时又不使淬火硬度有明显的下降1 淬火与应力的关系 当对零件进行淬火加热时,被感应圈所加热之部分产生膨胀,该处直径比初
新型城镇化发展已经成为我国社会的热点问题,如何将生态文明的理论融入新型城镇化的建设中是亟待解决的问题。本文以生态文明为视角,从经济发展、文化发展、社会发展、生态环
目的:提高临床对外耳道病变CT影像的认识和重视。方法:对经病理证实的36例患者的38耳CT影像进行回顾性分析。结果:本组38耳外耳道病变中,外耳道胆脂瘤伴肉芽16耳,其中骨质破坏9