We present a new family of representation languages, called Description Logic Programs (DLPs) and DLPs with uncertainty. The former combine the expressive power of description logics and disjunctive logic programs, while the latter are DLPs in which the management of uncertainty is based on so-called annotation terms, inspired by the generalized annotated logic programming framework Kifer and Subrahmanian.
Uncertainty in Description Logic Programs
Straccia U
2004
Abstract
We present a new family of representation languages, called Description Logic Programs (DLPs) and DLPs with uncertainty. The former combine the expressive power of description logics and disjunctive logic programs, while the latter are DLPs in which the management of uncertainty is based on so-called annotation terms, inspired by the generalized annotated logic programming framework Kifer and Subrahmanian.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160760-doc_125785.pdf
accesso aperto
Descrizione: Uncertainty in Description Logic Programs
Dimensione
215.09 kB
Formato
Adobe PDF
|
215.09 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
