Modelling n-ary relations in description logics

Abstract

DLR is an expressive description logic with support of n-ary relations. Currently, there is no known algorithm for native reasoning within DLR. However there are two approaches that allow to delegate reasoning services of DLR to binary description logics. In this work we de ne new description logic NDL, a subset of DLR, for which we believe that native reasoning can be provided. Based on the existing approaches, we transform NDL to binary description logics for which the current of state-of-art of reasoners exist. New transformations will be analysed both theoretically and empirically. N-ary data for benchmark will be created from existing OWL ontologies by transformation of opposite direction. This benchmark can be used for comparison of native reasoning and reasoning by transformation to binary DLs.

DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych logík. V tejto práci de finujeme novú deskripčnú logiku NDL. Tá predstavuje podmnožinu DLR, pre ktorú veríme, že natívne uvažovanie vieme poskytnúť. Na základe spomínaných prací vytvoríme transformácie z NDL do binárnych logík, ktoré budeme mocť použiť v najmodernejších odvodzovacích systémoch. Nové transformácie teoreticky i prakticky analyzujeme. N-árne data pre testovanie vytvoríme z existujúcich OWL ontológií opačnou transformáciou. Táto práca môže byť použita pre porovnanie natívneho uvažovania a uvažovania pomocou transformácie do binárnych logík.