TY - JOUR
T1 - Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability
AU - Alviano, Mario
AU - Botta, Marco
AU - Esposito, Roberto
AU - Giordano, Laura
AU - Theseider Dupré, Daniele
N1 - Publisher Copyright:
© 2024 Copyright for this paper by its authors.
PY - 2024
Y1 - 2024
N2 - 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.
AB - 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.
KW - Explainability
KW - Many-valued Description Logics
KW - Preferential Logics
KW - Temporal Logics
UR - http://www.scopus.com/inward/record.url?scp=85200112477&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85200112477
SN - 1613-0073
VL - 3733
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 39th Italian Conference on Computational Logic, CILC 2024
Y2 - 26 June 2024 through 28 June 2024
ER -