ALC子布尔片段的可满足性复杂度
计算机科学中的逻辑
2010-03-30 v6 计算复杂性
摘要
基本描述逻辑ALC中的标准推理问题——概念可满足性——是PSPACE完全的，而在存在无限制公理的情况下是EXPTIME完全的。ALC的几个片段，特别是FL、EL和DL-Lite族中的逻辑，具有更简单的可满足性问题；有时甚至是易处理的。所有这些片段都以某种方式限制了布尔算子的使用。我们研究了布尔算子的系统性和更一般的限制，并建立了在存在公理情况下概念可满足性问题的复杂度。我们将易处理情形与难处理情形区分开来。
引用
@article{arxiv.1001.4255,
title = {The Complexity of Satisfiability for Sub-Boolean Fragments of ALC},
author = {Arne Meier and Thomas Schneider},
journal= {arXiv preprint arXiv:1001.4255},
year = {2010}
}
备注
17 pages, accepted (in short version) to Description Logic Workshop 2010