Minimal models for rational closure in SHIQ

Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato

Minimal models for rational closure in SHIQ

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review

Abstract

We introduce a notion of rational closure for the logic SHIQ based on the well-known rational closure by Lehmann and Magidor [21]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models.

Lingua originale	Inglese
pagine (da-a)	271-277
Numero di pagine	7
Rivista	CEUR Workshop Proceedings
Volume	1231
Stato di pubblicazione	Pubblicato - 2014
Evento	15th Italian Conference on Theoretical Computer Science, ICTCS 2014 - Perugia, Italy Durata: 17 set 2014 → 19 set 2014

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{e16acb19fabf4df3b85766833d2f7231,

title = "Minimal models for rational closure in SHIQ",

abstract = "We introduce a notion of rational closure for the logic SHIQ based on the well-known rational closure by Lehmann and Magidor [21]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models.",

author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Pozzato, {Gian Luca}",

year = "2014",

language = "English",

volume = "1231",

pages = "271--277",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "15th Italian Conference on Theoretical Computer Science, ICTCS 2014 ; Conference date: 17-09-2014 Through 19-09-2014",

}

TY - JOUR

T1 - Minimal models for rational closure in SHIQ

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Olivetti, Nicola

AU - Pozzato, Gian Luca

PY - 2014

Y1 - 2014

N2 - We introduce a notion of rational closure for the logic SHIQ based on the well-known rational closure by Lehmann and Magidor [21]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models.

AB - We introduce a notion of rational closure for the logic SHIQ based on the well-known rational closure by Lehmann and Magidor [21]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models.

UR - http://www.scopus.com/inward/record.url?scp=84908519637&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84908519637

SN - 1613-0073

VL - 1231

SP - 271

EP - 277

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014

Y2 - 17 September 2014 through 19 September 2014

ER -

Minimal models for rational closure in SHIQ

Abstract

Altri file e collegamenti

Fingerprint

Cita questo