In this paper, we develop a many-valued semantics for the description logic LTLALC, a temporal extension of description logic ALC, based on Linear-time Temporal Logic (LTL). We add a typicality operator to represent defeasible properties, and discuss the use of the (many-valued) temporal conditional logic and of weighted KBs for explaining the dynamic behaviour of a network.
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability
Botta M.;Esposito R.;
2024-01-01
Abstract
In this paper, we develop a many-valued semantics for the description logic LTLALC, a temporal extension of description logic ALC, based on Linear-time Temporal Logic (LTL). We add a typicality operator to represent defeasible properties, and discuss the use of the (many-valued) temporal conditional logic and of weighted KBs for explaining the dynamic behaviour of a network.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper16.pdf
Accesso aperto
Tipo di file:
PDF EDITORIALE
Dimensione
1.16 MB
Formato
Adobe PDF
|
1.16 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
