论文部分内容阅读
基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.
本体定义及本体代数
【摘 要】
：
基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2010年6期
【基金项目】
：
国家自然科学基金（批准号：60973040）、国家自然科学杰出青年基金（批准号：60903098）、吉林省科技发展计划项目（批准号：20070533）、教育部高等学校博士学科点专项科研基金（批准号：200801830021）和吉林大学基本科研业务费交叉学科与创新项目（批准号：200810025）.
其他文献
证明了在p≥11时, 0≠h0(b1)3∈Ext7,3p2q+qA(H*V(2),Zp)和0≠(b1)3h0∈Ext8,3p2q+pq+2qA(H*V(2),Zp)在Adams谱序列中分别收敛到π*V(2)的非零元, 0≠h0(b1)3γ3∈Ext10,6p2q
考虑一个由偏微分方程及初值与偏值条件所描述的线性热弹性系统.根据所考虑的热弹性系统,定义了相应的线性偏微分算子及适当的状态空间.讨论了变结构控制问题.利用算子半群方
Seasonal Changes in Copper and Cobalt Concentrations of PinusnigraL.,Cedrus libani and Cupressus ari
The aim of this study is to examine seasonal changes in Cu and Co concentrations of three plant species for monitoring the effects of pollution in Elazig,Turkey
期刊
针对移动通信公司的经营分析系统，结合数据挖掘技术，阐述了客户流失预测的过程，并探讨了进化理论和连续数据离散化的相关问题，提出了EACA（Evolutionary Algorithm for Churning An
通过红外光谱（FTIR）法和扫描电镜（SEM）对钙基和巯基改性膨润土的官能团和表面结构进行了比较分析,以火焰原子吸收光谱法（FAAS）为检测手段,研究了巯基改性膨润土对Pb2＋吸附的影响因素
为了增大电感耦合等离子体辐射强度,降低分析检出限,实验研究了水样品经过超声波空化处理以后样品表面张力和粘度的变化,并探索了空化效应对光谱强度和信背比的影响。实验结
针对污泥中复杂基质的特点,进行了三种样品湿法消解体系、还原剂、载流等实验条件的研究,确定了HNO3-HClO4湿法消解体系、5%硝酸载流和0.1%硼氢化钠还原剂、以及标准和样品中
对石油套管井射孔质量的检测方法进行了研究．介绍了利用磁通法测量射孔的基本原理，并在实验室模拟测量了套管上的射孔，给出了测量图．实验表明这种方法在石油套管射孔质量的检测上
医学美容和化妆品行业的进步与日俱进,为了揭示皮肤组织的细节,三维医学成像是必须的。为了减少侵入性,在本研究中应用＂读出,而非写入＂的想法,采用非电离辐射的光源与组织采样
第三代同步辐射光源X射线相位衬度显微CT能获得样品内部结构的边缘增强图像,实现对低Z材料成像。利用上海同步辐射光源X射线相衬显微成像技术,实现了竹木复合材料中EPI和MUF