A semantics and complete algorithm for subsumption in the CLASSIC description logic, J.of Artificial Intelligence Research, vol.1, pp.277-308, 1994. ,
Resnick Living with classic: When and how to use a kl-one-like language, 1991. ,
Modélisation, représentation et partage de connaissances anatomiques sur le cortex cérébral, Thèse de doctorat d'Université, 2003. ,
et al AL-log: Integrating Datalog and Description Logics, Journal of Intelligent Information Systems, 1998. ,
Web ontology language requirements w.r.t expressiveness of taxononomy and axioms in medecine, 2nd International Semantic Web Conference, LNCS, vol.2870, 2003. ,
Combining Rule and Ontology Reasoners for the Semantic Web, Invited talk, Rules and Rule Markup Languages for the Semantic Web, Boley Editors, 2004. ,
Migrating the FMA from Protégé to OWL, Proc. of the 8th International Protégé Conference, 2005. ,
Use Case: Ontology with Rules for identifying brain anatomical structures, W3C Workshop on Rule Languages for Interoperability, 2005. ,
Description logic programs, Proceedings of the twelfth international conference on World Wide Web , WWW '03, 2003. ,
DOI : 10.1145/775152.775160
Description of the RACER System and its Applications. Description Logics, 2001. ,
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
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
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
Reasoning Paradigms for SWRL-enabled Ontologies, Protégé With Rules Workshop, 2005. ,
Query Answering for OWL-DL with Rules, ISWC 2004 ,
DOI : 10.1007/978-3-540-30475-3_38
Writing Rules for the Semantic Web Using SWRL and Jess, Protégé With Rules WS, 2005. ,
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
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