语义Web知识表示标记语言OWL DLP的研究

摘要：

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

关键词： 知识表示 描述逻辑程序 语义Web 标记语言

作者: 段其国 苗夺谦

作者单位: 同济大学计算机科学与工程系,上海,201804

会议类型: 国内会议

会议名称: 全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会

会议地点: 南京

会议语种:中文

页码: 40-42,46

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）