Integrating Context of Statements within Description Logics

09/14/2017
by   Antoine Zimmermann, et al.
0

We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements in the case of Description Logics. Then, we define several properties of contextualization that are desirable. No previous approaches satisfy all of the them. Consequently, we define a new way of contextually annotating statements. It is inspired by NdFluents, which is itself an extension of the 4dFluents approach for annotating statements with temporal context. In NdFluents, instances that are involved in a contextual statement are sliced into contextual parts, such that only parts in the same context hold relations to one another, with the goal of better preserving inferences. We generalize this idea by defining contextual parts of relations and classes. This formal construction better satisfies the properties, although not entirely. We show that it is a particular case of a general mechanism that NdFluents also instantiates, and present other variations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/24/2023

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Probabilistic couplings are the foundation for many probabilistic relati...
research
04/06/2016

On the uniform one-dimensional fragment

The uniform one-dimensional fragment of first-order logic, U1, is a rece...
research
07/25/2002

A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) fo...
research
09/22/2016

NdFluents: A Multi-dimensional Contexts Ontology

Annotating semantic data with metadata is becoming more and more importa...
research
10/12/2011

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

Matchmaking arises when supply and demand meet in an electronic marketpl...
research
09/12/2016

Logical Induction

We present a computable algorithm that assigns probabilities to every lo...
research
01/31/2019

Decomposing Generalization: Models of Generic, Habitual, and Episodic Statements

We present a novel semantic framework for modeling linguistic expression...

Please sign up or login with your details

Forgot password? Click here to reset