A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_ under Rational Closure

02/22/2018
by   Giovanni Casini, et al.
0

Description 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 important DL representative of the OWL 2 profile OWL 2 EL. Our contribution here is to define a polynomial time subsumption procedure for nominal safe ELO_ under RC that relies entirely on a series of classical, monotonic EL_ subsumption tests. Therefore, any existing classical monotonic EL_ reasoner can be used as a black box to implement our method. We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/16/2019

Theoretical Foundations of Defeasible Description Logics

We extend description logics (DLs) with non-monotonic reasoning features...
research
06/28/2021

A Rational Entailment for Expressive Description Logics via Description Logic Programs

Lehmann and Magidor's rational closure is acknowledged as a landmark in ...
research
05/05/2013

On Rational Closure in Description Logics of Typicality

We define the notion of rational closure in the context of Description L...
research
07/08/2018

Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

Reasoning about exceptions in ontologies is nowadays one of the challeng...
research
03/23/2018

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

In this work we study a rational extension SROEL^R T of the low complexi...
research
07/15/2020

Defeasible RDFS via Rational Closure

In the field of non-monotonic logics, the notion of Rational Closure (RC...
research
12/07/2022

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests

SHACL is a W3C-proposed schema language for expressing structural constr...

Please sign up or login with your details

Forgot password? Click here to reset