【摘 要】
：
描述逻辑（DL）一族知识表示系统，是一个非常热门的研究方向。一方面，重要的推理问题如包含问题是多项式得；另一方面，FLε被用做定义大的本体。已经提出的描述逻辑的合一算法能够作为
论文部分内容阅读
描述逻辑（DL）一族知识表示系统，是一个非常热门的研究方向。一方面，重要的推理问题如包含问题是多项式得；另一方面，FLε被用做定义大的本体。已经提出的描述逻辑的合一算法能够作为一个新奇的推理服务，它被用做发现本体的冗余。本文主要的结果是FLε合一算法是可判定的。更精确地，FLε的一个部分εL是多项式完全，因此它和εL匹配有相同的计算复杂性。本文首先给出了描述逻辑系统FLε的语法和语义，特别地，蕴舍合一问题没有有限的完备合一算子集，基于合一算法的规则探讨了可判定性问题。
其他文献
<正>今年全国两会前夕,人民网推出2分钟AR短视频《"剧透"2017年全国两会》,通过实景与虚景相结合的方式,巧妙展现了2017年全国两会的重大看点。原本平常的办公室场景在AR模块
通过测定甘州城区(海拔高度1 500m)、六坝(海拔高度1 900m)、洪水(海拔高度2 300m)3个示范园民乐紫皮大蒜的净光合速率(Pn)、蒸腾速率(Tr)、胞间CO2浓度(Ci)和气孔导度(Gs)的
分别以牛、羊、猪、鸡、鸭、马线粒体细胞色素b基因为研究对象,设计羊源性成分特异性引物和探针,同时结合实时荧光定量PCR技术,引入16SrDNA内参基因校正羊种属特异性基因测定
以天津市的区域特点为例介绍了城市土壤的主要性状,探讨了城市土壤的改良利用和管理,提出了相应的解决方法。
<正> 教学内容:义务教育六年制小学数学第二册第20页例9,完成“做一做”中的1、2题和练习册第23页练习十二中的1、3题。 教学目的: 1.使学生能够正确熟练地口算整十数加一位
随着"一带一路"公共外交的逐渐拓展和深入,以妇女、女性、性别平等为主题或特色的活动日益增多,"一带一路"沿线国家妇女相互交流、相互学习、共促发展的模式正处于不断摸索和
塑料遮阳网栽培具有夏季能遮光降温，防止暴雨冲刷造成畦面板结，能保持土壤湿润和疏松，减少土壤养分流失；冬季应用可保温防霜冻，并能防风、防雹；在蔬菜幼苗定植后的缓苗期，遮阳网覆盖
为了评价车辆排放对大气污染的污染程度,提出了一种诊断模型.通过在不同路段诊断车辆排放强度,构建车辆排放强度的函数式,探索车辆运行状况下车辆排放具有的时空相关性.并在
目的了解我校大学生颈椎亚健康现状及其影响因素,为有针对性地开展校园健康活动提供依据。方法采用分层随机抽样法,对浙江中医药大学不同年级、不同专业学生进行问卷调查。结
一、温水袋孵鸡法 1.孵化用具。长方形木框（长1.7米、宽0.8米、高0.17米)，棉被，温度计，塑料薄膜水袋等。封口的水袋大小与木框相同，两头不封口的水袋尺寸略大于木框，以便袋内灌水后两头有向上折叠起来的余头。 2.操作方法。把木框放在炕上，框底铺垫两层软纸，将水袋平放入框后，框内四周与水袋之间塞上棉花或软布保温，然后往水袋中注入40℃的温水，使水袋鼓起13厘米高。把种蛋平放在水袋上，每