Loop Formulas for Description Logic Programs

Yisong Wang, Jia-Huai You, Li Yan Yuan +1

Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics…