| 基于一阶逻辑的RDF模型的研究 |
| |
| 引用本文： | 蔡里宁,李青山,王保保.基于一阶逻辑的RDF模型的研究[J].计算机工程与应用,2004,40(28):152-155. |
| |
| 作者姓名： | 蔡里宁 李青山 王保保 |
| |
| 作者单位： | 1. 西安电子科技大学网络与计算所,西安,710071
2. 西安电子科技大学软件工程研究所,西安,710071 |
| |
| 摘 要： | XML为互联网应用提供了语法互操作性统一标准,而资源描述框架RDF定义了支持语义互操作的框架模型。作为RDF数据模型的类型系统,资源描述框架模式RDFS定义了一套扩充新的建模原语及其语义约束的机制。由于整个互联网语义化过程都以RDF模型为底层的模型支持,RDF数据模型及其类型系统的形式化程度直接影响和制约着更高层次上的语言和模型的形式化能力和推理能力。文章首先对RDFS类型系统做了非形式化分析,然后基于一阶逻辑定义了一套RDFS类型系统中对应类层次模型、类-实例模型和核心概念约束模型的事实-规则集。
|
| 关 键 词： | 资源描述框架 资源描述框架模式 一阶逻辑 语义互操作性 事实-规则集 |
| 文章编号： | 1002-8331-(2004)28-0152-04 |
Research on RDF Model Based on First-Order Logic |
| |
| Cai Lining,Li Qingshan,Wang Baobao.Research on RDF Model Based on First-Order Logic[J].Computer Engineering and Applications,2004,40(28):152-155. |
| |
| Authors: | Cai Lining Li Qingshan Wang Baobao |
| |
| Affiliation: | Cai Lining 1 Li Qingshan 2 Wang Baobao 11 |
| |
| Abstract: | Interoperability is considered to be an important enabler of future web applications.While XML supports syn-tactic interoperability,RDF defines a frame model supporting semantic interoperability.As a type system for RDF data model,RDF Schema provides a mechanism extending new modeling primitives and their semantic constraints.For the semantic web is based on RDF(S),the formalism degree of RDF data model and type system directly influence and re-strict the ability of formalization and inference of top-level language and model.After informal analysis of RDFS type system,this paper defines a suit of facts-rules set according to hierarchical class model,class-instance model and core concept constraint model in RDFS based on first-order logic. |
| |
| Keywords: | RDF RDFS first-order logic semantic interoperability fact-rule set |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
