Ontology of time in GFO

Frontiers in Artificial Intelligence and Applications

Volumn 239, Issue , 2012, Pages 293-306

  Baumann, Ringo ^a   Loebe, Frank ^a   Herre, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Brentano; Coincidence; Ontology of Time; Time Interval; Time Point

Indexed keywords

FORMAL LOGIC;

BRENTANO; COINCIDENCE; CONCEPTUAL MODEL; GENERAL FORMAL ONTOLOGIES; ONTOLOGY OF TIME; ONTOLOGY'S; TEMPORAL KNOWLEDGE; TIME EVENT; TIME INTERVAL; TIME POINTS;

ONTOLOGY;

EID: 84879202686     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-084-0-293     Document Type: Conference Paper

References (46)

1. Franz Brentano. Philosophische Untersuchungen zu Raum, Zeit und Kontinuum. Felix-Meiner Verlag, Hamburg, 1976. Edited by S. Körner and R. M. Chisholm
2. Heinrich Herre. General Formal Ontology (GFO): A foundational ontology for conceptual modelling In Poli et al. [46], chapter 14, pages 297-345
3. Ringo Baumann and Heinrich Herre. The axiomatic foundation of space in GFO. arXiv:1110.5832, Sep 23 2011. http://arxiv.org/abs/1110.5832
4. Nicolai Hartmann. Ontologie. Walter de Gruyter, Berlin, 1935-1950. 4 Vol
5. Lluis Vila. Formal theories of time and temporal incidence. In Fisher et al. [8], chapter 1, pages 1-24
6. Anthony Galton. Temporal logic. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Stanford University, CSLI, Fall edition, 2008
7. Dov M. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic, volume 7. Kluwer, Dordrecht, The Netherlands, 2. edition, 2002
8. Michael Fisher, Dov M. Gabbay, and Lluís Vila, editors. Handbook of Temporal Reasoning in Artificial Intelligence, volume 1 of Foundations of Artificial Intelligence. Elsevier, Amsterdam, 2005
9. Johan van Benthem. Temporal logic. In Dov M. Gabbay, Christoph John Hogger, and John Alan Robinson, editors, Epistemic and Temporal Reasoning, volume 4 of Handbook of Logic in Artificial Intelligence and Logic Programming, pages 241-350. Clarendon Press, Oxford, 1995
10. Patrick J. Hayes. A catalog of temporal theories. Tech. Rep. UIUC-BI-AI-96-01, Univ. of Illinois, 1995
11. Michael Grüninger and Darren Ong. Verification of time ontologies with points and intervals. In Carlo Combi, Martin Leucker, and Frank Wolter, editors, Proc. of TIME 2011, Lubeck, Germany, Sep 12-14, pages 31-38. IEEE Computer Society, Los Alamitos, USA, 2011
12. Johan van Benthem. The Logic of Time. Kluwer Academic Publ., Dordrecht, The Netherlands, 1991
13. James F. Allen and Patrick J. Hayes. A common-sense theory of time. In Aravind K. Joshi, editor, Proc. of IJCAI 1985, Los Angeles, Aug 18-23, volume 1, pages 528-531. Morgan Kaufmann, Los Altos, California, 1985
14. James F. Allen and Patrick J. Hayes. Moments and points in an interval-based temporal logic. Comput Intell, 5(3):225-238, 1989
15. James F. Allen. Maintaining knowledge about temporal intervals. CACM, 26(11):832-843, 1983
16. Peter Ladkin. The completeness of a natural system for reasoning with time intervals. In John P. McDermott, editor, Proc. of IJCAI 1987, Milan, Italy, Aug 23-28, volume 1, pages 462-467. Morgan Kaufmann Publishers, San Francisco, 1987
17. Philippe Balbiani, Valentin Goranko, and Guido Sciavicco. Two-sorted point-interval temporal logics. Electronic Notes in Theoretical Computer Science, 278:31-45, 2011
18. Lluis Vila. IP: A theory of time based on instants and periods. In R. Rodríguez, editor, ECAI 1994 Workshop on Spatio-temporal Reasoning, Amsterdam, The Netherlands, 1994
19. Jerry Hobbs and Feng Pan. Time ontology in OWL. W3C Working Draft,WorldWideWeb Consortium (W3C), Cambridge, Massachusetts, Sep 27 2006
20. Stefano Borgo and Claudio Masolo. Ontological foundations of DOLCE. In Poli et al. [46], chapter 13, pages 279-295
21. Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari. Wonder- Web Deliverable D18: Ontology library (final). Technical report, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy, December, 31 2003
22. Andrew D. Spear. Ontology for the Twenty First Century: An Introduction with Recommendations. IFOMIS, Saarbrücken, Germany, Dec 2006
23. ISO. Industrial automation systems and integration: Process specification language: Part 1: Overview and basic principles. ISO Standard 18629-1, 2004
24. Michael Grüninger. Ontology of the Process Specification Language. In Steffen Staab and Rudi Studer, editors, Handbook on Ontologies, chapter 29, pages 575-592. Springer, Berlin, 2004
25. Kerry Trentelman, Alan Ruttenberg, and Barry Smith. An axiomatisation of Basic Formal Ontology with projection functions. In Kerry Taylor, Thomas Meyer, and Mehmet Orgun, editors, Proc. of AOW 2010, Adelaide, Australia, Dec 7, volume 122 of CRPIT, pages 71-80. ACS Inc., Sydney, 2010
26. Barry Smith and Achille C. Varzi. Fiat and bona fide boundaries. Philos Phenomen Res, LX(2):401-420, 2000
27. Han Reichgelt and Lluis Vila. Temporal qualification in Artificial Intelligence. In Fisher et al. [8], chapter 5, pages 167-194
28. James F. Allen. Towards a general theory of action and time. Artif Intell, 23(2):123-154, 1984
29. Roberto Maiocchi, Barbara Pernici, and Federico Barbic. Automatic deduction of temporal information. ACM T Database Syst, 17(4):647-688, 1992
30. David Lewis. On the Plurality of Worlds. Blackwell, Oxford, 1986
31. Stephen Barker and Phil Dowe. Endurance is paradoxical. Analysis, 65(1):69-74, 2005
32. Tobias Hansson Wahlberg. Can I be an instantaneous stage and yet persist through time? Metaphysica, 9(2):235-239, 2008
33. Sally Haslanger. Persistence through time. In Michael J. Loux and Dean W. Zimmerman, editors, The Oxford Handbook of Metaphysics, pages 315-354. Oxford University Press, Oxford, 2003
34. Roberto Poli. The basic problem of the theory of levels of reality. Axiomathes, 12(3-4):261-283, 2001
35. Barbara Heller and Heinrich Herre. Ontological categories in GOL. Axiomathes, 14(1):57-76, 2004
36. Heinrich Herre, Barbara Heller, Patryk Burek, Robert Hoehndorf, Frank Loebe, and Hannes Michalek. General Formal Ontology (GFO) - A foundational ontology integrating objects and processes [Version 1.0.1]. Techn. Rep., University of Leipzig, IMISE, Onto-Med, 2007
37. Frank Loebe and Heinrich Herre. Formal semantics and ontologies: Towards an ontological account of formal semantics. In Carola Eschenbach and Michael Grüninger, editors, Proc. of FOIS 2008, Saarbrücken, Germany, Oct 31-Nov 3, pages 49-62, Amsterdam, 2008. IOS Press
38. Dayana Neumuth, Frank Loebe, Heinrich Herre, and Thomas Neumuth. Modeling surgical processes: A four-level translational approach. Artif Intell Med, 51(3):147-161, 2011
39. Dongsun Zhang. Renshi lun (Epistemology). World's Book, Shanghai, 1934
40. Max Wertheimer. Experimentelle Studien über das Sehen von Bewegung. Zeitschrift für Psychologie, 61(1):161-265, 1912
41. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, and Patrick Wischnewski. Spass version 3.5. In Renate A. Schmidt, editor, Proc. of CADE 2009, Montreal, Canada, Aug 2-7, volume 5663 of LNCS, pages 140-145. Springer, Berlin, 2009
42. Ringo Baumann, Frank Loebe, and Heinrich Herre. Ontology of Time in GFO: Extended Report. http://www.onto-med.de/publications/2012/baumann-r-2012-a.pdf, 2012
43. David Hilbert. Axiomatisches Denken. Mathematische Annalen, 78:405-415, 1918
44. Herbert B. Enderton. A mathematical introduction to logic. Academic Press, 12. print edition, 1993
45. Patryk Burek, Heinrich Herre, Ingo Röder, Ingmar Glauche, Nico Scherf, and Markus Löffler. Torwards a cellular genealogical tree ontology. In Heinrich Herre, Robert Hoehndorf, Janet Kelso, and Stefan Schulz, editors, Proc of OBML 2010, Mannheim, Germany, Sep 9-10, number 2/2010 in IMISE-Reports. IMISE, University of Leipzig, Germany, 2010
46. Roberto Poli, Michael Healy, and Achilles Kameas, editors. Theory and Applications of Ontology: Computer Applications. Springer, Heidelberg, 2010