共查询到10条相似文献，搜索用时 15 毫秒
1.
保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。 相似文献
2.
3.
语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。 相似文献
4.
针对信息集成中的语义异构问题,提出了一个基于本体的语义信息集成模型OSII,并给出了逻辑框架.OSII采用混和本体方式建模,以OWL描述本体,通过局部本体与全局本体之间的映射获得多源统一视图.提出了一种基于树结构的多策略本体映射算法,该算法包含4个步骤,即预处理,名称映射,子树映射和映射矫正.其特点在于:按照数据类型分类进行映射,并采用启发式规则,提高映射效率;同时考虑概念的语言相似性和结构相似性,提高相似度计算的准确性;采用迭代矫正,最终得到正确而完整的映射对.通过一个挑战性的实例说明了算法的有效性.OSII能很好地解决信息集成中的语义异构难点,实现多信息源之间的互操作. 相似文献
5.
本文就利用地理本体的强大的知识表达能力来表达地理时空信息的语义关系和时空关系进行了探讨,同时使用基于本体的多维地理时空信息的分类方法和描述逻辑语言OWL在Protege本体构建工具中构建了地理时空信息本体。 相似文献
6.
7.
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。 相似文献
8.
卞拓蒙 《中山大学学报论丛》2010,3(1)
一般认为,标准量子力学需要使用一套它自己的逻辑系统,即量子逻辑.量子逻辑采用与一般逻辑系统不同的语义规则,因此和古典逻辑无法兼容.此篇文章将呈现一套量子力学的严格形式基础,它是对古典二值逻辑之保守扩充;保守扩充意指比原先之逻辑系统强,但较强的原因为它有较多之词汇.此套逻辑为三值逻辑.古典逻辑中为真的句子仍然为真.古典逻辑中为假的句子将被区分为强性假与中性.第三个真值-中性-考虑了非本征态情况中之观察句.本文详列了物理的公理并显示它们具有一个模型.此提案的可行性说明了量子逻辑是不必要的,并且存在一个共同的逻辑架构可提供给数学、非量子物理及量子力学使用. 相似文献
9.
Fan Rongqiang 《广东技术师范学院学报》1993,(4)
本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。 相似文献
10.
为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现,现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高. 相似文献