| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Michael Wessel Michael Wessel: Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component. KRDB 2003 Michael Wessel: Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results. Description Logics 2001 Volker Haarslev , Ralf Möller , Michael Wessel: The Description Logic ALCNH R+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001 : 29-44 Michael Wessel, Volker Haarslev , Ralf Möller : ALCRA - ALC with Role Axioms. Description Logics 2000 : 267-276 Ralf Möller , Michael Wessel: Terminological Default Reasoning about Spatial Information: A First Step. COSIT 1999 : 189-204 Volker Haarslev , Ralf Möller , Anni-Yasmin Turhan , Michael Wessel: On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999 Volker Haarslev , Ralf Möller , Michael Wessel: On Specifying Semantics of Visual Spatial Query Languages. VL 1999 : 4-11 Michael Wessel, Volker Haarslev : VISCO: Bringing Visual Spatial Querying to Reality. VL 1998 : 170-177 Volker Haarslev , Michael Wessel: Querying GIS with Animated Spatial Sketches. VL 1997 : 201-208 Volker Haarslev , Michael Wessel: GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. VL 1996 : 204-211 1 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] 2 [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] 3 [ 5 ]  ©2004 Association for Computing Machinery |
