Rational closure in SHIQ

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

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 define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [24]. 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. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.

Lingua originale	Inglese
pagine (da-a)	543-555
Numero di pagine	13
Rivista	CEUR Workshop Proceedings
Volume	1193
Stato di pubblicazione	Pubblicato - 2014
Evento	27th International Workshop on Description Logics, DL 2014 - Vienna, Austria Durata: 17 lug 2014 → 20 lug 2014

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{6064b3ce5bd746bea859916b0165b977,

title = "Rational closure in SHIQ",

abstract = "We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [24]. 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. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.",

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

year = "2014",

language = "English",

volume = "1193",

pages = "543--555",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "27th International Workshop on Description Logics, DL 2014 ; Conference date: 17-07-2014 Through 20-07-2014",

}

TY - JOUR

T1 - Rational closure in SHIQ

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Olivetti, Nicola

AU - Pozzato, Gian Luca

PY - 2014

Y1 - 2014

N2 - We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [24]. 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. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.

AB - We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [24]. 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. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.

UR - https://www.scopus.com/pages/publications/84992573748

M3 - Conference article

AN - SCOPUS:84992573748

SN - 1613-0073

VL - 1193

SP - 543

EP - 555

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 27th International Workshop on Description Logics, DL 2014

Y2 - 17 July 2014 through 20 July 2014

ER -

Rational closure in SHIQ

Abstract

Altri file e collegamenti

Fingerprint

Cita questo