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

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › 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.

Original language	English
Publication status	Published - 2023
Event	38th Italian Conference on Computational Logic, CILC 2023 - Udine, Italia Duration: 1 Jan 2023 → …

Conference

Conference	38th Italian Conference on Computational Logic, CILC 2023
City	Udine, Italia
Period	1/01/23 → …

Access to Document

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

Cite this

@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

Conference

Access to Document

Other files and links

Fingerprint

Cite this