Automated reasoning support for Standpoint-OWL 2

Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
4/30/2023
cs.AIcs.LO

No confident code implementation found for this paper. 3 possible matches can be shown below.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 3 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Standpoint Linear Temporal Logic

80% match2023

Towards CausalGPT: A Multi-Agent Approach for Faithful Knowledge Reasoning via Promoting Causal Consistency in LLMs

78% match2023

TruthSplit: Operationalizing Conditional Validity in Arguments Through Multi-Perspective Reasoning

78% match2026

Clash of the Explainers: Argumentation for Context-Appropriate Explanations

78% match2023

Logical Reasoning over Natural Language as Knowledge Representation: A Survey

78% match1 repo72023

From Complex to Simple: Unraveling the Cognitive Tree for Reasoning with Small Language Models

78% match2023

Cite this paper

@article{emmrich2023automated,
  title  = {Automated reasoning support for Standpoint-OWL 2},
  author = {Florian Emmrich and Lucía Gómez Álvarez and Hannes Strass},
  year   = {2023},
  eprint = {2305.00559},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2305.00559v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2305.00559.svg)](https://codeofpaper.com/paper/2305.00559)

Discussion