What reasoning support for ontology and rules? The brain anatomy case study

CEUR Workshop Proceedings

Volumn 188, Issue , 2005, Pages

  Golbreich, Christine ^a   Dameron, Olivier ^a   Bierlaire, Olivier ^a,b   Gibaud, Bernard ^b  

^a Lab Biochimie A   (France)

^b UPRES EA 3192   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BRAIN ANATOMY; MEDICAL CASE; MRI IMAGE; OWL ONTOLOGIES; POTENTIAL TOOL;

MAGNETIC RESONANCE IMAGING;

BIRDS;

EID: 84883475697     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. A. Borgida and P.F. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. J. of Artificial Intelligence Research 1: 277-308, 1994.
2. Brachman, McGuinness et al. Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori A. Resnick Living with classic: When and how to use a kl-one-like language, 1991
3. Dameron O, Modélisation, représentation et partage de connaissances anatomiques sur le cortex cérébral, Thèse de doctorat d'Université, Université de Rennes 1, 2003.
4. F. M. Donini, M. Lenzerini, D. Nardi, A., Schaerf, A Hybrid System with Datalog and Concept Languages, 1991.
5. F.M. Donini, M. Lenzerini, et al AL-log: Integrating Datalog and Description Logics., Journal of Intelligent Information Systems, 1998
6. Golbreich C, Dameron O, Gibaud B., Burgun A, Web ontology language requirements w.r.t expressiveness of taxononomy and axioms in medecine, 2nd International Semantic Web Conference, ISWC 2003, Sanibel Island, Florida, October 2003, LNCS 2870, Springer. 2003.
7. Golbreich C., Combining Rule and Ontology Reasoners for the Semantic Web, Invited talk, Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan, G. Antoniou, H. Boley Editors, LNCS 3323, Springer, 2004.
8. Golbreich C, Zhang S., Bodenreider O. Migrating the FMA from Protégé to OWL, Proc. of the 8th International Protégé Conference, 2005, Madrid, Spain.
9. Golbreich, C., Bierlaire O., Dameron O., Gibaud, B., Use Case: Ontology with Rules for identifying brain anatomical structures, W3C Workshop on Rule Languages for Interoperability, April 27-28, 2005, Washington, D.C., USA.
10. Grosof B., Horrocks I., Volz R., and Decker S., Description Logic Programs: Combining Logic Programs with Description Logic In: Proc. 12th Intl. Conf. on the World Wide Web (WWW-2003), Budapest, Hungary, May 20-23, 2003.
11. Haarslev V., Möller R.: Description of the RACER System and its Applications. Description Logics 2001
12. Horrocks, I., Patel-Schneider, P., Harold, B., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Version 0.5 Nov. 2003
13. Horrocks, I, Sattler U., Decidability of SHIQ with Complex Role Inclusion Axioms, Artificial Intelligence Vol 160, Issues 1-2, Dec 2004, Pages 79-104
14. Horrocks, I., Patel-Schneider P. F., Bechhofer S., and Tsarkov D. OWL rules: A proposal and prototype implementation. Journal of Web Semantics, 2005.
15. Levy A. Y. and Rousset M.-C. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104 (1-2): 165-209, 1998.
16. Mei, J., Paslaru Bontas, E., Reasoning Paradigms for SWRL-enabled Ontologies, Protégé With Rules Workshop, Madrid, 2005.
17. Motik B., Sattler U., and Studer R. Query Answering for OWL-DL with Rules, ISWC 2004, LNCS 3298 Springer.
18. O'Connor, M., Knublauch, H., Samson, T., Musen, M. Writing Rules for the Semantic Web Using SWRL and Jess. Protégé With Rules WS, Madrid, 2005.
19. Rosati, R., On the decidability and complexity of integrating ontologies and rules, Journal of Web Semantics, 2005. To appear.
20. Rosse C, Mejino JL, Jr. A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J Biomedical Informatics 2003; 36(6): 478-500.