Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Minimal models for rational closure in SHIQ

Contributo in Atti di convegno
Data di Pubblicazione:
2014
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Nonmonotonic reasoning; Description Logics
Elenco autori:
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
Autori di Ateneo:
GLIOZZI Valentina
POZZATO Gian Luca
Link alla scheda completa:
https://iris.unito.it/handle/2318/153798
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/153798/27382/short6.pdf
Titolo del libro:
ICTCS 2014 Italian Conference on Theoretical Computer Science
Pubblicato in:
CEUR WORKSHOP PROCEEDINGS
Journal
CEUR WORKSHOP PROCEEDINGS
Series
  • Dati Generali

Dati Generali

URL

http://ceur-ws.org/Vol-1231/; http://www.dmi.unipg.it/ictcs2014/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0