Preferential Low Complexity Description Logics: Complexity Results and Proof Methods

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]

Abstract

Abstract is missing.