Ontology for Spatio-temporal Databases

Ontology and the related term “semantics” have recently found increased attention in database discussions. Early discussions of ontology issues important for databases [126,78] were lost in a sea of papers on technical, mostly performance issues, despite the fact that textbooks as early as [134] discussed briefly the relationship between information system and real world.

[1]  O. Stock.  Spatial and Temporal Reasoning , 1899 .

[2]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.

[3]  S S Stevens,et al.  On the Theory of Scales of Measurement. , 1946, Science.

[4]  T. Hägerstrand.  The propagation of innovation waves , 1952 .

[5]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[6]  J. Fraser.  The voices of time , 1966 .

[7]  P. Berger,et al.  Social Construction of Reality , 1991, The SAGE International Encyclopedia of Mass Media and Society.

[8]  H. Black,et al.  Black's Law Dictionary , 1968 .

[9]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[10]  L. M. Blumenthal,et al.  Studies in geometry , 1972 .

[11]  Charles W. Bachman.  Summary of current work ANSI/X3/SPARC/study group: database systems , 1974, SGMD.

[12]  P. Giblin.  Graphs, surfaces, and homology , 1977 .

[13]  T. R. Berger,et al.  Algebra: Groups, rings, and other topics , 1977 .

[14]  Barry Smith.  AN ESSAY IN FORMAL ONTOLOGY , 1978 .

[15]  Eleanor Rosch,et al.  Principles of Categorization , 1978 .

[16]  William Kent,et al.  Data and Reality: Basic Assumptions in Data Processing Reconsidered , 1978 .

[17]  E. Rosch,et al.  Cognition and Categorization , 1980 .

[18]  J. Gibson.  The Ecological Approach to Visual Perception , 1979 .

[19]  George Gratzer,et al.  Universal Algebra , 1979 .

[20]  G. Lakoff,et al.  Metaphors We Live By , 1980 .

[21]  Youshouzhai Gu.  Echo , 1980, The Craft of Poetry.

[22]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[23]  Barr and Feigenbaum Edward A. Avron,et al.  The Handbook of Artificial Intelligence , 1981 .

[24]  C.M. Eastman.  Database facilities for engineering design , 1981, Proceedings of the IEEE.

[25]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[26]  Ray Jackendoff.  Semantics and Cognition , 1983 .

[27]  Barry Smith,et al.  Framework for formal ontology , 1983 .

[28]  Andreas Ulrich Heinrich Frank.  Datenstrukturen für Landinformationssysteme: semantische, topologische und räumliche Beziehungen in Daten der Geo-Wissenschaften , 1983 .

[29]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[30]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[31]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[32]  Hans-Dieter Ehrich.  Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics , 1985, CTCS.

[33]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[34]  llsoo Ahn.  Temporal Databases , 1986 .

[35]  M. Minsky.  The Society of Mind , 1986 .

[36]  Samson Abramsky,et al.  Category Theory and Computer Programming , 1986, Lecture Notes in Computer Science.

[37]  A. Frank,et al.  Cell Graphs: A Provable Correct Method for the Storage of Geometry * , 1986 .

[38]  Helen Couclelis,et al.  Space and Spaces , 1986 .

[39]  F. Frances Yao,et al.  Finite-resolution computational geometry , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[40]  Harold Moellering,et al.  A draft proposed standard for digital cartographic data , 1987 .

[41]  P. Simons.  Parts: A Study in Ontology , 1991 .

[42]  K. Torlegård.  The International Society for Photogrammetry and Remote Sensing , 1987 .

[43]  Mark L. Johnson.  The body in the mind: the bodily basis of meaning , 1987 .

[44]  Albert Croker,et al.  Objects in Time , 1988 .

[45]  P. Dale,et al.  Land Information Management: An Introduction with Special Reference to Cadastral Problems in Third W , 1989 .

[46]  U. Eco,et al.  Meaning and Mental Representations , 1988 .

[47]  Thomas Balstrøm.  PeterF. Dale & John D. McLaughlin: Land information management: an introduction with special reference to cadastral problems in Third World countries. , 1988 .

[48]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[49]  Max J. Egenhofer,et al.  A Formal Definition of Binary Topological Relationships , 1989, FODO.

[50]  Terence R. Smith,et al.  Design and Implementation of Large Spatial Databases , 1989, Lecture Notes in Computer Science.

[51]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[52]  Anthony G. Cohn,et al.  Modelling Topological and Metrical Properties in Physical Processes , 1989, KR.

[53]  Andrew U. Frank,et al.  A Topological Data Model for Spatial Databases , 1990, SSD.

[54]  Martin Gogolla,et al.  Algebraische Spezifikation abstrakter Datentypen , 1989 .

[55]  G. Lakoff.  Women, fire, and dangerous things : what categories reveal about the mind , 1989 .

[56]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[57]  C. Tomlin.  Geographic information systems and cartographic modeling , 1990 .

