论文部分内容阅读
OWL是W3C最近提出的面向语义Web的知识表示标记语言,目前应用中还缺乏高效的推理工具.OWL DLP以描述逻辑程序为理论基础,既遵循了OWL的规范,又获得了逻辑程序领域中推理工具的支持.本文详细介绍了OWL DLP的相关理论,从语义和语法两方面阐述了OWL DLP的定义.设计并实现了一个OWL DLP的应用模型,给出了一个应用实例.