Optimized absorption method to reduce the time of tableaux algorithm

Abstract

На сегодняшний день, наиболее широко используемым инструментом представления знаний является язык OWL, и как следствие его логическая основа – дескрипционные логики. Вывод знаний осуществляется с помощью табличного метода, который имеет экспоненциальную вычислительную сложность. В данной статье приводится усовершенствование метода поглощения, который не позволит уменьшить вычислительную сложность алгоритма на практике, зато позволит сократить время работы табличного алгоритма на практике.

Today, the most widely used tool for knowledge representation is the OWL language, and as a consequence its logical basis – descriptive logics. Knowledge inference is performed using the tabular method, which has exponential computational complexity. This paper presents an improvement of the absorption method, which will not reduce the computational complexity of the algorithm in practice, but will reduce the running time of the tabular algorithm in practice.