[58]  Richard T. Snodgrass,et al.  Temporal databases status and research directions , 1990, SGMD.

[59]  Ramanathan V. Guha,et al.  Cyc: toward programs with common sense , 1990, CACM.

[60]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[61]  Benjamin C. Pierce,et al.  Basic category theory for computer scientists , 1991, Foundations of computing.

[62]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[63]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

[64]  Francesco Orilia,et al.  Semantics and Cognition , 1991 .

[65]  Giuseppe Longo,et al.  Categories, types and structures - an introduction to category theory for the working computer scientist , 1991, Foundations of computing.

[66]  A. I. Johnson,et al.  Geographic Information Systems (GIS) and Mapping—Practices and Standards , 1992 .

[67]  Max J. Egenhofer,et al.  Reasoning about Gradual Changes of Topological Relationships , 1992, Spatio-Temporal Reasoning.

[68]  Michael F. Goodchild,et al.  Geographical data modeling , 1992 .

[69]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[70]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[71]  Helen Couclelis,et al.  People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS , 1992, Spatio-Temporal Reasoning.

[72]  Fabio A. Schreiber,et al.  Is Time a Real Time? An Overview of Time Ontology in Informatics , 1992, NATO ASI RTC.

[73]  Robert D. Rugg,et al.  An Approach to Data Exchange: The Spatial Data Transfer Standard , 1992 .

[74]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[75]  Sabine Timpf,et al.  A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction , 1992, Spatio-Temporal Reasoning.

[76]  Khaled K. A. Al-Taha,et al.  Temporal reasoning in cadastral systems , 1992 .

[77]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

[78]  David B. Lomet,et al.  Foundations of Data Organization and Algorithms , 1993, Lecture Notes in Computer Science.

[79]  Laure Vieu,et al.  A Logical Framework for Reasoning about Space , 1993, COSIT.

[80]  Noel A Cressie,et al.  Statistics for Spatial Data. , 1992 .

[81]  Max J. Egenhofer,et al.  What's special about spatial?: database requirements for vehicle navigation in geographic space , 1993, SIGMOD Conference.

[82]  Ralf Hartmut Güting,et al.  Second-order signature , 1993, SIGMOD Conference.

[83]  Andrew U. Frank,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1993, Lecture Notes in Computer Science.

[84]  D. Baird,et al.  Game theory and the law , 1994 .

[85]  Michael F. Worboys,et al.  Object-Oriented Approaches to Geo-Referenced Information , 1994, Int. J. Geogr. Inf. Sci..

[86]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[87]  Mark P. Jones.  Qualified Types: Theory and Practice , 1994 .

[88]  Andrew U. Frank,et al.  Concepts and Paradigms in Spatial Information: Are Current Geographical Information Systems Truly Generic? , 1995, Int. J. Geogr. Inf. Sci..

[89]  D. J. Allerton,et al.  Book Review: GPS theory and practice. Second Edition, HOFFMANNWELLENHOFF B., LICHTENEGGER H. and COLLINS J., 1993, 326 pp., Springer, £31.00 pb, ISBN 3-211-82477-4 , 1995 .

[90]  J. Searle.  The Construction of Social Reality , 1997 .

[91]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[92]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[93]  Antony Galton,et al.  Towards a Qualitative Theory of Movement , 1995, COSIT.

[94]  Daniel R. Montello,et al.  How Significant Are Cultural Differences in Spatial Cognition? , 1995, COSIT.

[95]  Max J. Egenhofer,et al.  Advances in Spatial Databases , 1997, Lecture Notes in Computer Science.

[96]  A. Frank,et al.  Cultural Differences and Cultural Aspects in Geographical Information Systems , 1995 .

[97]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[98]  Philip Wadler.  Monads for Functional Programming , 1995, Advanced Functional Programming.

[99]  Simon Thompson,et al.  Haskell: The Craft of Functional Programming , 1996 .

[100]  P. Burrough,et al.  Geographic Objects with Indeterminate Boundaries , 1996 .

[101]  Hans-Dieter Ehrich,et al.  Specification of abstract data types , 1996 .

[102]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

[103]  A. Wierzbicka.  Semantics: Primes and Universals , 1996 .

[104]  Luca Cardelli.  Type systems , 1996, CSUR.

[105]  M. Turner.  The literary mind. , 1997 .

[106]  I. H. Öğüş,et al.  NATO ASI Series , 1997 .

[107]  G. Fauconnier.  Mappings in thought and language , 1997 .

[108]  Max J. Egenhofer,et al.  Qualitative Representation of Change , 1997, COSIT.

[109]  Markus Schneider,et al.  Spatial Data Types for Database Systems , 1997, Lecture Notes in Computer Science.

[110]  A. Gopnik,et al.  Words, thoughts, and theories , 1997 .

[111]  N. Chrisman.  Exploring Geographic Information Systems , 1997 .

