We introduce a nonmonotonic procedure for preferential Description Logics in order to reason about typicality by taking probabilities of exceptions into account. We consider an extension, called ALC+TR, of the logic of typicality ALC+TR by inclusions of the form T(C)⊑pD , whose intuitive meaning is that “typical Cs are Ds with a probability p”. We consider a notion of extension of an ABox containing only some typicality assertions, then we equip each extension with a probability. We then restrict entailment of a query F to those extensions whose probabilities belong to a given and fixed range. We propose a decision procedure for reasoning in ALC+TR and we exploit it to show that entailment is ExpTime-complete as for the underlying ALC.

Reasoning in description logics with typicalities and probabilities of exceptions

Pozzato, Gian Luca
2017-01-01

Abstract

We introduce a nonmonotonic procedure for preferential Description Logics in order to reason about typicality by taking probabilities of exceptions into account. We consider an extension, called ALC+TR, of the logic of typicality ALC+TR by inclusions of the form T(C)⊑pD , whose intuitive meaning is that “typical Cs are Ds with a probability p”. We consider a notion of extension of an ABox containing only some typicality assertions, then we equip each extension with a probability. We then restrict entailment of a query F to those extensions whose probabilities belong to a given and fixed range. We propose a decision procedure for reasoning in ALC+TR and we exploit it to show that entailment is ExpTime-complete as for the underlying ALC.
2017
14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017
Lugano (Switzerland)
10 July 2017 through 14 July 2017
Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017
Springer Verlag
LNAI 10369
409
420
9783319615806
https://link.springer.com/chapter/10.1007%2F978-3-319-61581-3_37
Description logics, nonmonotonic reasoning, typicality, probabilistic reasoning, exceptions
Pozzato, Gian Luca
File in questo prodotto:
File Dimensione Formato  
ECSQARU2017.pdf

Accesso riservato

Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 363.27 kB
Formato Adobe PDF
363.27 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/2318/1655257
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 6
social impact