TY - JOUR
T1 - Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
AU - Alviano, Mario
AU - Giordano, Laura
AU - Dupré, Daniele Theseider
N1 - Publisher Copyright:
© 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
PY - 2023
Y1 - 2023
N2 - In this paper we define an extension of a temporal description logic with a typicality operator, to allow for defeasible reasoning in a preferential temporal description logic. We show that a preferential extension of LTLAℒC with typicality can be polynomially encoded into LTLAℒC, and the approach allows borrowing some decidability and complexity results. We consider as well a multi-preferential temporal semantic for temporal weighted knowledge bases with typicality.
AB - In this paper we define an extension of a temporal description logic with a typicality operator, to allow for defeasible reasoning in a preferential temporal description logic. We show that a preferential extension of LTLAℒC with typicality can be polynomially encoded into LTLAℒC, and the approach allows borrowing some decidability and complexity results. We consider as well a multi-preferential temporal semantic for temporal weighted knowledge bases with typicality.
UR - http://www.scopus.com/inward/record.url?scp=85164597155&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85164597155
SN - 1613-0073
VL - 3428
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 38th Italian Conference on Computational Logic, CILC 2023
Y2 - 21 June 2023 through 23 June 2023
ER -