Ontological categories in GOL

Axiomathes

Volumn 14, Issue 1, 2004, Pages 57-76

  Heller, Barbara ^a   Herre, Heinrich ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22944448254     PISSN: 11221151     EISSN: 15728390     Source Type: Journal    
DOI: 10.1023/B:AXIO.0000006788.44025.49     Document Type: Article

References (42)

1. Aristotle: 1984. The Complete Works, translated and edited by J. Barnes, Princeton University Press, Princeton.
2. Allen, J. and P. J. Hayes: 1989. 'Moments and Points in an Interval-Based Temporal Logic', Computational Intelligence 5, 225-238.
3. Barwise, J. and J. Perry: 1983. Situations and Attitudes. Bradford Books, The MIT Press.
4. Becher, G., F. Clerin-Debart and P. Enjalbert: 2000. 'A Qualitative Model for Time Granularity', Computational Intelligence, pp. 137-168.
5. Borgo, S., N. Guarino and C. Masolo: 1996. 'A Pointless Theory of Space Based On Strong Connection and Congruence', in Principles of Knowledge Representation and Reasoning (KR96), Boston, MA. pp. 220-229.
6. Booch, G., J. Rumbauch and I. Jacobson: 1999. The Unified Modeling Language. Addison Wesley.
7. Brentano, F.: 1976. Philosophische Untersuchungen zu Raum, Zeit und Kontinuum. Hamburg: Felix Meiner Verlag. English translation as Philosophical Investigations on Space, Time and Continuum. London: Croom Helm, 1988.
8. Chisholm, R. M.: 1983. 'Boundaries as Dependent Particulars', Grazer Philosophische Studien 20, 87-96.
9. Degen, W., H. Heller and H. Herre: 2001a. 'Contributions for the Ontological Foundation of Knowledge Modelling', Report Nr. 02. Institut für Informatik, Universität Leipzig.
10. Degen, W., H. Heller, H. Herre and B. Smith: 2001b. 'GOL: A General Ontological Language', Formal Ontology in Information Systems. Collected Papers from the Second International Conference. New York, pp. 34-46.
11. Degen, W., H. Heller and H. Herre: 2002a. 'GOL: A Framework for Building and Representing Ontologies', in B. Heller, H. Herre and B. Smith (eds.), Ontological Spring (A Reader in Formal and Applied Ontology), IFOMIS Reports 1 Leipzig, pp. 182-203, 2002.
12. Degen, W., B. Heller and H. Herre: 2003b. GOL-Manual (Version 1.0α) OntoMed-Report-3.
13. Erdös, P. and R. Rado: 1964. 'A Partition Calculus in Set Theory', Bull. Amer. Math. Society 15, 495-503.
14. Genesereth, M. R. and R. E. Fikes: 1992. Knowledge Interchange Format, Version 3.0, Reference Manual, Logic Group Report Logic-92-1, Computer Science Department, Stanford University, Stanford, California.
15. Gruber, T. R.: 1995. 'Towards Principles for the Design of Ontologies Used for Knowledge Sharing', International Journal of Human and Computer Studies 43, 907-928.
16. Guarino, N.: 1998. 'Formal Ontology and Information Systems', In N. Guarino (ed.), Formal Ontology in Information Systems, Proc. of FOIS' 98, Trento, Italy, Amsterdam, IOS-Press.
17. Guarino, N.: 1998. 'Some Ontological Principles for Designing Upper Level Lexical Resources',. First Conference on Language Resources and Evaluation.
18. Guarino, N. and C. Welty: 2002. 'Evaluating Ontological Decisions with OntoClean', Communications of the ACM 45(2), 61-65.
19. Guizzardi, G., H. Herre and G. Wagner: 2002a. 'On the General Ontological Foundation of Conceptual Modelling', in S. Spaccapeitra et al. (eds.), 2002. Conceptual Modelling, ER, Tampere, Proceedings of the 21st International Conference on Conceptual Modelling, vol. 2503, LNCS, 65-78. Springer Verlag.
20. Guizzardi, G., H. Herre and G. Wagner: 2002b. 'Towards Ontological Foundations for UML Conceptual Models', in Meersmann et al. (eds.), International Conference ODBASE Irvine, California. LNCS vol. 2519, 1100-1117, Springer Verlag.
21. Heller, B. and H. Herre: 2003a. 'Formal Ontology and Principles of GOL', OntoMed-Report-1.
22. Heller, B., H. Herre and M. Löffler: 2003b. 'Research Projects of Onto-Med', OntoMed-Report-2.
23. Heller, B., H. Herre and M. Löffler: 2003c. 'Formal Specifications in GOL - A Case Study in the Field of Clinical Trials', OntoMed-Report-6.
24. Heller, B., K. Kühn and K. Lippoldt: 2003d. 'OntoBuilder', OntoMed-Report-5.
25. Inwagen, P. V.: 2000. 'Temporal Parts and Identity Across Time', The Monist 89, 437-459.
26. Johansson, I.: 1989. Ontological Investigations. Routledge.
27. Lewis, D. K.: 1983. Collected Papers. Vol. I. Oxford: Blackwell.
28. Musen, M.: 1992. 'Dimensions of Knowledge Sharing and Reuse', in Computer and Biomedical Research, vol. 25, pp. 435-467.
29. La Podevin, R.: 2000. 'Continuants and Continuity', The Monist 83, 381-398.
30. Russel, S. and P. Norvig: 1995. Artificial Intelligence. Prentice-Hall, Inc.
31. Seibt, J.: 1997. 'Existence in Time: From Substance to Process', in J. Faye et. al. (eds.), Perspectives in Time, pp. 143-182.
32. Seibt, J.: 2001. Formal Process Ontology. Formal Ontology in Information Systems. Collected Papers from the Second International Conference. New York, pp. 333-345.
33. Seibt, J.: 2003. 'Process and Particulars', in M. Weber (ed.), Process Metaphysics, Philosophia Verlag, forthcoming.
34. Sider, T.: 2001. Four-Dimensionalism. An Ontology of Persistence and Time. Oxford: Clarendon Press.
35. Simons, P.: 1994. 'Particulars in Particular Clothing: Three Trope Theories of Substance', Philosophy and Phenomenological Research LIV(3), 553-575.
36. Simons, P.: 1998. 'Farewell to Substance: A differentiated leave-taking', Ratio (new series), pp. 235-252.
37. Simons, P.: 2000. 'How to Exist Without Temporal Parts', Monist, pp. 419-436.
38. Smith, B. and A. Varzi: 2000. 'Bona Fide and Fiat Boundaries', Philosophy and Phenomenological Research 60, 401-420.
39. Sowa, J. K.: 2000. Knowledge Representation. Brooks/Cole.
40. Varzi, A. C.: 1996. 'Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology', Data and Knowledge Engineering 20, 259-286.
41. Varzi, A. C.: 1997. 'Boundaries, Continuity, and Contact', Nous 31, 26-58.
42. Welty, A. C. and D. A. Ferucci: 1999. 'Instances and Classes in Software Engineering, Artificial Intelligence', Artificial Intelligence.