Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

Laura Giordano, Daniele Theseider Dupré

In this work we study a rational extension $SROE{L}^{R}T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typical…