A Rational Entailment for Expressive Description Logics via Description Logic Programs

TL;DR

This paper introduces a new reasoning approach for expressive Description Logics like SROIQ, by modeling rational entailment through a novel compilation into description logic programs, enhancing non-monotonic reasoning capabilities.

Contribution

It presents a novel method to model rational entailment in expressive DLs by compiling knowledge bases into description logic programs, extending non-monotonic reasoning.

Findings

Provides a reasoning procedure for SROIQ using DL-programs

Enables rational non-monotonic reasoning in expressive DLs

Bridges the gap between non-monotonic logic and DLs

Abstract

Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL knowledge base into a description logic program (dl-program).