OWL规则扩展及其推理的应用研究

中文摘要	第1-4页
ABSTRACT	第4-7页
第一章 绪论	第7-11页
·背景与现状	第7-8页
·研究的目的和研究内容	第8-9页
·本文的章节安排	第9-11页
第二章 OWL与逻辑扩展	第11-26页
·OWL介绍	第11-17页
·OWL在语义网中的地位	第11-13页
·OWL的三个子语言	第13-14页
·OWL 三种语言的大纲	第14-15页
·OWL的形式化基础——描述逻辑	第15-16页
·OWL DL和描述逻辑间的联系与区别	第16-17页
·OWL的霍恩规则扩展	第17-20页
·对OWL语法的扩展	第18-19页
·OWL语义的扩展	第19-20页
·当前OWL对模糊的处理	第20-26页
·OWL的盖然论结合	第21-23页
·OWL的模糊描述逻辑结合	第23-26页
第三章 基于模糊逻辑的OWL扩展	第26-38页
·模糊逻辑	第26-27页
·基于模糊的构造器，公理与约束	第27-29页
·转换OWL规则到FOWL规则	第29-30页
·实现OWL的模糊逻辑公理系统	第30-38页
·OWL对模糊逻辑基础的概念表述	第30页
·模糊等价关系的定义	第30-32页
·OWL的狭义模糊命题逻辑系统	第32-38页
第四章 本体模型中扩展规则的应用	第38-44页
·本体建模	第38-40页
·依据知识加入扩展规则	第40-42页
·实现关系的推理查询	第42-44页
第五章 总结与展望	第44-46页
·总结	第44-45页
·存在问题与展望	第45-46页
参考文献	第46-50页
科研情况说明	第50-51页
致谢	第51页