In this paper, we develop a many-valued semantics for the description logic LTLAℒC, a temporal extension of description logic AℒC, 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 Description Logics with Typicality: an Abridged Report
Botta M.;Esposito R.;
2024-01-01
Abstract
In this paper, we develop a many-valued semantics for the description logic LTLAℒC, a temporal extension of description logic AℒC, 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 | |
|---|---|---|---|
|
Many-valued Temporal Description Logics Report.pdf
Accesso aperto
Tipo di file:
PDF EDITORIALE
Dimensione
1.13 MB
Formato
Adobe PDF
|
1.13 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
