Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

Mario Alviano; Laura Giordano; Daniele Theseider Dupré

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › 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
Rivista	CEUR Workshop Proceedings
Volume	3428
Stato di pubblicazione	Pubblicato - 2023
Evento	38th Italian Conference on Computational Logic, CILC 2023 - Udine, Italy Durata: 21 giu 2023 → 23 giu 2023

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{540dd4fed5c54cb788053f631919d6ad,

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 Dupr{\'e}, \{Daniele Theseider\}",

note = "Publisher Copyright: {\textcopyright} 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).; 38th Italian Conference on Computational Logic, CILC 2023 ; Conference date: 21-06-2023 Through 23-06-2023",

year = "2023",

language = "English",

volume = "3428",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

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

AU - Alviano, Mario

AU - Giordano, Laura

AU - Dupré, Daniele Theseider

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://www.scopus.com/pages/publications/85164597155

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 -

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

Abstract

Altri file e collegamenti

Fingerprint

Cita questo