19 citations · 30 across the 5 of their papers we have counts for
8 papers · 1 filter
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or pe…
Automated reasoning support for Standpoint-OWL 2
Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing bas…
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability. However, compr…
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing ontology management app…
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 i…
Implementing Default and Autoepistemic Logics via the Logic of GK
Jianmin Ji, Hannes Strass
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To d…