What Reasoning Support for Ontology and Rules? The Brain Anatomy Case Study

This paper presents a medical case study, which requires reasoning with an OWL ontology extended by rules. The application aims at assisting the labeling of some brain cortex structures identified in MRI images. A simplified example is provided to illustrate the need for supplementing OWL with rules, for reasoning over such hybrid knowledge, and showing potential issues with doing that. Then, we describe some of the available techniques and implementations for reasoning over hybrid systems and discuss potential tools that might be considered for this application.

[1]  Olivier Bodenreider,et al.  Migrating the FMA from Protégé to OWL , 2005 .

[2]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[3]  Olivier Dameron.  Modélisation, représentation et partage de connaissances anatomiques sur le cortex cérébral , 2003 .

[4]  Francesco M. Donini,et al.  A Hybrid System with Datalog and Concept Languages , 1991, AI*IA.

[5]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[6]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[7]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[8]  Christine Golbreich,et al.  Combining Rule and Ontology Reasoners for the Semantic Web , 2004, RuleML.

[9]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[10]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[11]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[12]  Samson W. Tu,et al.  Writing Rules for the Semantic Web Using SWRL and Jess , 2005 .

[13]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[14]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[15]  Riccardo Rosati,et al.  On the decidability and complexity of integrating ontologies and rules , 2005, J. Web Semant..

[16]  Christine Golbreich,et al.  Use Case: Ontology with Rules for identifying brain anatomical structures , 2005, Rule Languages for Interoperability.

[17]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[18]  Jeff Z. Pan,et al.  Rules and Rule Markup Languages for the Semantic Web , 2003, Lecture Notes in Computer Science.

[19]  Elena Paslaru Bontas,et al.  Reasoning paradigms for SWRL-enabled ontologies , 2005 .

[20]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[21]  Bernard Gibaud,et al.  Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine , 2003, SEMWEB.