Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou. Optimising Resolution-Based Rewriting Algorithms for DL Ontologies. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 464-476, CEUR-WS.org, 2013.
Abstract is missing.