[112]  Andrew U. Frank,et al.  Spatial Ontology: A Geographical Information Point of View , 1997 .

[113]  Wilfrid Hodges,et al.  A Shorter Model Theory , 1997 .

[114]  Lars Kulik,et al.  An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind , 1997, KI.

[115]  Nicola Guarino,et al.  Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration , 1997, SCIE.

[116]  Andrew U. Frank,et al.  Formalization of Families of Categorical Coverages , 1997, Int. J. Geogr. Inf. Sci..

[117]  Antony Galton.  Continuous Change in Spatial Region , 1997, COSIT.

[118]  Sadaaki Miyamoto,et al.  Rough Sets and Current Trends in Computing , 2012, Lecture Notes in Computer Science.

[119]  Achille C. Varzi,et al.  Ontological Tools for Geographic Representation , 1998 .

[120]  Stefano Spaccapietra,et al.  On Spatial Database Integration , 1998, Int. J. Geogr. Inf. Sci..

[121]  Benjamin Kuipers,et al.  A Hierarchy of Qualitative Representations for Space , 1998, Spatial Cognition.

[122]  Andrew U. Frank,et al.  Finite-Resolution Simplicial Complexes , 1998, GeoInformatica.

[123]  Daniel Bernasconi.  Rahmenkonzept zur Gestaltung eines Datenmanagementsystems Siedlungsentwässerung , 1999 .

[124]  Andrew U. Frank,et al.  One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole , 1999, COSIT.

[125]  I. Hacking.  The Social Construction of What , 1999 .

[126]  Christian Freksa,et al.  Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science , 1999, Lecture Notes in Computer Science.

[127]  Andrew U. Frank,et al.  Formal specification of image schemata -- a step towards interoperability in geographic information systems , 1999, Spatial Cogn. Comput..

[128]  D. Medak.  Lifestyles - A Paradigm for the Description of Spatiotemporal Databases , 1999 .

[129]  Ralf Hinze,et al.  Haskell 98 — A Non−strict‚ Purely Functional Language , 1999 .

[130]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[131]  J. Goguen.  An introduction to algebraic semiotics, with application to user interface design , 1999 .

[132]  Werner Kuhn,et al.  A Specification Language for Interoperable GIS , 1999 .

[133]  Frederico T. Fonseca,et al.  Ontology-driven geographic information systems , 1999, GIS '99.

[134]  B. Rhoads.  Beyond Pragmatism: The Value of Philosophical Discourse for Physical Geography , 1999 .

[135]  Mark Fischetti,et al.  Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor , 1999 .

[136]  Roberto Casati,et al.  Parts And Places , 1999 .

[137]  Howard Smith,et al.  Share the ontology in XML-based trading architectures , 1999, CACM.

[138]  Andrew U. Frank,et al.  Spatial Communication with Maps: Defining the Correctness of Maps Using a Multi-Agent Simulation , 2000, Spatial Cognition.

[139]  G. Franck.  Time, Actuality, Novelty and History , 2000 .

[140]  Peter C. Lockemann,et al.  Advances in Database Technology — EDBT 2000 , 2000, Lecture Notes in Computer Science.

[141]  Wilfried Brauer,et al.  Spatial Cognition II , 2000, Lecture Notes in Computer Science.

[142]  Thomas Bittner,et al.  Rough Sets in Approximate Spatial Reasoning , 2000, Rough Sets and Current Trends in Computing.

[143]  Stefano Paraboschi,et al.  XML: Current Developments and Future Challenges for the Database Community , 2000, EDBT.

[144]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[145]  Nicola Guarino,et al.  A Formal Ontology of Properties , 2000, EKAW.

[146]  Andrew U. Frank.  Socio-Economic Units: Their Life and Motion , 2000 .

[147]  Chrystopher L. Nehaniv.  Computation for Metaphors, Analogy, and Agents , 2000, Lecture Notes in Computer Science.

[148]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[149]  Barry Smith.  Objects and their environments: From Aristotle to ecological ontology , 2001 .

[150]  Andrew U. Frank,et al.  Life and motion of socio-economic units , 2001 .

[151]  Barry Smith,et al.  Mereotopology: A Theory of Parts and Boundaries , 1996, Data Knowl. Eng..

[152]  Philip Wadler.  XQuery: A Typed Functional Language for Querying XML , 2002, Advanced Functional Programming.

[153]  Wilfried Brauer,et al.  Spatial Cognition III , 2003, Lecture Notes in Computer Science.

[154]  J. Searle,et al.  An Illuminating Exchange The Construction of Social Reality , 2003 .

[155]  L. Floridi.  Blackwell Guide to the Philosophy of Computing and Information , 2003 .

[156]  Thomas Bittner,et al.  A boundary-sensitive approach to qualitative location , 2004, Annals of Mathematics and Artificial Intelligence.

[157]  Barry Smith,et al.  Quantum Mereotopology , 2002, Annals of Mathematics and Artificial Intelligence.