1. José-Luis Aguirre, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Willem Robert van Hage, Laura Hollink, Christian Meilicke, Andriy Nikolov, Dominique Ritze, François Scharffe, Pavel Shvaiko, Ondrej Sváb-Zamazal, Cássia Trojahn dos Santos, Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Benjamin Zapilko, Results of the ontology alignment evaluation initiative 2012, in: Proceedings of the 7th International Workshop on Ontology Matching (OM), 2012.
2. Grigoris Antoniou, Frank van Harmelen, Web ontology language: OWL, in: Handbook on Ontologies, 2004, pp. 67–92.
3. The Description Logic Handbook: Theory, Implementation, and Applications,2003
4. Franz Baader, Rafael Peñaloza, Axiom pinpointing in general tableaux, in: Proceedings of International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2007, pp. 11–27.
5. Franz Baader, Rafael Penaloza, Boontawee Suntisrivaraporn, Pinpointing in the description logic EL+, in: Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI), 2007, pp. 52–67.