Many-valued Temporal Description Logics with Typicality: an Abridged Report
Contributo in Atti di convegno
Data di Pubblicazione:
2024
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Explainability; Many-valued Description Logics; Preferential Logics; Temporal Logics
Elenco autori:
Alviano M.; Botta M.; Esposito R.; Giordano L.; Dupre D.T.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: