Encoding a preferential extension of the description logic SROIQ into SROIQ

Laura Giordano, Valentina Gliozzi

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

In this paper we define an extension of the description logic SROIQ based on a preferential semantics to introduce a notion of typicality in the language which allows defeasible inclusions to be represented in a knowledge base. We define a polynomial encoding of the resulting language into SROIQ, thus showing that reasoning in the preferential extension of SROIQ has the same complexity as reasoning in SROIQ.

Lingua originaleInglese
Titolo della pubblicazione ospiteFoundations of Intelligent Systems - 22nd International Symposium, ISMIS 2015, Proceedings
EditorFloriana Esposito, Olivier Pivert, Stefano Ferilli, Zbigniew W. Raś, Mohand-Saïd Hacid
EditoreSpringer Verlag
Pagine248-258
Numero di pagine11
ISBN (stampa)9783319252513
DOI
Stato di pubblicazionePubblicato - 2015
Evento22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015 - Lyon, France
Durata: 21 ott 201523 ott 2015

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9384
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015
Paese/TerritorioFrance
CittàLyon
Periodo21/10/1523/10/15

Fingerprint

Entra nei temi di ricerca di 'Encoding a preferential extension of the description logic SROIQ into SROIQ'. Insieme formano una fingerprint unica.

Cita questo