Author:Casini, G; Straccia, U; Meyer, Thomas ADate:Sep 2018Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe ELO , a notable and practically ...Read more