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
Author:Klarman, S; Britz, KDate:Jul 2015Data-driven elicitation of ontologies from structured data is a well-recognized knowledge acquisition bottleneck. The development of efficient techniques for (semi-)automating this task is therefore practically vital — yet, hindered by the ...Read more