Description logics (DLs) are well-known knowledge representation formalisms focused on the representation of terminological knowledge. Due to their first-order semantics, these languages (in their classical form) are not suitable for representing and handling uncertainty. A probabilistic extension of a light-weight DL was recently proposed for dealing with certain knowledge occurring in uncertain contexts. In this paper, we continue that line of research by introducing the Bayesian extension of the propositionally closed DL. We present a tableau-based procedure for deciding consistency and adapt it to solve other probabilistic, contextual, and general inferences in this logic. We also show that all these problems remain ExpTime-complete, the same as reasoning in the underlying classical.

Botha, L., Meyer, T., Peñaloza, R. (2021). The Probabilistic Description Logic BALC. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 21(4), 404-427 [10.1017/S1471068420000460].

The Probabilistic Description Logic BALC

Peñaloza R
2021

Abstract

Description logics (DLs) are well-known knowledge representation formalisms focused on the representation of terminological knowledge. Due to their first-order semantics, these languages (in their classical form) are not suitable for representing and handling uncertainty. A probabilistic extension of a light-weight DL was recently proposed for dealing with certain knowledge occurring in uncertain contexts. In this paper, we continue that line of research by introducing the Bayesian extension of the propositionally closed DL. We present a tableau-based procedure for deciding consistency and adapt it to solve other probabilistic, contextual, and general inferences in this logic. We also show that all these problems remain ExpTime-complete, the same as reasoning in the underlying classical.
Articolo in rivista - Articolo scientifico
databases and semantic web reasoning; knowledge representation and nonmonotonic reasoning;
English
11-dic-2020
2021
21
4
404
427
open
Botha, L., Meyer, T., Peñaloza, R. (2021). The Probabilistic Description Logic BALC. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 21(4), 404-427 [10.1017/S1471068420000460].
File in questo prodotto:
File Dimensione Formato  
2020_TPLP.pdf

accesso aperto

Tipologia di allegato: Submitted Version (Pre-print)
Dimensione 433.1 kB
Formato Adobe PDF
433.1 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/374445
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
Social impact