Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

02/25/2023
by   Lucía Gómez Álvarez, et al.
0

The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability. However, comprehensive domains with a broad user base are often at odds with strong axiomatisations otherwise useful for inferencing, since these are usually context-dependent and subject to diverging perspectives. In this paper we introduce Standpoint EL, a multi-modal extension of EL that allows for the integrated representation of domain knowledge relative to diverse, possibly conflicting standpoints (or contexts), which can be hierarchically organised and put in relation to each other. We establish that Standpoint EL still exhibits EL's favourable PTime standard reasoning, whereas introducing additional features like empty standpoints, rigid roles, and nominals makes standard reasoning tasks intractable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/14/2022

How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic

The importance of taking individual, potentially conflicting perspective...
research
04/27/2023

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

Standpoint EL is a multi-modal extension of the popular description logi...
research
09/20/2018

Syntactico-Semantic Reasoning using PCFG, MEBN, and PR-OWL

Probabilistic context free grammars (PCFG) have been the core of the pro...
research
08/09/2023

Neuro-Symbolic RDF and Description Logic Reasoners: The State-Of-The-Art and Challenges

Ontologies are used in various domains, with RDF and OWL being prominent...
research
04/30/2023

Automated reasoning support for Standpoint-OWL 2

We present a tool for modelling and reasoning with knowledge from variou...
research
07/31/2018

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledg

The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
04/04/2023

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies

Inconsistency handling is an important issue in knowledge management. Es...

Please sign up or login with your details

Forgot password? Click here to reset