粗描述逻辑RALCQ的Tableau推理

A Tableau Decision Procedure for Rough Description Logic RALCQ

基于描述逻辑ALCQ,通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性。

Based on the description logic ALCQ,the rough description logic RALCQ is gained by introducing generalization of approximation operator. Then reference rules of Tableau algorithm and complexity of reasoning which appear in RALCQ are decided.