OWL本体并行推理

目录

声明

第1章 绪论

1.1课题背景

1.2研究目标和主要内容

1.3论文组织结构

第2章 描述逻辑与查询应答

2.1 OWL本体逻辑基础

2.1.1描述逻辑的语法和语义

2.1.2描述逻辑知识库

2.1.3描述逻辑的推理服务

2.2查询应答

2.2.1合取查询相关工作

2.2.2 Ontop

2.2.3 RDFox

第3章 OWL本体查询应答

3.1合取查询

3.1.1 SPARQL语法和语义

3.1.2合取查询SPARQL形式化表示

3.1.3合取查询的步长

3.2 OWL-Horst推理

3.3 Uk模型

3.3.1 Uk模型定义

3.3.2 Uk模型算法

3.3.3 Uk模型优化

3.4分布式处理

3.5小结

第4章 实验验证与结果分析

4.1查询改写Ontop对照实验

4.1.1实验环境

4.1.2实验数据集与查询集

4.1.3查询分析

4.2简单物化RDFox对照实验

4.2.1实验环境

4.2.2实验数据集与查询集

4.2.3查询分析

第5章 总结与展望

5.1总结

5.2展望

参考文献

发表论文和参加科研情况说明

致谢