DLMAPS (Description Logic Maps)
An Ontology-Based Prototypical Geographic Information System (OBGIS)
Note: these pages are slightly outdated (from 2005); they will be updated soon.
DLMAPS Publications & Presentations
| Doctoral Thesis |
|---|
| Michael Wessel : |
| Flexible und konfigurierbare Software-Architekturen für datenintensive ontologiebasierte Informationssysteme |
| In German, Dissertation |
| Logos-Verlag Berlin, ISBN 978-3-8325-2162-2 (2009), 2007 |
| An electronic version is available here: http://doku.b.tu-harburg.de/volltexte/2010/919/ |
Presentation
Link
|
| Journal Article |
| Michael Wessel, Ralf Möller : |
| Flexible Software Architectures for Ontology-Based Information Systems |
| Journal of Applied Logic - Special Issue on Emperically Sucessful Systems, 2007, Volume 7, Issue 1 (Accepted 2007, Published March 2009) |
PDF
Link
|
| Workshop Contributions |
| Michael Wessel, Ralf Möller : |
| A Flexible DL-based Architecture for Deductive Information Systems |
| Proceedings of the IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCoR 2006), 2006 |
PDF
Presentation
Link
|
|
|
| Michael Wessel : |
| Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component |
| Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), CEUR Workshop Proceedings (Vol. 79), 2003 |
PDF
Presentation
Link
|
| Presentations |
| Michael Wessel : |
| Spatio-Thematic Data in DL-Based Prototypical GIS |
| Presentation for DoCoMo Euro Labs |
| 2005 |
PDF
|
|
|
| Michael Wessel : |
| Description Logics for Spatial Information Systems |
| In German, presentation for WSV Group (Informatics Department, University of Hamburg) |
| 2004 |
PDF
|
DLMAPS Downloads
| Programs (Binary) |
|---|
| "dlmaps-demo" Executable for Windows |
| 2005 |
Binary Program
|
|
|
| "dlmaps-demo" Executable for Linux |
| 2005 |
Binary Program
|
|
|
| Maps for RacerPro 1.9.0 (ZIP, 16 MB) |
| 2005 |
Binary Program
|
|
|
| Maps for RacerPro 1.9.0 (TGZ, 16 MB) |
| 2005 |
Binary Program
|
| Source Code |
| Query File (Loaded at Startup), "q-queries.lisp" |
| 2005 |
Source Code
|
Instructions
- Download DLMAPS for your platform, as wells as the maps and the q-queries.lisp file.
- In order to run DLMAPS, you will need RacerPro 1.9.0 (and a free trial license, of course).
- RacerPro must be running (at port 8088) before you start "dlmaps-demo"!
- The file "q-queries.lisp" is loaded at startup time from "dlmaps-demo" (put "q-queries.lisp" into the same directory as "dlmaps-demo"). Sorry, "q-queries.lisp" as well as background ontology is in German language. Define the queries "Q1" ... "Q20" in this file. Enter these predefined queries using the commands "Q1", ... "Q20" in the "Inspector Query Processor" prompt (you can also use the "Answer Query" command to type in other queries). The "Answer Query" editor is not fully working yet. Use "CTRL-z" to abort editing, and "CTRL-d" for "Delete". Use "right mouse button" on any pane to get a list of applicable commands.
Note 1: If your query uses "at-least / at-most" (number restriction on roles), make sure that RacerPro uses Unique Name Assumption! E.g., send "(set-unique-name-assumption t)" to RacerPro reasoner using RacerPorter.
Note 2: If your query uses "all" (universal role restriction), make sure that the roles are closed (select menu "Map -> Close Roles" from "Map Viewer").
Presentation
Link
Binary Program
Source Code