基于一阶逻辑的RDF模型的研究

• 作者: 李青山 王保保 蔡里宁
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 资源描述框架 资源描述框架模式 一阶逻辑 语义互操作性 事实-规则集
• 年，卷（期）: 2004,（28）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 152-155
• 页数: 4页
• 分类号: TP393
• 字数: 3698字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.28.047

摘要

XML为互联网应用提供了语法互操作性统一标准,而资源描述框架RDF定义了支持语义互操作的框架模型.作为RDF数据模型的类型系统,资源描述框架模式RDFS定义了一套扩充新的建模原语及其语义约束的机制.由于整个互联网语义化过程都以RDF模型为底层的模型支持,RDF数据模型及其类型系统的形式化程度直接影响和制约着更高层次上的语言和模型的形式化能力和推理能力.文章首先对RDFS类型系统做了非形式化分析,然后基于一阶逻辑定义了一套RDFS类型系统中对应类层次模型、类-实例模型和核心概念约束模型的事实-规则集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李青山	西安电子科技大学软件工程研究所	39	244	9.0	14.0
2	王保保	西安电子科技大学网络与计算所	69	893	17.0	26.0
3	蔡里宁	西安电子科技大学网络与计算所	1	7	1.0	1.0