SROEL中的可废止推理：从理性推衍到理性闭包
人工智能
2018-10-16 v1
摘要
在本工作中，我们研究了低复杂度描述逻辑 SROEL 的一个理性扩展 ，该逻辑是 OWL EL 本体语言的基础。该扩展包含一个典型性算子 T，其语义基于 Lehmann 和 Magidor 的分级模型，并允许定义可废止包含。我们同时考虑了理性推衍和极小推衍。我们证明，在极小推衍下判定实例检查一般是 -困难的，而在理性推衍下，实例检查可在多项式时间内完成。我们开发了一种用于理性推衍下实例检查的 Datalog 演算，并利用它结合分层否定，在多项式时间内计算简单知识库（KB）的理性闭包。
引用
@article{arxiv.1803.08885,
title = {Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure},
author = {Laura Giordano and Daniele Theseider Dupré},
journal= {arXiv preprint arXiv:1803.08885},
year = {2018}
}
备注
Accepted for publication on Fundamenta Informaticae