|
|
|
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
|
|
|
|
Diploma Thesis
|
|
|
|
Michael Wessel
:
|
|
Eine visuelle Spache zur Definition räumlicher (ebener) Konstellationen
|
|
In German, Diploma Thesis (Diplomarbeit)
|
|
Informatics Department, University of Hamburg, 1998
|
|
PDF
Link
|
|
|
|
Project Thesis
|
|
|
|
Michael Wessel
:
|
|
Entwicklung eines konzeptorientierten generischen Grafikeditor in Common Lisp
|
|
In German, Project Work (Studienarbeit)
|
|
Informatics Department, University of Hamburg, 1996
|
|
PDF
Link
|
|
|
|
Journal Articles
|
|
|
|
Thorsten Liebig, Marko Luther, Olaf Noppens, Michael Wessel
:
|
|
OWLlink
|
|
Semantic Web - Interoperability, Usability, Applicability - IOS Press, 2011, Volume 2, Number 1 / 2011
|
|
Link
|
|
|
Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
:
|
|
The RacerPro Knowledge Representation and Reasoning System
|
|
Semantic Web - Interoperability, Usability, Applicability - IOS Press, 2011
|
|
Link
|
|
|
Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis, Atila Kaya, Ralf Möller, Stefano Montanelli, Georgios Petasis, Michael Wessel
:
|
|
Multimedia Interpretation for Dynamic Ontology Evolution
|
|
Journal of Logic and Computation, Oxford University Press, 2008, Volume 19 (5)
|
|
Link
|
|
|
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
|
|
|
|
Conference Papers
|
|
|
|
Alissa Kaplunova, Ralf Möller, Sebastian Wandelt, Michael Wessel
:
|
|
Towards Scalable Instance Retrieval over Ontologies
|
|
Knowledge Science, Engineering and Management, Fourth International Conference, KSEM 2010, 2010, Volume 6291 of Lecture Notes in Computer Science, Springer
|
|
PDF
|
|
|
Irma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Melzer, Ralf Möller, Michael Wessel
:
|
|
Towards a Media Interpretation Framework for the Semantic Web
|
|
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI 2007), IEEE Press, 2007
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
On the Scalability of Description Logic Instance Retrieval
|
|
Proceedings 29. Deutsche Jahrestagung für Künstliche Intelligenz (KI 2006), Springer-Verlag, 2006
|
|
PDF
Presentation
|
|
|
Ralf Möller, Volker Haarslev, Michael Wessel
:
|
|
On the Scalability of Description Logic Instance Retrieval
|
|
Proceedings of the International Workshop on Description
Logics 2006 (DL 2006), CEUR Workshop Proceedings (Vol. 189), 2006
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
The Description Logic ALCNHR+ Extended with Concrete Domains: A
Practically Motivated Approach
|
|
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), Springer-Verlag, 2001
|
|
PDF
|
|
|
Ralf Möller, Michael Wessel
:
|
|
Terminological Default Reasoning about Spatial Information: A First Step
|
|
Proceedings of the 1999 International Conference on Spatial Information Theory (COSIT 1999), Springer-Verlag, 1999
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
On Specifying Semantics of Visual Spatial Query Languages
|
|
Proceedings of the 15th IEEE Symposium on Visual Languages 1999 (VL '99), IEEE Press, 1999
|
|
PDF
Link
|
|
|
Volker Haarslev, Michael Wessel
:
|
|
Bringing Visual Spatial Querying to Reality
|
|
Proceedings of the 14th IEEE Symposium on Visual Languages 1998 (VL '98), IEEE Press, 1998
|
|
PDF
Presentation
Link
|
|
|
Volker Haarslev, Michael Wessel
:
|
|
Querying GIS with Animated Spatial Sketches
|
|
Proceedings of the 13th IEEE Symposium on Visual Languages 1997 (VL '97), IEEE Press, 1997
|
|
PDF
Presentation
Link
|
|
|
Volker Haarslev, Michael Wessel
:
|
|
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
|
|
Proceedings of the 12th IEEE Symposium on Visual Languages 1996 (VL '96), IEEE Press, 1996
|
|
PDF
Link
|
|
|
|
Postproceedings (Preprints)
|
|
|
|
Michael Wessel
:
|
|
Automatic Strengthening of Graph-Structured Knowledge Bases (Preprint)
|
|
Springer Lecture Notes in Computer Science Volume 8323, 2014, pp 180-210, 2014
|
|
PDF
|
|
|
|
Workshop Contributions
|
|
|
|
Vinay K. Chaudhri, Michael Wessel, Stijn Heymans
:
|
|
KB_Bio_101: A Challenge for TPTP First-Order Reasoners
|
|
CADE-24 Workshop on Knowledge Intensive Automated Reasoning (KINAR 2013), 2013
|
|
PDF
Presentation
|
|
|
Vinay K. Chaudhri, Michael Wessel, Stijn Heymans
:
|
|
KB_Bio_101: A Challenge for OWL Reasoners
|
|
The OWL Reasoner Evaluation Workshop (ORE 2013), 2013
|
|
PDF
|
|
|
Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans, Michael Wessel
:
|
|
Automatic Strengthening of Graph-Structured Knowledge Bases
|
|
The IJCAR 2013 International Workshop on Graph Structures for Knowledge Representation and Reasoning (GSKR 2013), 2013
|
|
PDF
Presentation
|
|
|
Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel
:
|
|
A Probabilistic Abduction Engine for Media Interpretation
|
|
Proeedings of the International Workshop on Uncertainty in Description Logics (UnIDL 2010), 2010
|
|
PDF
Link
|
|
|
Michael Wessel, Marko Luther, Ralf Möller
:
|
|
What Happened to Bob? Semantic Data Mining of Context Histories
|
|
Proceedings of the International Workshop on Description Logics 2000 (DL 2009), CEUR Workshop Proceedings (Vol. 477), 2009
|
|
PDF
Presentation
|
|
|
Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin
:
|
|
OWLlink: DIG for OWL 2
|
|
Proceedings of the International Workshop on OWL: Experiences and Directions 2008 (OWLED 2008),
CEUR Workshop Proceedings (Vol. 432), 2008
|
|
PDF
|
|
|
Michael Wessel, Ralf Möller
:
|
|
Software Abstractions for Description Logic Systems
|
|
Proceedings of the 5th European Lisp Workshop, 2008
|
|
PDF
Presentation
|
|
|
Michael Wessel, Marko Luther, Matthias Wagner
:
|
|
The Difference a Day Makes - Recognizing Important Events in Daily Context Logs
|
|
Proceedings of the International Workshop on
Contexts and Ontologies: Representation and Reasoning (C&O:RR), CEUR Workshop Proceedings (Vol. 298), 2007
|
|
PDF
|
|
|
Alissa Kaplunova, Ralf Möller, Michael Wessel
:
|
|
Leveraging the Expressivitiy of Grounded Conjunctive Query Languages
|
|
Proceedings of the 3rd International Workshop On Scalable Semantic Web Knowledge Base Systems (SSWS '07), Springer-Verlag (LNCS Vol. 4806/2007), 2007
|
|
PDF
Presentation
|
|
|
Michael Wessel, Ralf Möller
:
|
|
Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools
|
|
Proceedings of the International Workshop on OWL: Experiences and Directions 2007 (OWLED 2007),
CEUR Workshop Proceedings (Vol. 258), 2007
|
|
PDF
Presentation
|
|
|
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, Ralf Möller
:
|
|
A High Performance Semantic Web Query Answering Engine
|
|
Proceedings of the International Workshop on Description Logics 2005 (DL 2005), CEUR Workshop Proceedings (Vol. 147), 2005
|
|
PDF
Presentation
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
Querying the Semantic Web with Racer + nRQL
|
|
Proceedings of the KI-04 Workshop on Applications of Description Logics 2004 (ADL 2004), CEUR Workshop Proceedings (Vol. 115), 2004
|
|
PDF
Presentation
|
|
|
Volker Haarslev, Ralf Möller, Ragnhild van der Straeten, Michael Wessel
:
|
|
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
|
|
Proceedings of the International Workshop on Description Logics 2004 (DL 2004), CEUR Workshop Proceedings (Vol. 104), 2004
|
|
PDF
Presentation
|
|
|
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
|
|
|
Michael Wessel
:
|
|
On Spatial Reasoning with Description Logics - Position Paper
|
|
Proceedings of the International Workshop on Description Logics 2002 (DL 2002), CEUR Workshop Proceedings (Vol. 53), 2002
|
|
PDF
Presentation
|
|
|
Michael Wessel
:
|
|
Obstacles on the Way to Spatial Reasoning with Description Logics - Some Undecidability Results
|
|
Proceedings of the International Workshop on Description Logics 2001 (DL 2001), CEUR Workshop Proceedings (Vol. 49), 2001
|
|
PDF
Presentation
|
|
|
Michael Wessel, Volker Haarslev, Ralf Möller
:
|
|
ALCRA - ALC with Role Axioms
|
|
Obsolete, please refer to our more recent work!
|
|
Proceedings of the International Workshop on Description Logics 2000 (DL 2000), CEUR Workshop Proceedings (Vol 33), 2000
|
|
PDF
Presentation
|
|
|
Ralf Möller, Bernd Neumann, Michael Wessel
:
|
|
Towards Computer Vision with Description Logics: Some Recent Progress
|
|
Proceedings Integration of Speech and Image Understanding, IEEE Press, 1999
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
:
|
|
On Terminological Default Reasoning about Spatial Information: Extended Abstract
|
|
Proceedings of the International Workshop on Description Logics 1999 (DL 1999), CEUR Workshop Proceedings (Vol. 22), 1999
|
|
PDF
Presentation
|
|
|
|
Technical Reports
|
|
|
|
Michael Wessel, Marko Luther, Thorsten Liebig, Ralf Möller, Olaf Noppens
:
|
|
OWLlink: HTTP/Functional Binding
|
|
2010
|
|
Link
|
|
|
Michael Wessel, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens
:
|
|
OWLlink: S-Expression Binding
|
|
2010
|
|
Link
|
|
|
Michael Wessel
:
|
|
Qualitative Spatial Reasoning with the ALCIRCC-Family - First Results and Unanswered Questions
|
|
University of Hamburg, Informatics Department (FBI-HH-M-324/03), 2003
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Undecidabity of ALCRA
|
|
University of Hamburg, Informatics Department (FBI-HH-M-302/01), 2001
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Obstacles on the Way to Spatial Reasoning with Description Logics - Undecidability of ALCRAMINUS
|
|
University of Hamburg, Informatics Department (FBI-HH-M-297/00), 2000
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
The Description Logic ALCNHR+ Extended with Concrete Domains
|
|
University of Hamburg, Informatics Department (FBI-HH-M-290/00), 2000
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Decidable and Undecidable Extensions of ALC with Composition-based Role Inclusion Axioms
|
|
University of Hamburg, Informatics Department (FBI-HH-M-301/01), 2000
|
|
PDF
|
|
|
|
Presentations
|
|
|
|
Michael Wessel
:
|
|
Solving Planning Problems with Description Logics
|
|
A SAT-PLAN reduction to ABox satisfiability.
|
|
2014
|
PDF
Source Code
Source Code
|
|
|
Michael Wessel
:
|
|
Applications of Description Logics
|
|
Presentation @ SRI International, Artificial Intelligence Center, Lunch'n Learn Seminar, June 23th 2013
|
|
2013
|
|
PDF
|
|
|
Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel
:
|
|
CASAM - Computer-Aided Semantic Annotation of Multimedia
|
|
Optimized reimplementation of a stream-based cognitive architecture for multimedia interpretation
|
|
2010
|
|
PDF
|
|
|
Ralf Möller, Michael Wessel
:
|
|
PreSInt - Preference-based Scene Interpretation
|
|
Final Project Presentation - Approach and Architecture of Interpretation Engine
|
|
2010
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Flexible Tools for the Semantic Web
|
|
Presentation given at the "Semantic Days 2009" in Stavanger, Norway
|
|
2009
|
|
PDF
|
|
|
Michael Wessel
:
|
|
The RacerPro-Environment for Lisp-based Semantic Web Applications
|
|
Presentation given at the "European Common Lisp Meeting 2009", in Hamburg, Germany, September 13
|
|
2009
|
|
Presentation
Source Code
Source Code
|
|
|
Michael Wessel
:
|
|
Introduction to Description Logics & Semantic Web
|
|
University of Hamburg, Informatics Department, January 12 2009
|
|
2009
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Description Logics in Applications
|
|
Presentation in the Lecture "Angewandte Logik", TUHH / STS, February 4 2009
|
|
2009
|
|
PDF
|
|
|
Michael Wessel
:
|
|
nRQL Tutorial
|
|
Presentation for Racer Systems
|
|
2006
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Slides for CeBit Presentation of STS
|
|
2006
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Spatio-Thematic Data in DL-Based Prototypical GIS
|
|
Presentation for DOCOMO Euro Labs
|
|
2005
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Extended Query Languages for Racer
|
|
In German, presentation for STS
|
|
2004
|
|
PDF
|
|
|
Michael Wessel
:
|
|
Description Logics for Spatial Information Systems
|
|
In German, presentation for WSV Group (Informatics Department, University of Hamburg)
|
|
2004
|
|
PDF
|
|
|
Michael Wessel
:
|
|
CLIM Introduction
|
|
In German, lecture material
|
|
2003
|
|
PDF
Source Code
|
|
|
Michael Wessel
:
|
|
Presentation Informatics Department: Description Logics for Spatial Information Systems
|
|
In German, "Tag der Promovierenden", Informatics Department, University of Hamburg
|
|
2003
|
|
Presentation
|
|
|
|
Poster
|
|
|
|
Michael Wessel
:
|
|
A Tangram-Playing Lisp Program
|
|
In German, for EXPO exhibition of the Informatics Department, University of Hamburg
|
|
2004
|
|
PDF
|
|
|
|
Videos
|
|
|
|
Volker Haarslev, Michael Wessel
:
|
|
VISCO QuickTime Video
|
|
1998
|
Video
|
|
|
Volker Haarslev, Michael Wessel
:
|
|
GenEd QuickTime Video
|
|
1996
|
|
Video
|
