Abstract
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are important theoretical and practical research areas. We assume that a formal representation of temporal knowledge must use as a framework some top-level ontology which describes the most general categories of temporal entities. In the current paper we discuss an ontology of time and situoids which is part of the top-level ontology GFO (General Formal Ontology) being developed by the Onto-Med research group [1]. The expressive power of GFO and its usability in conceptual modeling is tested by Onto-Med by carrying out a number of case studies in several fields of medicine and biomedicine. In the present paper we report on results of reconstructing the temporal-abstraction ontology presented by Y. Shahar [2] within GFO. In carrying out this investigation it turns out that a number of aspects in [2] needs further clarification and foundation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Onto-Med Research Group, http://www.onto-med.de
Shahar, Y.: A Knowledge-Based Method for Temporal Abstraction of Clinical Data [PhD Thesis]. Stanford University (1994)
Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition 5(2), 199–220 (1993)
Musen, M.: Dimensions of Knowledge Sharing and Reuse. Computer and Biomedical Research 25(5), 435–467 (1992)
Fensel, D., Hendler, J., Lieberman, H., Wahlster, W. (eds.): Spinning the Semantic Web. MIT Press, Cambridge (2003)
Guarino, N.: Formal Ontology and Information Systems. In: Guarino, N. (ed.) 1st International Conference (FOIS 1998), Trento, Italy, June 6-8, pp. 3–15. IOS Press, Amsterdam (1998)
Guarino, N., Welty, C.: Evaluating Ontological Decisions with OntoClean. Communications of the ACM 45(2), 61–65 (2002)
Poli, R.: Ontological Methodology. International Journal of Human-Computer Studies 56(6), 639–664 (2002)
Sowa, J.F.: Knowlegde Representation - Logical, Philosophical and Computational Foundations. Brooks/Cole, California (2000)
Gracia, J.J.E.: Metaphysics and Its Tasks: The Search for the Categorial Foundation of Knowledge. SUNY Series in Philosophy. State University of New York Press, Albany (1999)
Heller, B., Herre, H.: Ontological Categories in GOL. Axiomathes 14(1), 57–76 (2004)
Galton, A.: Fields and Objects in Space, Time, and Space-time. Spatial Cognition and Computation 4(1), 39–68 (2004)
Seibt, J.: The Dynamic Constitution of Things. In: Faye, J., et al. (eds.) Facts and Events. Poznan Studies in Philosophy of Science, vol. 72, pp. 241–278 (2000)
Brentano: Philosophische Untersuchungen zu Raum, Zeit und Kontinuum. Felix-Meiner Verlag, Hamburg (1976)
Barwise, J., Perry, J.: Situations and Attitudes. Bradford Books. MIT Press, Cambridge (1983)
Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991)
Heller, B., Herre, H., Lippoldt, K.: The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 1–14. Springer, Heidelberg (2004)
Herre, H., Heller, B.: Ontology of Time in GFO, Onto-Med Report Nr. 8 Onto-Med Research Group. University of Leipzig (2005)
Scheidler, A.: A Proof of the Interpretability of the GOL Theory of Time in the Interval-based Theory of Allen-Hayes [BA-Thesis]. Onto-Med Report Nr. 9, 2005. Onto-Med Research Group. University of Leipzig (2004)
Allen, J., Hayes, P.J.: Moments and Points in an Interval-Based Temporal Logic. Computational Intelligence 5, 225–238 (1989)
Loebe, F.: An Analysis of Roles: Towards Ontology-Based Modelling [Master’s Thesis]. Onto-Med Report No. 6. Aug 2003. Onto-Med Research Group. University of Leipzig (2003)
Loux, M.: Metaphysics: A Contemporary Introduction. Routledge, New York (1998)
Barwise, J.: The Situation in Logic. CSLI Lecture Notes, vol. 17. CSLI Publications, Stanford (1989)
Hoehndorf, R.: Situoid Theory: An Ontological Approach to Situation Theory [Master’s Thesis]. University of Leipzig (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herre, H., Heller, B. (2005). Ontology of Time and Situoids in Medical Conceptual Modeling. In: Miksch, S., Hunter, J., Keravnou, E.T. (eds) Artificial Intelligence in Medicine. AIME 2005. Lecture Notes in Computer Science(), vol 3581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11527770_39
Download citation
DOI: https://doi.org/10.1007/11527770_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27831-3
Online ISBN: 978-3-540-31884-2
eBook Packages: Computer ScienceComputer Science (R0)