DL-Lite 的度量时序扩展与区间刚性名
计算机科学中的逻辑
2018-08-08 v1
摘要
DL-Lite 描述逻辑允许在数据库之上对领域知识进行建模并实现高效推理。我们关注 DL-Lite_bool 及其片段的度量时序扩展，并研究其可满足性的计算复杂度。特别地，我们考察了刚性与区间刚性符号的影响，这些符号可用于对在特定时间段内保持有效的知识进行建模。我们表明，尤其在许多逻辑中，后者赋予了相当强的表达能力，但它们并不总是增加复杂度。
引用
@article{arxiv.1808.02055,
title = {Metric Temporal Extensions of DL-Lite and Interval-Rigid Names},
author = {Veronika Thost},
journal= {arXiv preprint arXiv:1808.02055},
year = {2018}
}