Tiziano Dalmonte

Non-Normal Modal Description Logics (Extended Version)

2023 · arXiv (Cornell University)

Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning …