RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic.

• RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。