论文部分内容阅读
语义Web是当今最热门的话题之一，实现语义WEB的知识推理则是人们关注的重点。Prolog语言以其在逻辑推理和证明方面独特的功能和作用，以其基于面向对象的技术和一阶谓词的逻辑型程序设计语言，以其功能强大、用户友好的语义约束和自动推理能力，将为语义Web的知识推理提供一种新的思路。
本文分析和研究了语义Web的系统架构和语义Web Ontology表达技术和Prolog表达技术，Prolog推理技术，提出了基于Prolog，实现语义Web的逻辑和推理机制的模型，设计了针对Ontology知识库的推理机引擎，实现了一个基于Prolog加Ontology框架的语义Web的知识推理系统。