1. [1] Juan Esteban Maya Alvarez. Query engine for massive distributed ontologies using mapreduce. Master’s thesis, Technische Universitat Hamburg-Harburg, 2010.
2. [2] Mina Aslani and Volker Haarslev. Parallel tbox classification in description logics - first experimental results. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, volume 215 of Frontiers in Artificial Intelligence and Applications, pages 485–490, Lisbon, Portugal, August 16-20, 2010. IOS Press.
3. [3] Mina Aslani and Volker Haarslev. Concurrent classification of owl ontologies - an empirical evaluation. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, volume 846, Rome, Italy, June 7-10, 2012.
4. [4] Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter. From tableaux to automata for description logics. volume 57, pages 247–279, Amsterdam, The Netherlands, The Netherlands, 2003. IOS Press.
5. [5] Franz Baader and Ulrike Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69:5–40, 2001.