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

Cached

Download Links

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

Documents Related by Co-Citation

28 Specifying Open GIS with Functional Languages – Andrew U. Frank, Werner Kuhn - 1995
1353 Monads for functional programming – Philip Wadler - 1995
492 Semantic matching of web services capabilities – Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, Katia Sycara - 2002
444 SWRL: A Semantic Web Rule Language Combining OWL and RuleML. http: //www.w3.org/Submission/SWRL – I Horrocks, P F Patel-Schneider, H Boley, S Tabet, B Grosof, M Dean - 2004
27 Realms: A foundation for spatial data types in database systems – R H Gfiting, M Schneider - 1993
14 ter Hofstede. A Category Theory Approach to Conceptual Data Modeling – E Lippe, A H M - 1996
3 The role of Category in the area of Algebraic Specifications – H Ehrig, M Grobe-Rhode, U Wolter
3 One Step up the Abstraction Ladder, from COSIT – A Frank - 1999
347 A software framework for matchmaking based on semantic web technology – Lei Li, Ian Horrocks - 2003