1. Acciarri A, Calvanese D, Giacomo GD, Lembo D, Lenzerini M, Palmieri M, Rosati R (2005) QuOnto: Querying ontologies. In: Proceedings of the 20th national conference on artificial intelligence (AAAI 2005)
2. Areces C, Bouma W, Rijke MD (1999) Description logics and feature interaction. In: Lambrix et al (eds) Proceedings of the international workshops on description logics (DL’99), Linkoping, Sweden
3. Baader F, Hollunder B (1991) KRIS: knowledge representation and inference system. SIGART Bull 2/3: 8–14
4. Baader F, Calvanese D, Giacomo GD, Fillottrani P, Franconi E, Grau BC, Horrocks I, Kaplunova A, Lembo D, Lenzerini M, Lutz C, Moller R, Parsia B, Patel-Schneider P, Rosati R, Suntisrivaraporn B, Tessaris S (2006) Formalisms for representing ontologies: state of the art survey. TONES
5. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2003) The description logic handbook. Cambridge University Press, Cambridge