Automated reasoning support for Standpoint-OWL 2

Author:

Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass

Keyword:

Computer Science, Artificial Intelligence, Artificial Intelligence (cs.AI), Logic in Computer Science (cs.LO)

journal:

date:

2023-04-29 16:00:00

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.

PDF: Automated reasoning support for Standpoint-OWL 2.pdf