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

Pozzato G. L.;
2019-01-01

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.
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 Dimensione Formato  
CILC19pear.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 3.19 MB
Formato Adobe PDF
3.19 MB 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/2318/1727004
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact