Automated reasoning support for Standpoint-OWL 2

04/30/2023
by   Florian Emmrich, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset