TITLE : A rational entailment for expressive description logics via description logic programs AUTHOR(S) : Casini G, Straccia U TYPE : Other YEAR : 2021 CODE : 459195 *** DO NOT EDIT THIS FILE ***