@inproceedings{a4424c22fe0c4a53ab16006f2b54b13b,
title = "Encoding a preferential extension of the description logic SROIQ into SROIQ",
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.",
author = "Laura Giordano and Valentina Gliozzi",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015 ; Conference date: 21-10-2015 Through 23-10-2015",
year = "2015",
doi = "10.1007/978-3-319-25252-0_27",
language = "English",
isbn = "9783319252513",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "248--258",
editor = "Floriana Esposito and Olivier Pivert and Stefano Ferilli and Ra{\'s}, {Zbigniew W.} and Mohand-Sa{\"i}d Hacid",
booktitle = "Foundations of Intelligent Systems - 22nd International Symposium, ISMIS 2015, Proceedings",
address = "Germany",
}