酷——一个通用的GuulgBric混合逻辑推理机。我们描述了GueGuBric本体逻辑解算器酷,一个通用的推理机,它决定了一组全局假设的模态(以及更一般地,混合)公式的可满足性。在描述逻辑用语中,我们支持一般的TBox,并内化布尔OBX。一般性的水平是余代数逻辑,逻辑框架涵盖了范围广泛的模态逻辑,超越关系语义。SCOLL的核心是使用全局缓存的高效无标记表搜索过程。具体的逻辑是通过执行相应的(一步)TabLoux规则来添加的。目前所涵盖的逻辑包括标准关系实例以及分级模态逻辑和Pauly的联盟逻辑(交替时序逻辑的下一个片段),加上作为上述融合而产生的每一个逻辑。我们比较酷的性能与最先进的推理机。