Reasoning in Non-normal Modal Description Logics

06/30/2022
by   Tiziano Dalmonte, et al.
0

Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators. First, we provide a framework of terminating, correct, and complete tableau algorithms to check satisfiability of formulas in such logics with the semantics based on varying domains. We then investigate the satisfiability problems in fragments of these languages obtained by restricting the application of modal operators to formulas only, and interpreted on models with constant domains, providing tight complexity results.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/23/2023

Non-Normal Modal Description Logics (Extended Version)

Modal logics are widely used in multi-agent systems to reason about acti...
research
06/09/2011

Fusions of Description Logics and Abstract Description Systems

Fusions are a simple way of combining logics. For normal modal logics, f...
research
01/15/2014

Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

In the last two decades, modal and description logics have been applied ...
research
02/26/2019

Adding the Power-Set to Description Logics

We explore the relationships between Description Logics and Set Theory. ...
research
04/14/2022

Non-Normal Super-Strict Implications

This paper introduces the logics of super-strict implications that are b...
research
02/03/2022

Are Bundles Good Deals for FOML?

Bundled products are often offered as good deals to customers. When we b...
research
02/22/2020

A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints

The aim of this work is to provide a family of qualitative theories for ...

Please sign up or login with your details

Forgot password? Click here to reset