In this work we describe PEAR, a tool for reasoning about prototypical properties in an extension of Description Logics of typicality with probabilities and scenarios. PEAR implements a non-monotonic procedure for the logic ALC+TPR, a recently introduced extension of the logic of typicality ALC+TR by inclusions of the form T(C) ?p D, where p is a real number between 0 and 1 capturing the intuition that “all the typical Cs are Ds, and the probability that a C is not a D is 1 − p”. In this logic, different scenarios are considered by taking into account several extension of the ABox, containing only some typicality assumptions about individuals. Each scenario has a probability depending on those equipping typicality inclusions, then entailment can be restricted to scenarios whose probabilities belong to a given and fixed range. PEAR is implemented in Python, it computes all scenarios of a knowledge base and it allows the user to check the probability of a query by exploiting a translation into standard ALC.

### PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality

#### Abstract

In this work we describe PEAR, a tool for reasoning about prototypical properties in an extension of Description Logics of typicality with probabilities and scenarios. PEAR implements a non-monotonic procedure for the logic ALC+TPR, a recently introduced extension of the logic of typicality ALC+TR by inclusions of the form T(C) ?p D, where p is a real number between 0 and 1 capturing the intuition that “all the typical Cs are Ds, and the probability that a C is not a D is 1 − p”. In this logic, different scenarios are considered by taking into account several extension of the ABox, containing only some typicality assumptions about individuals. Each scenario has a probability depending on those equipping typicality inclusions, then entailment can be restricted to scenarios whose probabilities belong to a given and fixed range. PEAR is implemented in Python, it computes all scenarios of a knowledge base and it allows the user to check the probability of a query by exploiting a translation into standard ALC.
##### Scheda breve Scheda completa Scheda completa (DC)
2019
34th Italian Conference on Computational Logic, CILC 2019
Trieste (Italia)
2019
CEUR Workshop Proceedings
CEUR-WS
2396
147
156
http://ceur-ws.org/Vol-2396/paper17.pdf
Pozzato G.L.; Soriano G.
File in questo prodotto:
File
CILC19pear.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 3.19 MB
Utilizza questo identificativo per citare o creare un link a questo documento: `https://hdl.handle.net/2318/1727004`