Parthood as spatial inclusion - evidence from biomedical conceptualizations
Authors: 
Stefan Schulz, Udo HahnAuthors Info & Claims
Stefan Schulz, Udo HahnAuthors Info & ClaimsPages 55 - 63
Abstract
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and location. For concrete physical entities, we here stipulate that the distinction between parthood and location can be abstracted away. We outline a logic-based reasoning framework in which taxonomic sub-sumption not only takes care of the propagation of roles across taxonomic hierarchies, but also across nontaxonomic, i.e., partonomic or spatial, ones.
References
[1]
Aitken, J. S., Webber, B. L., and Bard, J. B. L. 2004. Part-of relations in anatomy ontologies: A proposal for RDFS and OWL formalisations. In PSB 2004 - Proceedings of the Pacific Symposium on Biocomputing 2004. Hawaii, USA, January 6-10, 2002. Singapore: World Scientific Publishing.
[2]
Artale, A., Franconi, E., Guarino, N., and Pazzi, L. 1996. Part-whole relations in object-centered systems: An overview. Data & Knowledge Engineering 20(3):347-383.
[3]
Beck, R., and Schulz, S. 2003. Logic-based remodeling of the digital anatomist foundational model. In AMIA '03 - Proceedings of the 2003 Annual Symposium of the American Medical Informatics Association, 687-691. Philadelphia, PA: Hanley & Belfus.
[4]
Casati, R., and Varzi, A. C. 1999. Parts and Places. The Structures of Spatial Representation. Cambridge, MA: MIT Press/Bradford.
[5]
Donnelly, M. 2004. On parts and holes: The spatial structure of the human body. In MEDINFO 2004 - Proceedings of the 11th World Congress on Medical Informatics.
[6]
Gene Ontology Consortium. 2001. Creating the Gene Ontology resource: Design and implementation. Genome Research 11(8):1425-1433.
[7]
Haarslev, V., and Möller, R. 2001. Description of the RACER system and its applications. In Proceedings of the 2001 Description Logics Workshop, 132-141.
[8]
Hahn, U., Romacker, M., and Schulz, S. 2002. MEDSYNDIKATE: A natural language system for the extraction of medical information from finding reports. International Journal of Medical Informatics 67(1/3):63-74.
[9]
Hahn, U., Schulz, S., and Romacker, M. 1999. Partonomic reasoning as taxonomic reasoning in medicine. In AAAI'99/IAAI'99 - Proceedings of the 16th National Conference on Artificial Intelligence & 11th Innovative Applications of Artificial Intelligence Conference, 271-276. Menlo Park, CA, Cambridge, MA: AAAI Press & MIT Press.
[10]
Horrocks, I., and Sattler, U. 2003. The effect of adding complex role inclusion axioms in description logics. In IJCAI'03 - Proceedings of the 18th International Joint Conference on Artificial Intelligence, volume 1, 343-348. San Francisco, CA: Morgan Kaufmann.
[11]
Horrocks, I., Rector, A., and Goble, C. 1996. A description logic based schema for the classification of medical data. In KRDB'96 - Proceedings of the 3rd Workshop Knowledge Representation Meets Databases, 24-28.
[12]
Horrocks, I. R. 1998. Using an expressive description logic: FACT or fiction? In Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference — KR'98, 636-645. San Francisco, CA: Morgan Kaufmann.
[13]
MacGregor, R. M. 1994. A description classifier for the predicate calculus. In AAAI'94 - Proceedings of the 12th National Conference on Artificial Intelligence, volume 1, 213-220. Menlo Park, CA: AAAI Press & MIT Press.
[14]
Patel-Schneider, P. F. 1991. What's inheritance got to do with knowledge representation? In Inheritance Hierarchies in Knowledge Representation and Programming Languages. Chichester etc.: John Wiley. 1-11.
[15]
Rector, A., Gangemi, A., Elena, G., Glowinski, A. J., and Rossi-Mori, A. 1994. The GALEN model schemata for anatomy: Towards a re-usable application-independent model of medical concepts. In MIE'94 - Proceedings of the 12th Conference of the European Federation for Medical Informatics, 229-233. Amsterdam: IOS Press.
[16]
Rector, A. L., Bechhofer, S., Goble, C. A., Horrocks, I., Nowlan, W. A., and Solomon, W. D. 1997. The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine 9:139-171.
[17]
Rector, A. L. 2002. Analysis of propagation along transitive roles: Formalisation of the GALEN experience with medical ontologies. In DL 2002 - Proceedings of the 2002 International Workshop on Description Logics. Published via http://CEUR-WS.org/Vol-53/.
[18]
Rogers, J., and Rector, A. 2000. GALEN's model of parts and wholes: Experience and comparisons. In AMIA 2000 - Proceedings of the Annual Symposium of the American Medical Informatics Association. Converging Information, Technology, and Health Care, 714-718. Philadelphia, PA: Hanley & Belfus.
[19]
Rosse, C., and Mejino, J. L. V. 2004. A reference ontology for bioinformatics: the Foundational Model of Anatomy. Journal of Biomedical Informatics. In press.
[20]
Rosse, C., Mejino, J. L. V., Modayur, B. R., Jakobovits, R., Hinshaw, K. P., and Brinkley, J. F. 1998. Motivation and organizational principles for anatomical knowledge representation: The DIGITAL ANATOMIST symbolic knowledge base. Journal of the American Medical Informatics Association 5(1):17-40.
[21]
UMLS. 2003. Unified Medical Language System. Bethesda, MD: National Library of Medicine.
[22]
Schulz, S., and Hahn, U. 2000. Knowledge engineering by large-scale knowledge reuse: Experience from the medical domain. In Principles of Knowledge Representation and Reasoning. Proceedings of the 7th International Conference - KR 2000, 601-610. San Francisco, CA: Morgan Kaufmann.
[23]
Schulz, S., and Hahn, U. 2001. Mereotopological reasoning about parts and (w)holes in bio-ontologies. In 2nd International FOIS Conference, 210-221. New York, NY: ACM Press.
[24]
Schulz, S., and Hahn, U. 2002a. A knowledge representation view on biomedical structure and function. In AMIA 2002 - Proceedings of the Annual Symposium of the American Medical Informatics Association, 687-691. Philadelphia, PA: Hanley & Belfus.
[25]
Schulz, S., and Hahn, U. 2002b. Necessary parts and wholes in bio-ontologies. In Principles of Knowledge Representation and Reasoning. Proceedings of the 8th International Conference -KR 2002, 387-394. San Francisco, CA: Morgan Kaufmann.
[26]
Simons, P. 1987. Parts: A Study in Ontology. Oxford: Clarendon Press.
[27]
Smith, B., and Rosse, C. 2004. The role of foundational relations in the alignment of biomedical ontologies. In MEDINFO 2004 -Proceedings of the 11th World Congress on Medical Informatics. San Francisco, CA, September 2004.
[28]
Smith, B., Williams, J., and Schulze-Kremer, S. 2003. The ontology of the Gene Ontology. In AMIA '03 -Proceedings of the 2003 Annual Symposium of the American Medical Informatics Association, 609-613. Philadelphia, PA: Hanley & Belfus.
[29]
2004. SNOMED Clinical Terms. Northfield, IL: College of American Pathologists.
- Parthood as spatial inclusion - evidence from biomedical conceptualizations
Recommendations
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide WebWe show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL
EL is a popular description logic, used as a core formalism in large existing knowledge bases. Uniform interpolants of knowledge bases are of high interest, e.g. in scenarios where a knowledge base is supposed to be partially reused. However, to the ...
WebProtégé: A Cloud-Based Ontology Editor
WWW '19: Companion Proceedings of The 2019 World Wide Web ConferenceWe present WebProtégé, a tool to develop ontologies represented in the Web Ontology Language (OWL). WebProtégé is a cloud-based application that allows users to collaboratively edit OWL ontologies, and it is available for use at https://...
Comments
Information & Contributors
Information
Published In
Publisher
AAAI Press
Publication History
Published: 02 June 2004
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 11 Feb 2025