领域本体的形式分析

来源 :中国科学院软件研究所 | 被引量 : 8次 | 上传用户:gaolch008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文采用形式概念分析(Formal Concept Analysis)的方法,为领域本体建立了一个数学模型.形式概念分析理论把概念形式化为一对相互对应的集合——对象集和性质集,分别代表形式概念(formal concept)的外延和内涵,并用映射(·)′来反映两者之间互相决定,一一对应的关系.在本体中,类的内涵是用属性和关系来描述的,因此,该文首先定义一种适于表示类的内涵的结构——框架,并详细分析其性质.然后,采用形式概念分析的方法对本体中的类作了分析研究.最后证券类,类的外延,类的内涵,它们在各自偏序集中的关系是等价的.
其他文献
本文主要研究带有变分不等式的MPEC问题以及双层多目标规划的求解方法.文章主要内容大致可分为两部分。 1.本文第一部分(第二章)提出一种新的问题,目标为多目标,约束是非线
本论文分别就一阶、二阶和高阶中立型泛函微分方程讨论了方程解的振动性和渐近性,同时对非线性中立型差分方程的振动性进行了研究。对于一阶常系数中立型时滞微分方程,研究了
可修复系统是可靠性理论中讨论的一类重要系统。传统的可修复系统的研究主要是在理想条件下即系统能够修复如新的条件下讨论系统的可靠性和稳定性。然而在现实生活中,很多部件
本论文主要研究了非参数密度核估计的窗宽选择问题。在对Bootstrap方法和密度核估计的国内外研究现状进行深入分析后,针对密度核估计的窗宽选择和Bootstrap方法加以研究。
中等职业学校语文教学具有中学语文教学的共性,但由于职业学校培养目标、培养对象的不同,决定了职业学校语文教学又具独特的个性。中职生在完成中职课程之后绝大多数都选择就
复杂网络是研究复杂系统的非常重要的研究方法,复杂网络的同步如今已经是复杂网络理论非常重要研究课题,实际生活中,网络外部同步的研究有着非常重要的意义.本文利用线性矩阵不
在新的历史时期,随着市场经济体制的建立,和平与发展两大主题越来越突出,人们关心国防建设的热情有所下降,民兵工作受到了一定的冲击,人员难集中,经费难保障,工作难开展的问
计算机医学图像在临床诊断和治疗中的作用越来越显著。而显微图像的自动分析是医学图像处理和分析的重要研究课题,它不仅为医生赢得了诊断时间而且提高了诊断的精度。 由于
分数阶微积分是传统的整数阶微积分的推广,是数学建模过程中一个非常有用的工具.经过三个多世纪的发展,已经引起了越来越多的学者及工程技术人员的兴趣和重视.目前分数阶偏微
王阳明的学说传播及学派的产生和发展,与书院密切相关。王阳明及其弟子重视书院建设,利用书院刻书讲学,提倡和宣传阳明学说,把书院作为阳明学交流和传播的阵地,推动阳明学派