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描述语义推理的形式正确性。
参考来源 - 基于本体的智能答疑系统研究·2,447,543篇论文数据，部分数据来源于NoteExpress
A Web-indexing agent that turns documents into formal Semantic Web-based knowledge
Web 索引代理，将文档转变成正式的基于语义 Web 的知识
According to given formal semantic, it has been proven the reliability and completeness of this system.
根据给出的形式语义，可以证明该系统的可靠性和完全性。
A personal agent that USES formal Semantic Web knowledge bases to book holidays or even doctor appointments.
个人代理，使用正式的语义Web知识库来预定假期甚至进行门诊预约。
应用推荐