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. 由于整个互联网语义化过程都以RDF模型为底层的模型支持,RDF数据模型及其类型系统的形式化程度直接影响和制约着更高层次上的语言和模型的形式化能力和推理能力。