RDFS表示本体建模语言OIL的一种方法

来源 :吉林大学学报：理学版 | 被引量 : 0次 | 上传用户：harite

【摘要】

：

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法.通过为这种语言增加必要的表达能力和语义来完善RDF Schema,使RDF Schema能够描述本体建模语言OIL.进一步给出OIL

【作者】

：

付燕宁刘磊

【机构】

：

吉林大学计算机科学与技术学院

【出处】

：

吉林大学学报：理学版

【发表日期】

：

2005年6期

【关键词】

：

资源描述框架资源描述框架模式本体建模语言原语 resource description framework resource description f

【基金项目】

：

吉林省科技发展计划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法.通过为这种语言增加必要的表达能力和语义来完善RDF Schema,使RDF Schema能够描述本体建模语言OIL.进一步给出OIL原语的RDF Schema定义: 任何OIL本体都可以使用RDF语法表示,从而使其具有OIL的推理支持和形式化语义.这种扩充方法同样也适用于其他知识表示的形式化.

其他文献

两指标局部强鞅的随机积分

给出两指标局部平方可积强鞅的随机积分的定义, 讨论并证明其一些基本性质.

期刊

停线局部平方可积强鞅随机积分随机微分方程随机过程指标集stopping line local square integrable strong m

逆半群上的几类模糊子半群

利用集合上模糊同余关系，在逆半群上定义了模糊正规子半群和模糊商子半群，并研究了逆半群上由这几类模糊关系所定义的模糊同余关系的一些性质．通过模糊同余关系卢，得到模糊正规商

期刊

模糊关系模糊正规子半群模糊商子半群fuzzy relation fuzzy normal sub-semigroup fuzzy quotient s

扬子石化公司生活饮用水深度处理方案的选用

扬子石化公司水厂取水口水质有逐年变坏的趋势，影响了生活水水质，笔者认为，在生活区利用已有管网输送国大生活水量时，用臭氧－生物活性炭处理常规生活水是较适合实际情况。臭氧的强

期刊

臭氧生物活性炭水处理生活饮用水

带压堵漏技术在芳烃生产中的应用

简单介绍了带压堵漏的原理和方法，举例说明带压堵漏技术的芳烃联合装置中的应用，以及取得的效果。

期刊

带压堵漏堵漏芳香烃生产技术联合装置

列管式换热器管板与换热管连接接头的质量控制

换热管与管板连接接头质量的影响因素除了管板和换热管材料的质量问题、加工质量问题外，还包括管板与换热管连接过程中出现的质量问题，提出控制这些因素的具体措施，采用新工艺、

期刊

换热器管板加工胀接焊接质量控制石油化工

内部锥类凸集值优化的ε-超有效解

通过在局部凸拓扑线性空间中引进集值映射向量优化问题的ε-超有效解，在集值映射为内部锥类凸的假设下，利用凸集分离定理建立了关于ε-超有效解的标量化定理，并利用择一定理得到

期刊

Ε-超有效解内部锥类凸性标量化定理ε-Lagrange乘子定理ε-super efficient solution ic-cone-convexli

和频光谱研究萃取剂TOPO分子在空气/水界面处的取向行为

采用和频光谱研究了萃取剂TOPO分子在空气/水界面处的取向行为.研究发现,在不同膜压条件下,TOPO分子在水表面排布的有序化程度不同.膜压越大,TOPO分子在水表面的堆积密度越大,其分子碳链的取向越倾向于垂直空气/水界面.研究萃取剂分子在界面的取向行为,可以为理解界面处萃取剂分子与目标待萃取离子的相互作用机理提供思路.

期刊

萃取剂空气/水界面取向行为和频光谱

模上的Groebner基与切触有理插值

利用模上的Groebner基研究多元切触有理插值问题，得到了多元有理函数a（X）／b（X）的参数化表示，并给出一种构造多元切触有理插值算法。当插值问题退化为Cauchy型有理插值问题时，相应的算

期刊

多元切触有理插值弱插值模的Groebner基multivariate osculatory rational interpolation weak in

GB—501离心压缩机机械密封技术改造

简单介绍了GB－501压缩机的技术参数，原配机械密封的结构，工作机理及使用情况，说明了该压缩机机械密封的改造原因，重点叙述了改造后累旋槽机械密封的结构，工作原理，改造实施及取得效

期刊

离心压缩机机械密封技术参数GB-501

一个面向数据密集型应用程序的网格工作流调度方案

采用网格工作流调度和数据感知调度相结合的方法，提出一个面向数据密集型应用的网格工作流调度方案．在CSF4网格元调度程序中以调度插件的形式实现了该方案，并且保证两个调度插件

期刊

元调度网格工作流插件机制数据网格meta-scheduling grid workflow plugin mechanism data gri

RDFS表示本体建模语言OIL的一种方法

其他学术论文