Executable Axiomatic Specification Using Functional Language -- Case Study: Ontology for a Spatio-Temporal Database (1997)


Download Links

by Andre U. Frank , Damir Medak
Citations:5 - 0 self

Documents Related by Co-Citation

26 Specifying Open GIS with Functional Languages – Andrew U. Frank, Werner Kuhn - 1995
12 ter Hofstede. A Category Theory Approach to Conceptual Data Modelling – E Lippe, A M H
3 One Step up the Abstraction Ladder, from COSIT – A Frank - 1999
3 The role of Category in the area of Algebraic Specifications – H Ehrig, M Grobe-Rhode, U Wolter
27 Realms: A foundation for spatial data types in database systems – R H Gfiting, M Schneider - 1993
2 Antinio Cotello Lema, Ralf Hartmut Gutting. Dual Grid: A new approach for robust spatial algebra implementation – Jose - 2002
4 A Unified Model of Spatial and Temporal Informaiton – M F Worboys - 1994
1 Xalan-Java version 2.2.D11. http://xml.apache.org/xalan-j – unknown authors - 1999
9 A Unified Model for Spatial and Temporal Information." The Computer Journal Vol 37 Number 1 The British Computer Society – M F Worboys
1 Basic Category Theory for Computer Scientists, by Benjamin C. Pierce, ISBN 0262660717 Survey of Spatio-Temporal Databases Tamas Abraham And – John F Roddick, GeoInformatica - 1999
1 Ralf Hartmut Gutting. Duel Grid: A new approach for robust spatial algebra implementation – Jose Antinio Cotello, Lema
1 Constraint Databases” edited by – Gabriel Kuper, Leonid Libkin, Jan Paredaens
1 Concepts and paradigms in spatial information – P Burrough, A U Frank - 1995
1 J.Jackson: "A Topological Model for Spatial Databases – A Frank M Egenhofer
2 Al-Taha: "Reasoning about Gradual Changes of Topological Relationships – M Egenhofer, K K - 1992
6 The Categorical Product Data Model as a Formalism for Object-Relational Databases – B. N. Rossiter, D. A. Nelson, M. A. Heather - 1994
23 The Mathematical Modeling of Spatial and Non-Spatial Information in Geographic Information Systems. in – J R Herring - 1991
77 H.: Conceptual Mathematics: A First Introduction to Categories – F W Lawvere, S Schanuel - 1997
2 G.: Design Rational of RuleML: A Markup Language for Semantic Web Rules – H Boley, S Tabet, Wagner - 2001