|
用决策图描述逻辑推理：编译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推理的析取数据记录程序。该算法是最坏情况下的最佳情况。数据的复杂性，并允许通过DL安全规则和地面联合查询轻松扩展。由欧盟委员会根据合同027595 NeOn和215040 ACTIVE以及Deutsche Forschungsgemeinschaft（DFG）在ReaSem项目下支持。
|
| 课程简介: |
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.
|
| 关 键 词: |
描述逻辑; 有序二进制决策图; 数据记录程序
|
| 课程来源: |
视频讲座网
|
| 最后编审: |
2019-05-05：lxf
|
| 阅读次数: |
75
|
|
图 书 馆