论文标题
时间DL-Lite中的自动推理
Automated Reasoning in Temporal DL-Lite
论文作者
论文摘要
本文研究了自动推理对时间dl-lite（TDL-lite）知识库（KBS）的可行性。我们测试了现成的LTL推理器的用法，以检查TDL-Lite KBS的满意度。特别是，我们在处理与颞abox配对的TDL-Lite Tbox时测试了推理器的鲁棒性和可扩展性。我们通过随机生成TDL-Lite KB，然后测量翻译的运行时间和大小来分析不同推理器的性能。此外，为了使TDL-Lite KBS的使用成为现实，我们提供了一个完整的工具，该工具具有图形接口来设计它们。我们的界面基于概念建模原理，它与我们的翻译工具和时间推理器集成在一起。
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check satisfiability of TDL-Lite KBs. In particular, we test the robustness and the scalability of reasoners when dealing with TDL-Lite TBoxes paired with a temporal ABox. We conduct various experiments to analyse the performance of different reasoners by randomly generating TDL-Lite KBs and then measuring the running time and the size of the translations. Furthermore, in an effort to make the usage of TDL-Lite KBs a reality, we present a fully fledged tool with a graphical interface to design them. Our interface is based on conceptual modelling principles and it is integrated with our translation tool and a temporal reasoner.
