Automated reasoning support for Standpoint-OWL 2
Artificial Intelligence
2023-05-02 v1 Logic in Computer Science
Abstract
We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing base logics by standpoints according to a recently introduced formalism that we also recall. The tool works by translating the standpoint-enhanced version of the description logic SROIQ to its plain (i.e. classical) version. Existing reasoners can then be directly used to provide automated support for reasoning about diverse standpoints.
Cite
@article{arxiv.2305.00559,
title = {Automated reasoning support for Standpoint-OWL 2},
author = {Florian Emmrich and Lucía Gómez Álvarez and Hannes Strass},
journal= {arXiv preprint arXiv:2305.00559},
year = {2023}
}