General Formal Ontology (GFO): A foundational ontology for conceptual modelling

Theory and Applications of Ontology: Computer Applications

Volumn , Issue , 2010, Pages 297-345

  Herre, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79954621028     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-90-481-8847-5_14     Document Type: Chapter

References (91)

1. Allen J.F. and P.J. Hayes. 1990. Moments and points in an interval-based temporal logic. Computational Intelligence 5(4):225-238
2. Armstrong D.M. 1997. A world of states of affairs. New York, NY: Cambridge University Press
3. Ashburner M., C.A. Ball J.A. Blake D. Botstein H. Butler J.M. Cherry A.P. Davis K. Dolinski S.S. Dwight J.T. Eppig M.A. Harris D.P. Hill L. Issel-Tarver A. Kasarskis S. Lewis. et al. Gene ontology: Tool for the unification of biology. Nature Genetics 25(1):25-29
4. Baader F., D. CalVan ese D. McGuinness D. Nardi and P. Patel-Schneider, eds. 2003. The description logic handbook: Theory, implementation and applications. Cambridge, UK: Cambridge University Press
5. Bachman C.W. and M. Daya. 1977. The role concept in data models. In Proceedings of the 3rd International Conference on Very Large Databases, 464-476. IEEE Computer Society
6. Bard J., S.Y. Rhee, andM. Ashburner. 2005. An ontology for cell types. Genome Biology 6(2):R21
7. Barwise J. and J. Perry. 1983. Situations and Attitudes. Cambridge, MA: Bradford Book/MIT Press
8. Bloch E. 1985. Subject-Objekt. Frankfurt/M: Suhrkamp
9. Boella, G, J Odell L. Van Der Torre and H. Verhagen. eds. 2005. Proceedings of the 2005 AAAI Fall Symposium 'Roles, an Interdisciplinary Perspective: Ontologies, Languages, and Multiagent Systems', Nov 3-6, Arlington, Virginia, number FS-05-08 in Fall Symposium Series Technical Reports, Menlo Park, CA: AAAI Press
10. Booch G., J. Rumbaugh and I. Jacobson. 1999. The unified modeling language user guide. Object Technology Series. Reading, MA: Addison Wesley
11. Braunwald E., K.J. Isselbacher R.G. Petersdorf J.D. Wilson J.B. Martin and A.S. Fauci. Harrison's principles of internal medicine, 11th edition. New York, NY: McGraw-Hill
12. Brentano F. 1976. Philosophische Untersuchungen zu Raum, Zeit und Kontinuum, eds. S. Kooorner, and R.M. Chisholm, Hamburg: Felix-Meiner Verlag
13. Brooksbank C., G. Cameron and J. Thornton. 2005. The european bioinformatics institute's data resources: Towards systems biology. Nucleic Acids Research 33(Database issue):D46-D53
14. Burek P 2007. Ontology of functions: A domain-independent framework for modeling functions, PhD thesis. University of Leipzig, Institute of Informatics (IfI
15. Burek P., R. Hoehndorf F. Loebe J. Visagie H. Herre and J. Kelso. 2006. A top-level ontology of functions and its application in the open biomedical ontologies. Bioinformatics 22(14):e66-e73
16. Casati R. and A. Varzi. 1994. Holes and other superficialities. Cambridge, MA: MIT Press
17. Chandrasekaran B. and J.R. Josephson. 1997. Representing functions as effect. In Proceedings of the Functional Modeling Workshop, Paris, France
18. Chisholm R.M. 1983. Boundaries as dependent particulars. Grazer Philosophische Studien 20:87-96
19. Chang C.C. and H.J. Keisler. 1977. Model theory. Amsterdam: North-Holland Publishing CompaNY
20. de Keizer N.F., A. Abu-Hanna and J.H.M. Zwetsloot-Schonk. 2000. Understanding terminological systems I: Terminology and typology. Methods of Information in Medicine 39(1):16-21
21. Dori D. 2002. Object-process methodology: A holistic systems paradigm. Berlin: Springer
22. Gaaardenfors P. 2000. Conceptual spaces: The geometry of thought, A Bradford Book. Cambridge, MA: MIT Press
23. Genesereth M.R. and R.E. Fikes. 1992. Knowledge interchange format. Technical Report Logic-92-1, Stanford Logic Group, Stanford
24. Geuvers H., M. Nigqui B. Spitters and F. Wiedijk. 2007. Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science 17:3-36
25. Gracia J.J.E. 1999. Metaphysics and its tasks: The search for the categorial foundation of knowledge. SUNY series in Philosophy. Albany, NY: State University of New York Press
26. Grenon P. 2003. Spatio-Temporality in basic formal ontology: SNAP and SPAN. http://www.ifomis.org/Research/IFOMISReports/IFOMIS%20Report%2005-2003.pdf
27. Gruber T.R. 1993. A translation approach to portable ontology specifications. Knowledge Acquisition 5(2):199-220
28. Guarino N. 1992. Concepts, attributes and arbitrary relations: Some linguistic and ontological criteria for structuring knowledge bases. Data & Knowledge Engineering 8(3): 249-261
29. Guarino N. and C.A. Welty. 2000. A formal ontology of properties. In Knowledge engineering and knowledge management: Methods, models and tools, eds. R. Dieng and O. Corby. Proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management (EKAW2000), Juan-les-Pins, France, Oct 2-6, LNCS 1937, 97-112. Berlin: Springer
30. Guarino N. and C.A. Welty. 2001. Supporting ontological analysis of taxonomic relationships. Data & Knowledge Engineering 39(1):51-74
31. Guarino N. and C. Welty. 2004. An overview of ontoclean. In Handbook on ontologies, International Handbooks on Information Systems, Chapter 8, eds. S. Staab and R. Studer, 151-159. Berlin: Springer
32. Guizzardi G. and G. Wagner. 2004a. Towards ontological foundations for agent modelling concepts using the unified foundational ontology (UFO), LNCS 3508, June 2004, 110-124. doi:http://dx.doi.org/10.1007/1147248
33. Guizzardi G. and G. Wagner. 2004b. A unified foundational ontology and some applications of it in business modelling. Proceedings of the CAiSE'04Workshops. Faculty of Computer Science ands Information Technology, Riga Technical University, Riga, June 2004, vol. 3, 129-143, Riga, Latvia
34. Hartmann N. 1964. Der Aufbau Der realen Welt. Berlin: Walter de Gruyter and CO
35. Hayes P.J. 1995. A catalogue of temporal theories. Technical Report UIUC-BI-AI-96-01, University of Illinois
36. Heller B., H. Herre K. Lippoldt M. Loooffler. 2004. Standardized terminology for clinical trial protocols based on ontological top-level categories. In Computer-based support for clinical guidelines and protocols, eds. K. Kaiser S. Miksch S.W. Tu. Proceedings of the Symposium on Computerized Guidelines and Protocols. (CGP 2004), 13-14 Apr 2004. Prague. 46-60. Studies in Health Technology and Informatics, vol. 101. Amsterdam: IOS-Press
37. Herre H. and B. Heller. 2006a. Semantic foundations of medical information systems based on top-level ontologies. Journal of Knowledge-Based Systems 19(2):107-115
38. Herre H., B. Heller†, P. Burek F. Loebe R. Hoehndorf and H. Michalek. 2006b. General formal ontology (GFO)-A foundational ontology integrating objects and processes, Report Nr. 8, Onto-Med, IMISE
39. Herre H. 2010. Ontology of mereological systems-A logical approach, this volume
40. Hermes H. 1959. Zur Axiomatisierung Der Mechanik. In The axiomatic method, eds. L. Henkin P. Suppes and A. Tarski, 282-290. Amsterdam: North-Holland Publishing CompaNY
41. Ingarden R. 1964. Der Streit um die Existenz Der Welt I (Existentialontologie). Tübingen: Max Niemeyer Verlag
42. Johansson I. 1989. Ontological investigations: An inquiry into the categories of nature, man and society. New York, NY: Routledge
43. Johnston M. and G. Forbes. 1987. Is there a problem about persistence? Aristotelian Society 61:107-135
44. Kreisel G. 1974. A notion of mechanistic theory. Synthese 29:16-26
45. J. Lehmann S. Borgo A. Gangemi and C. Masolo. 2004. Causality and causation in DOLCE. In Formal Ontology in Information Systems: Proceedings of the International Conference FOIS 2004, vol 114 of Frontiers in Artificial Intelligence And Applications, eds. A.C. Varzi, and L. Vieu, 273-284, Amsterdam: IOS Press
46. D.B. Lenat and R.V. Guha. 1990. Building large knowledge-based systems: Representation and inference in the cyc project. Reading, MA: Addison-Wesley
47. Lewis D. 1986. On the plurality of worlds. Oxford: Basil blackwell
48. Loebe F. 2003. An analysis of roles: Towards ontology-based modelling. Onto-Med Report 6, Onto-Med Research Group, University of Leipzig
49. Loebe F. 2003. Abstract vs. social roles: A refined top-level ontological analysis. In Boella et al.], 93-100
50. Loebe F. 2007. Abstract vs social roles-Towards a general theoretical account or roles. Applied Ontology 2(2):127-158
51. Loux M. 1998. Metaphysics: A contemporary introduction. New York, NY: Routledge
52. Masolo C., S. Borgo A. Gangemi N. Guarino and A. Oltramari. 2003. Wonderweb deliverable D18: Ontology library (final). Technical Report, Laboratory for Applied Ontology-ISTCCNR, Trento
53. Masolo C., S. Borgo A. Gangemi N. Guarino A. Oltramari and L.Schneider. 2002. Wonderweb deliverable D17. Preliminary Report Version 2.0, Laboratory for Applied Ontology-ISTCCNR, Padova, IT
54. Masolo C., L. Vieu E. Bottazzi C. Catenacci R. Ferrario A. Gangemi and N. Guarino. 2004. Social roles and their descriptions. In Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference (KR2004.), eds. D. Dubois C. Welty, and M.-A. Williams, Whistler, Canada, June 2-5, 267-277, Menlo Park, CA: AAAI Press
55. MC Cray A.T. 2006. Conceptualizing the world: Lessons from history. Journal of Biomedical Informatics 39:267-273
56. Niles I. and A. Pease. 2001. Towards a standard upper ontology. In Formal Ontology in Information Systems: Collected Papers from the 2nd International Conference, Oct 2001, eds. C. Welty and B. Smith, 2-9, New York, NY: ACM Press
57. Pease A. and I. Niles. 2002. IEEE standard upper ontology: A progress report. Knowledge Engineering Review 17(1):65-70
58. Poli R. 2001. The basic problem of the theory of levels of reality. Axiomathes 12(3-4):261-283
59. Poli R. 2002. Ontological methodology. International Journal of Human-Computer Studies 56(6):639-664
60. Pschyrembel W. and O. Dornblüth. 2002. In Pschyrembel Klinisches Wooorterbuch. 259th edition, Berlin: Walter de Gruyter
61. Ridder L. 2002. Mereologie. Frankfurt a. Main: Vittorio Klostermann
62. Roeder I. and M. Loeffler. 2002. Anoval dynamic model of hematopoietic stem cell organizations based on the concept of within-Tissue plasticity. Experimental Hematology 30: 853-861
63. Rosch E. 1975. Cognitive representations of semantic categories. Journal of Experimental Psychology, 104:192-233
64. Rosse C. and J.L. Mejno. 2003. A reference ontology for biomedical informatics. The foundational model of anatomy. Journal of biomedical informatics 36:478-500
65. Rumbaugh J., I. Jacobson and G. Booch. 1999. The unified modeling. language reference manual. Object Technology Series. Reading, MA: Addison Wesley
66. Russell S. and P. Norvig. 1995. Artificial intelligence: A modern approach. Prentice hall series in artificial intelligence. Upper Saddle River, NJ: Prentice Hall
67. Sasajima M., Y. Kitamura M. Ikeda and R. Mizoguchi. 1995. FBRL: A function and behavior representation language. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 95, Montreal, Quebec, Canada, Aug 20-25, 1830-1836. San Francisco, CA: Morgan Kaufmann
68. Searle J.R. 1995. The construction of social reality. New York, NY: Free Press
69. Seibt J. 2003. Free process theory: Towards a typology of processes. Axiomathes. 14(1):23-55
70. Shahar Y 1994. A knowledge-based method for temporal abstraction of clinical data. PhD thesis, Stanford, CA: Stanford University
71. Sider T. 2001. Four-dimensionalism: An ontology of persistences and time. Oxford: Clarendon Press
72. Smith B. and A. Varzi. 2000. Fiat and bona fide boundaries. Philosophy and Phenomenological Research 60(2):401-420
73. Smith B. 2004. Beyond concepts: Ontology as reality representation. In FOIS, International conference on formal ontology and information systems,73-84, Turin: IOS Press
74. Smith B., W.Ceusters and R. Temmermann. 2005. Wüsteria. In Proceedings Medical Informatics Europe 2005, Geneva; Studies in Health Technology and Informatics 116:647-652
75. Smith B. 2006. From concepts to clinical reality: An essay on the benchmarking of biomedical terminologies. Journal of Biomedical Informatics 39:288-298
76. Smith B. and W. Ceusters. 2006. Ontology as the core discipline of biomedical informatics. In Computing, philosophy and cognitive science. eds. C.D. Crnkovic and S. Stuart. Cambridge, MA: Scholars Press
77. Smith B. et al. 2007. The OBO foundry: Coordinated evolution of ontologies to support biomedical data integration. Nature biotechnology 25(11):1251-1255, Nov 2007
78. Sowa J.F. 1984. Conceptual structures: Information processing in mind and machine. Reading, MA: Addison-Wesley
79. Sowa J.F. 2000. Knowledge representation: Logical, philosophical and computational foundations. Pacific Grove, CA: Brooks/Cole
80. Steimann F. 2000. On the representation of roles in object-oriented and conceptual modelling. Data & Knowledge Engineering 35(1):83-106
81. Sunagawa E., K. Kozaki Y. Kitamura and R. Mizoguchi. 2005. A framework for organizing role concepts in ontology development tool: Hozo. In Boella et al. [8], 136-143
82. SUO. 2004. IEEE P1600.1 Standard upper ontology working group (SUO WG). http://suo.ieee.org
83. Szczerba L.W. 1977. Interpretability of elementary theories. In eds. R.E. Butts and J. Hintikka, Logic, foundations of mathematics and computability theory, volume 9 of The Western Ontario Series in Philosophy of Science, 129-145. Dordrecht: Reidel
84. Tarski A. 1944. The semantic conception of truth and the foundation of semantics. Philosophy and Phenomenological Research 4:341-375
85. Tarski A. 1983. Logic, Semantics, Metamathematics: Papers from 1923 to 1938, 2nd edition, eds. J. Corcoran, Indianapolis: Hackett
86. W3C. 2004. Web Ontology Language (OWL) Specifications. W3C Recommendations, World WideWebConsortium (W3C), Cambridge, MA. http://www.w3.org/2004/OWL/
87. Weihrauch K. 2000. Computable analysis. Berlin: Springer
88. Wertheimer M. 1912. Experimentelle Studien über das Sehen von Bewegung. Zeitschrift für Psychologie 161-265
89. Wertheimer M. 1922. Untersuchungen zur Lehre von Der Gestalt. I. Prinizpielle Bemerkungen. West M., J. SulliVan and H. Teijgeler. 2003. ISO/FDIS 15926-2: Lifecycle integration of process plant data including oil and gas production facilities. ISO TC184/SC4/WG3N1328, July 2003. http://www.tc184-sc4. org/wg3ndocs/wg3n1328/lifecycle-integration-schema.html
90. Wilkerson T.E. 1995. Natural kinds. Avebury Series in Philosophy. Aldershot, UK: Avebury.
91. Wittgenstein L. 1922. Tractatus logico-philosophicus. (transl: C.K. Ogden) London: Routledge & Kegan Paul