【摘 要】
：
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩充前后在逻辑推论上就会产生不一致,就会导致用户使用该扩充后的本体获取知识时得到错误的结论.描述逻辑是一簇知识表示的语言,其以结构化,形式化的方法来表示特定应用领域的知识.本文研究在描述逻辑FL0语言下的保守扩充问题.在文中给出了FL0的推理机制G,并以此建立了FL0的形式模型M
论文部分内容阅读
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩充前后在逻辑推论上就会产生不一致,就会导致用户使用该扩充后的本体获取知识时得到错误的结论.描述逻辑是一簇知识表示的语言,其以结构化,形式化的方法来表示特定应用领域的知识.本文研究在描述逻辑FL0语言下的保守扩充问题.在文中给出了FL0的推理机制G,并以此建立了FL0的形式模型M.构造形式模型将FL0的包含推理问题转换为形式模型的满足性问题,并给出了在一般概念包含术语集中概念嵌套深度限制下可以停机的FL0非保守扩充算法,即若扩充是非保守的,则通过算法在形式模型中一定可以找到见证包含术语断定该扩充是不保守的；反之则扩充是保守的.本文的主要结论概括如下：定理1在FCo下,形式系统<T,G>是完全的,即是说T（?）C（?）D当且仅当（?）G C（?）D.定理2若（?）G C（?）D,则d（C（?）D）≤d（T）=k.定理3给定两个Tbox T1,T’,T2≡T1∪T’,若T2不是T1的保守扩充,则一定存在见证包含术语C（?）D,sig（C）,sig（D）∈sig（T1）,depth（C）,depth（D）≤depth（T2）,使得：T2（?）C（?）D,但是T1（?）C（?）D.
其他文献
根据光合作用碳素同化的最初光合产物不同,把高等植物分成两类:C3植物和C4植物。光合作用时,CO2被固定的最初产物是3-磷酸甘油酸（三碳化合物）的植物叫C3植物,也叫低光效植物,如小麦、水稻、大麦、大豆、马铃薯、菜豆和菠菜等温带植物。若光合作用中,CO2被固定的最初产物是草酰乙酸（四碳化合物）的植物叫C4植物,也称高光效植物,如玉米、甘蔗、高粱等热带植物。C4植物比C3植物具有较强的光合作用
本文首先介绍宇宙学的基础知识,宇宙是世界最大的物质,人类诞生不久便开始探索宇宙。宇宙学是从整体的角度来研究宇宙的起源、演化和结构以及超星系团以上结构的学科。在众多宇宙模型中由弗里德曼、罗伯特和沃克等人建立的标准宇宙模型是最重要的宇宙模型。在这种模型中宇宙产生于一次大爆炸,经过一系列复杂的演化,形成了现在的样子。近年来随着科学技术的发展,越来越多的观测数据表明宇宙在加速膨胀。大多数物理学家相信宇宙加
臭蚁亚科Dolichoderinae隶属于膜翅目Hymenoptera蚁科Formicidae,是蚁科中较大的-个亚科,广泛分布于世界各地,主要分布在新热带区和澳洲区。全世界已记载现存臭蚁亚科种类共28属,822种（亚种）。到目前为止,中国已记载8属40余种。关于臭蚁亚科属级分类一直存在许多争议,目前国内在臭蚁亚科分子系统学方面的研究尚属空白。本研究应用分子生物学方法,采用PCR扩增,测定了臭蚁亚
当前,强子物理的研究领域主要包括强子间的强相互作用、强子的性质及其内部结构。量子色动力学（QCD）是描写强相互作用的基本理论。但由于QCD在小动量尺度具有非微扰性质,对低能区的强子物理研究只能借助于各种模型理论或近似方法来处理非微扰QCD效应。手征幺正法作为一种低能有效场论方法,在解释低能介子-介子散射实验数据方面获得了很大的成功。近年来,实验上观测到不少疑似奇特强子态的粒子,其中有一些含有粲夸克
鳄蜥（Shinisaurus crocodilurus）是古老的濒危物种,并已被列入“濒危物种贸易公约”附录Ⅱ。由于偷猎和栖息地的恶化,鳄蜥的种群数量急剧下降,不足一千只。鳄蜥主要分布在中国的广西广东两省区和越南,均为地理隔离种群,对鳄蜥进行保护和研究迫在眉睫。微卫星是种群遗传学研究的一个理想工具,可应用于种群多样性、交配模式、亲缘关系等科学研究。为此,在鳄蜥相关遗传研究相对很少的情况下,我们筛选
单性木兰（Kmeria septentrionalis Dandy）属于木兰科（Magnoliaceae）单性木兰属（Kmeria （Pierre）Dandy）,为我国特有物种,在《中国物种红色名录》中被定为濒危种。现已知的单性木兰分布区有广西北部（罗城、环江）、贵州东南部（荔波）和云南东南部（麻栗坡、马关）。单性木兰雌雄异株,在原始木兰科植物中极为少见,进化地位比较特殊,对研究木兰科分类系统的演
激发介质中的非线性波是非线性科学研究的热点之一。人们对激发介质的研究主要借助其中的非线性波来进行。激发介质中典型的非线性波包括行波、靶波和螺旋波。人们对激发介质的研究已经持续了多年,其应用领域涉及到医学,表面科学等。本文采用Greenberg-Hasting元胞自动机模型（G-H模型）对激发介质中的非线性波进行了研究。主要工作如下：1、在Markus M, Hess B等人的工作基础上提出了考虑元
鳜类隶属于鲈形目,为东亚特有的淡水鱼类,主要分布在中国,韩国,日本和朝鲜。以分子生物学为基础的研究手段逐渐成为研究物种研究生物的系统进化关系,物种多样性和物种形成机制的主要手段。线粒体DNA缺乏组蛋白保护和完善的自我修复系统,又靠近内膜呼吸链,极易受环境影响,进化速率快,是研究物种起源于进化的有力工具。本论文通过克隆了3种鳜类鱼类（翘嘴鳜Siniperca chuatsi、大眼鳜Siniperca
蚂蚁为典型的真社会性昆虫,隶属昆虫纲Isecta膜翅目Hymenoptera蚁科Formicidae,是生物多样性重要组成部分之一。蚁亚科种类繁多,在陆地生态系统中占据着重要地位,但大多数研究均集中于生态和社会生物学方面的研究,而对于系统发育的研究是相当少,只有Wheeler、Emery、Wheeler&Wheeler、Agosti、Bolton等前人通过对蚁蛹、工蚁和繁殖蚁的形态特征比较分析研究