图 书 馆
基于决策图的描述逻辑推理：将SHIQ编译为析取数据日志Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog |
|
| 课程网址: | http://videolectures.net/iswc08_rudolph_dlrdd/ |
| 主讲教师: | Sebastian Rudolph |
| 开课单位: | 德累斯顿工业大学 |
| 开课时间: | 2008-11-24 |
| 课程语种: | 英语 |
| 中文简介: |  我们在描述逻辑 $mathcal{SHIQ}$ 中提出了一种新的推理方法。从 $mathcal{SHIQ}$ 到描述逻辑 $mathcal{ALCI}b$ 的可满足性保持变换后，得到的 $mathcal{ALCI}b$ Tbox $mathcal{T}$ 转换为有序二元决策图（OBDD ) 表示 $mathcal{T}$ 的规范模型。这个 OBDD 变成了一个可用于 Abox 推理的分离数据记录程序。该算法是最坏情况下的最优 w.r.t.数据复杂性，并允许使用 DL 安全规则和基础连接查询轻松扩展。由欧盟委员会根据合同 027595 NeOn 和 215040 ACTIVE 提供支持，并由 ReaSem 项目下的 Deutsche Forschungsgemeinschaft (DFG) 提供支持。 |
| 课程简介: | We propose a novel method for reasoning in the description logic $mathcal{SHIQ}$ . After a satisfiability preserving transformation from $mathcal{SHIQ}$ to the description logic $mathcal{ALCI}b$ , the obtained $mathcal{ALCI}b$ Tbox $mathcal{T}$ is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for $mathcal{T}$ . This OBDD is turned into a disjunctive datalog program that can be used for Abox reasoning. The algorithm is worst-case optimal w.r.t. data complexity, and admits easy extensions with DL-safe rules and ground conjunctive queries. Supported by the European Commission under contracts 027595 NeOn and 215040 ACTIVE, and by the Deutsche Forschungsgemeinschaft (DFG) under the ReaSem project. |
| 关 键 词: | 逻辑 $mathcal{SHIQ}$; 有序二进制决策图; 最优 w.r.t.数据复杂性 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2021-08-11：nkq |
| 最后编审: | 2021-08-28：nkq |
| 阅读次数: | 45 |