# Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

23 Mar 2018Laura GiordanoDaniele Theseider Dupré

In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked models and allows for the definition of defeasible inclusions... (read more)

PDF Abstract