A. Borgida and P. F. Patel-schneider, A semantics and complete algorithm for subsumption in the CLASSIC description logic, J.of Artificial Intelligence Research, vol.1, pp.277-308, 1994.

M. Brachman, Resnick Living with classic: When and how to use a kl-one-like language, 1991.

O. Dameron, Modélisation, représentation et partage de connaissances anatomiques sur le cortex cérébral, Thèse de doctorat d'Université, 2003.

F. M. Donini and M. Lenzerini, et al AL-log: Integrating Datalog and Description Logics, Journal of Intelligent Information Systems, 1998.

C. Golbreich, O. Dameron, B. Gibaud, and A. Burgun, Web ontology language requirements w.r.t expressiveness of taxononomy and axioms in medecine, 2nd International Semantic Web Conference, LNCS, vol.2870, 2003.

C. Golbreich, Combining Rule and Ontology Reasoners for the Semantic Web, Invited talk, Rules and Rule Markup Languages for the Semantic Web, Boley Editors, 2004.

C. Golbreich, S. Zhang, and O. Bodenreider, Migrating the FMA from Protégé to OWL, Proc. of the 8th International Protégé Conference, 2005.

C. Golbreich, O. Bierlaire, O. Dameron, and B. Gibaud, Use Case: Ontology with Rules for identifying brain anatomical structures, W3C Workshop on Rule Languages for Interoperability, 2005.

B. Grosof, I. Horrocks, R. Volz, and S. Decker, Description logic programs, Proceedings of the twelfth international conference on World Wide Web , WWW '03, 2003.
DOI : 10.1145/775152.775160

V. Haarslev and R. Möller, Description of the RACER System and its Applications. Description Logics, 2001.

I. Horrocks and U. Sattler, Decidability of <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="script">SHIQ</mml:mi></mml:math> with complex role inclusion axioms, Artificial Intelligence, vol.160, issue.1-2, pp.79-104, 2004.
DOI : 10.1016/j.artint.2004.06.002

I. Horrocks, P. F. Patel-schneider, S. Bechhofer, and D. Tsarkov, OWL rules: A proposal and prototype implementation, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.1, 2005.
DOI : 10.1016/j.websem.2005.05.003

A. Y. Levy and M. Rousset, Combining Horn rules and description logics in CARIN, Artificial Intelligence, vol.104, issue.1-2, pp.165-209, 1998.
DOI : 10.1016/S0004-3702(98)00048-4

J. Mei and E. Paslaru-bontas, Reasoning Paradigms for SWRL-enabled Ontologies, Protégé With Rules Workshop, 2005.

B. Motik, U. Sattler, and R. Studer, Query Answering for OWL-DL with Rules, ISWC 2004
DOI : 10.1007/978-3-540-30475-3_38

O. Connor, M. Knublauch, H. Samson, T. Musen, and M. , Writing Rules for the Semantic Web Using SWRL and Jess, Protégé With Rules WS, 2005.

R. Rosati, On the decidability and complexity of integrating ontologies and rules, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.1, 2005.
DOI : 10.1016/j.websem.2005.05.002

C. Rosse, J. Mejino, and J. , A reference ontology for biomedical informatics: the Foundational Model of Anatomy, Journal of Biomedical Informatics, vol.36, issue.6, pp.478-500, 2003.
DOI : 10.1016/j.jbi.2003.11.007