Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

Mario Alviano; Laura GIORDANO; Daniele THESEIDER DUPRE'

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Abstract

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.

Lingua originale	Inglese
Stato di pubblicazione	Pubblicato - 2023
Evento	38th Italian Conference on Computational Logic, CILC 2023 - Udine, Italia Durata: 1 gen 2023 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	38th Italian Conference on Computational Logic, CILC 2023
Città	Udine, Italia
Periodo	1/01/23 → …

Accesso al documento

https://hdl.handle.net/11579/165682

Altri file e collegamenti

handle

Cita questo

@conference{b070f84567e54b688949f4cdcc58679a,

title = "Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases",

abstract = "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.",

author = "Mario Alviano and Laura GIORDANO and \{THESEIDER DUPRE'\}, Daniele",

year = "2023",

language = "English",

note = "38th Italian Conference on Computational Logic, CILC 2023 ; Conference date: 01-01-2023",

}

TY - CONF

T1 - Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

AU - Alviano, Mario

AU - GIORDANO, Laura

AU - THESEIDER DUPRE', Daniele

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 - https://iris.uniupo.it/handle/11579/165682

M3 - Paper

T2 - 38th Italian Conference on Computational Logic, CILC 2023

Y2 - 1 January 2023

ER -

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

Abstract

???event.eventtypes.event.conference???

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo