10、基于规则的多方言基础设施与分布式XPath查询处理

基于规则的多方言基础设施与分布式XPath查询处理

1. 基于规则的多方言基础设施

在处理安全历史价格相关的概念性问题时，我们使用OWL来定义应用领域的概念规范（本体）。该问题的概念模式包含两个对应特定任务的文档：
- 第一个文档 ：使用RIF - BLD方言定义，其中包含一个基于给定时间段内的价格计算证券相关图的程序。
- 第二个文档 ：采用RIF - CASPD方言，包含一个计算相关图中最大团的程序。

对于投资组合多样化问题，所需资源包括主题中介（集成了Google Finance和Yahoo! Finance服务）以及基于规则的编程系统DLV中的程序。测试执行显示，在2012年针对标准普尔500证券的用例程序，在开发的基础设施中产生了11个规模为10的最大投资组合。

与相关工作相比，我们的方法有其独特之处：
| 相关工作 | 特点 | 与本文方法对比 |
| — | — | — |
| 使用RIF方言进行生产规则系统的规则交换（RIF - PRD） | 生产规则系统共享相同的操作语义 | 本文研究不同语义系统之间的规则交换问题 |
| 用于指定声明式分布式程序和管理分布式环境中数据的方法 | 每个系统使用单一声明式语言，通常是扩展了本地化概念的传统Datalog | 本文的多方言方法使用RIF远程和导入术语指定位置 |
| Webdamlog中的委托概念 | 允许在其他对等方安装规则，简单形式是远程物化视图，一般形式允许对等方交换规则 | 本文当前实现支持远程物化视图，扩展知识委托是未来工作 |
| 程序规范化的思想 |