We present a probabilistic extension of the description logic ALC for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical consequences of these proportions. After introducing some general reasoning problems and analyzing their properties, we present first algorithms and complexity results for reasoning in some fragments of Statistical ALC.
Peñaloza, R., Potyka, N. (2017). Towards statistical reasoning in description logics over finite domains. In Scalable Uncertainty Management (pp.280-294). Springer Verlag [10.1007/978-3-319-67582-4_20].
Towards statistical reasoning in description logics over finite domains
Peñaloza, R
;
2017
Abstract
We present a probabilistic extension of the description logic ALC for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical consequences of these proportions. After introducing some general reasoning problems and analyzing their properties, we present first algorithms and complexity results for reasoning in some fragments of Statistical ALC.File | Dimensione | Formato | |
---|---|---|---|
Peñaloza-2017-SUM-preprint.pdf
accesso aperto
Descrizione: Intervento a convegno
Tipologia di allegato:
Submitted Version (Pre-print)
Licenza:
Altro
Dimensione
308.91 kB
Formato
Adobe PDF
|
308.91 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.