A Framework for Reasoning on Probabilistic Description Logics

10/02/2020
by   Giuseppe Cota, et al.
0

While there exist several reasoners for Description Logics, very few of them can cope with uncertainty. BUNDLE is an inference framework that can exploit several OWL (non-probabilistic) reasoners to perform inference over Probabilistic Description Logics. In this chapter, we report the latest advances implemented in BUNDLE. In particular, BUNDLE can now interface with the reasoners of the TRILL system, thus providing a uniform method to execute probabilistic queries using different settings. BUNDLE can be easily extended and can be used either as a standalone desktop application or as a library in OWL API-based applications that need to reason over Probabilistic Description Logics. The reasoning performance heavily depends on the reasoner and method used to compute the probability. We provide a comparison of the different reasoning settings on several datasets.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2014

Reasoning with Probabilistic Logics

The interest in the combination of probability with logics for modeling ...
research
06/10/2017

Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)

We present a probabilistic extension of the description logic ALC for re...
research
05/09/2012

Complexity Analysis and Variational Inference for Interpretation-based Probabilistic Description Logic

This paper presents complexity analysis and variational methods for infe...
research
08/21/2022

Tyche: A library for probabilistic reasoning and belief modelling in Python

This paper presents Tyche, a Python library to facilitate probabilistic ...
research
09/17/2018

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach

When modeling real world domains we have to deal with information that i...
research
05/09/2000

Reasoning with Axioms: Theory and Pratice

When reasoning in description, modal or temporal logics it is often usef...
research
06/17/2022

Uniform and Modular Sequent Systems for Description Logics

We introduce a framework that allows for the construction of sequent sys...

Please sign up or login with your details

Forgot password? Click here to reset