Optimizing Terminological Reasoning for Expressive Description Logics
Optimizing Terminological Reasoning for Expressive Description Logics
复制标题
DOI：
10.1007/s10817-007-9077-y
复制
发表时间：
2007-10
期刊：
影响因子：
--
通讯作者：
Dmitry Tsarkov;Ian Horrocks;P. Patel-Schneider
中科院分区：
文献类型：
--
作者：
Dmitry Tsarkov;Ian Horrocks;P. Patel-Schneider
Tableau算法是目前表达描述逻辑中应用最广泛、速度最快的推理算法，包括重要的描述逻辑和。在使用基于Tableau的算法时，要在表达描述逻辑中实现高水平的术语推理，需要结合各种优化。描述逻辑系统FACT++实现了各种各样的这种优化，有些出现在其他推理器中，有些在FACT++中新颖或改进。
Tableau algorithms are currently the most widely used and empirically the fastest algorithms for reasoning in expressive description logics, including the important description logicsand. Achieving a high level of performance on terminological reasoning in expressive description logics when using tableau-based algorithms requires the incorporation of a wide variety of optimizations. The description logic system FaCT++ implements a wide variety of such optimizations, some present in other reasoners and some novel or refined in FaCT++.