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

【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.更多还原