Experience in reasoning with the foundational model of anatomy in owl DL

Proceedings of the Pacific Symposium on Biocomputing 2006, PSB 2006

Volumn , Issue , 2006, Pages 200-211

  Zhang, Songmao ^a   Bodenreider, Olivier ^b   Golbreich, Christine ^c  

^a CHINESE ACADEMY OF SCIENCES   (China)

^b NATIONAL INSTITUTES OF HEALTH   (United States)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMEDICAL ONTOLOGIES; CONSISTENCY CHECKING; DESCRIPTION LOGIC; FRAME-BASED; PROTEGE; REASONER; SHEER SIZE; SUFFICIENT CONDITIONS;

DATA DESCRIPTION;

ARTICLE; AUDIOVISUAL EQUIPMENT; BIOLOGY; COMPUTER SIMULATION; INTERNET; LOGIC; SEMANTICS;

COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; INTERNET; LOGIC; MODELS, ANATOMIC; SEMANTICS;

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

References (21)

1. Cornet R, Abu-Hanna A. Usability of expressive description logics-a case study in UMLS. Proc AMI A Symp 2002:180-4.
2. Hahn U., Schulz S, Towards a broad coverage biomedical ontology based on description logics. Pac Symp Biocomput 2003:577-88.
3. Pisanelli DM, Gangemi A., Steve G. An ontological analysis of the UMLS Methathesaurus. Proc AMIA Symp 1998:810-4.
4. Kashyap V, Borgida A. Representing the UMLS Semantic Network using OWL: (Or "What's in a Semantic Web link?"). In; Fensel D, Sycara K, Mylopoulos J, editors. The SemanticWeb - ISWC 2003. Heidelberg: Springer-Verlag; 2003. p. 1-16.
5. Soualmia L, Golbreich C, Darmoni S. Representing the MeSH in OWL: Towards a semiautomatic migration. Proceedings of the KR 2004 Workshop on Formal Biomedical Knowledge Representation 2004:81-87 http://CEUR-WS.org/Vol-102/ soualmia, pdf.
6. Wroe O, Stevens R, Goble CA, Ashburner M. A methodology to migrate the Gene Ontology to a description logic environment using DAML+OIL, Pac Symp Biocomput 2003:624-35.
7. Golbeck J, Fragoso G, Hartel F, Hendler J, Oberthaler J, Parsia B. The National Cancer Institute's thesaurus and ontology. Journal of Web Semantics 2003;1(1) http://wivw.websemanticsiournal.ora/ps/pub/2004-6.
8. Antoniou G, van Harmelen F. Web Ontology Language: OWL. In: Staab S. Studer R, editors. Handbook on Ontologies: Springer-Veclag; 2004. p. 67-92.
9. Smith MK, Welty C. McGuinness DL. OWL Web Ontology Language Guide. W3C Recommendation, 10 February 2004; 2004 http://www.w3.org/TR/20Q4/REC-owl-guide- 20040210/.
10. Golbreich C, Zhang S, Bodenreider O. Migrating the FMA from Protege to OWL. Proceedings of the Eighth International Protege Conference 2005:108-111.
11. Golbreich C, Zhang S, Bodenreider O. The Foundational Model of Anatomy in OWL: Experience and perspectives. Proceedings of the workshop "OWL Experiences and Directions", November 11-12.2005, Galway, Ireland 2005:(electronic proceedings: http://CEliR-WS.ore).
12. Dameron O, Rubin D, Musen A. Challenges in converting frame-based ontology into OWL: the Foundational Model of Anatomy case-study. Proc AMIA Symp 2005:(in press).
13. Beck R, Schulz S. Logic-based remodeling of the Digital Anatomist Foundational Model. AMIA Annu Symp Proc 2003:71-5.
14. Rosse C, Mejino JL, Modayur BR, Jakobovits R, Hinshaw KP, Brinkley JF. Motivation and organizational principles for anatomical knowledge representation: the digital anatomist symbolic knowledge base. J Am Med Inform Assoc 1998.5(1): 17-40.
15. Rosse C, Mejino JL Jr. A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J Biomed Inform 2003;36(6):478-500.
16. Noy NF, Musen MA, Mejino JLV, Rosse C. Pushing the envelope: challenges in a frame-based representation of human anatomy. Data & Knowledge Engineering 2004;48(3):335-359.
17. Haarslev V, Moller R. Racer: An OWL reasoning agent for the Semantic Web. Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems 2003:91-95.
18. Schlobach S. Debugging and semantic clarification by pinpointing. In: The Semantic Web: Research and Applications. Proceedings of the Second European Semantic Web Conference: Springer-Verlag; 2005. p. 226-240.
19. Noy NF, Musen MA. PROMPT: algorithm and tool for automated ontology merging and alignment. Proc of AAA1 2000:450-455.
20. Zhang S, Bodenreider O. Law and order: Assessing and enforcing compliance with ontological modeling principles. Computers in Biology and Medicine 2005:(in press).
21. de Coronado S, Haber MW, Sioutos N, Tuttle MS, Wright LW. NCI Thesaurus: using sciencebased terminology to integrate cancer research results. Medinfo 2004;11(Pt1):33-7.