|
|
|
Doctoral Thesis
|
|
|
|
Michael Wessel
:
|
|
Flexible und konfigurierbare Software-Architekturen für datenintensive ontologiebasierte Informationssysteme
|
|
In German, Dissertation. Submitted in 2005, defended in April 2008.
|
|
Logos-Verlag Berlin, ISBN 978-3-8325-2162-2 (2009), 2008
|
|
An electronic version is available here:
https://doi.org/10.15480/882.832
|
|
The thesis is in German. An extended English summary is available here:
English summary (PDF, written by Claude Code)
and, together with the thesis and errata, in this
Github repository.
|
Presentation
Link
|
|
|
|
Diploma Thesis
|
|
|
|
Michael Wessel
:
|
|
Eine visuelle Sprache 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
|
|
|
|
Ralf Möller, Özgür Özçep, Volker Haarslev, Anahita Nafissi, Michael Wessel
:
|
|
Abductive Conjunctive Query Answering w.r.t. Ontologies
|
|
KI - Künstliche Intelligenz, Springer, 2016, Volume 30 (2), pages 177-182
|
|
PDF
Link
|
|
|
Thorsten Liebig, Marko Luther, Olaf Noppens, Michael Wessel
:
|
|
OWLlink
|
|
Semantic Web - Interoperability, Usability, Applicability - IOS Press, 2011, Volume 2, Number 1 / 2011
|
|
PDF
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
|
|
PDF
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 Empirically Successful Systems, 2007, Volume 7, Issue 1 (Accepted 2007, Published March 2009)
|
|
PDF
Link
|
|
|
|
Conference Papers
|
|
|
|
Michael Wessel
:
|
|
An Ontology-Based Dialogue Management Framework for Virtual Personal Assistants in Common Lisp
|
|
European Lisp Symposium (ELS 2022), 2022
|
|
A recording of the talk is available here:
Video.
|
|
PDF
Link
|
|
|
Michael Wessel
:
|
|
A Tangram Puzzle Solver in Common Lisp
|
|
European Lisp Symposium (ELS 2021), 2021
|
|
A recording of the talk is available here:
Video.
|
|
PDF
Link
|
|
|
Melinda Gervasio, Karen Myers, Michael Wessel
:
|
|
Demonstration-based Solution Authoring for Skill Assessment
|
|
Fifth Annual Conference on Advances in Cognitive Systems (ACS 2017), 2017, Advances in Cognitive Systems 5
|
|
PDF
Link
|
|
|
Vinay K. Chaudhri, Stijn Heymans, Adam Overholtzer, Aaron Spaulding, Michael Wessel
:
|
|
Large-Scale Analogical Reasoning
|
|
Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), 2014
|
|
PDF
Link
|
|
|
Vinay K. Chaudhri, Daniel Elenius, Sue Hinojoza, Michael Wessel
:
|
|
KB_Bio_101: Content and Challenges
|
|
Formal Ontology in Information Systems (FOIS 2014), IOS Press, 2014, pages 415-420
|
|
PDF
Link
|
|
|
Vinay K. Chaudhri, Rahul Katragadda, Jeff Shrager, Michael Wessel
:
|
|
Inconsistency Monitoring in a Large Scientific Knowledge Base
|
|
International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014), Springer, 2014, pages 66-79
|
|
Link
|
|
|
Sylvia Melzer, Ralf God, Thorsten Kiehl, Ralf Möller, Michael Wessel
:
|
|
Identifikation von Varianten durch Berechnung der semantischen Differenz von Modellen
|
|
In German
|
|
Tag des Systems Engineering (TdSE 2014), Carl Hanser Verlag, 2014, pages 277-288
|
|
PDF
Link
|
|
|
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Tran Cao Son
:
|
|
Object-Oriented Knowledge Bases in Logic Programming
|
|
Technical Communications of the International Conference on Logic Programming (ICLP 2013), 2013
|
|
PDF
Link
|
|
|
Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel
:
|
|
A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies
|
|
The PDF is the extended technical report version (20 pages).
|
|
International Conference on Web Reasoning and Rule Systems (RR 2010), Lecture Notes in Computer Science, Springer, 2010, pages 182-194
|
|
PDF
Link
|
|
|
Benjamin Seppke, Leonie Dreschler-Fischer, Michael Wessel, Martin Gade
:
|
|
A Knowledge Based Framework for the Detection of Measurement Uncertainties in Derived Sea Surface Current Fields
|
|
IEEE International Geoscience and Remote Sensing Symposium (IGARSS 2010), 2010
|
|
PDF
Link
|
|
|
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
|
|
|
|
Book Chapter
|
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
Visual Spatial Query Languages: A Semantics Using Description Logic
|
|
Diagrammatic Representation and Reasoning, Springer London, 2002, pages 387-403
|
|
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
|
|
|
|
Michael Wessel, Michael Cogswell, Jason Tyan, Bob Price
:
|
|
Medical Procedure Tracking using Abductive Planning - A PARADIGM Shift
|
|
Knowledge Engineering for Planning and Scheduling (KEPS 2026), Workshop at the 36th International Conference on Automated Planning and Scheduling (ICAPS 2026), 2026
|
|
PDF
Link
|
|
|
Michael Wessel, Girish Acharya, James Carpenter, Min Yin
:
|
|
An Ontology-Based Dialogue Management System for Virtual Personal Assistants
|
|
International Workshop on Spoken Dialogue Systems Technology (IWSDS 2017), 2017
|
|
PDF
Link
|
|
|
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
|
|
|
Vinay K. Chaudhri, Michael Wessel, Stijn Heymans
:
|
|
KB_Bio_101: A Repository of Graph-Structured Knowledge
|
|
E-LKR 2012, 2012
|
|
PDF
Link
|
|
|
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
|
|
|
Irma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Melzer, Ralf Möller, Michael Wessel
:
|
|
Multimedia Interpretation as Abduction
|
|
International Workshop on Description Logics (DL 2007), 2007
|
|
PDF
Link
|
|
|
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
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
Description Logic Inference Technology: Lessions Learned in the Trenches
|
|
International Workshop on Description Logics (DL 2005), 2005
|
|
PDF
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
Link
|
|
|
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
|
|
|
|
Patents
|
|
|
|
Girish Acharya, Louise Yarnall, Anirban Roy, Michael Wessel, Yi Yao, John J. Byrnes, Dayne Freitag, Zachary Weiler, Paul Kalmar
:
|
|
Machine Learning System for Technical Knowledge Capture
|
|
US Patent 12,118,773, 2024
|
|
PDF
Link
|
|
|
Edgar T. Kalns, Dimitra Vergyi, Girish Acharya, Andreas Kathol, Leonor Almada, Hyong-Gyun Kim, Nikoletta Baslou, Michael Wessel, Aaron Spaulding, Roland Heusser, James F. Carpenter, Min Yin
:
|
|
The Conversational Assistant for Conversational Engagement
|
|
US Patent Application 17/613,373, 2022
|
|
PDF
Link
|
|
|
Ajay Divakaran, Amir Tamrakar, Girish Acharya, William Mark, Greg Ho, Jihua Huang, David Salter, Edgar Kalns, Michael Wessel, Min Yin, James Carpenter, Brent Mombourquette, Kenneth Nitz, Elizabeth Shriberg, Eric Law, Michael Frandsen, Hyong-Gyun Kim, Cory Albright, Andreas Tsiartas
:
|
|
VPA with Integrated Object Recognition and Facial Expression Recognition
|
|
US Patent 10,884,503, 2021
|
|
PDF
Link
|
|
|
|
Preprints
|
|
|
|
John Boden, Joshua Eckroth, Dayne Freitag, Skyler Gipson, Johnathan Keefe, Karen Myers, Eric Schoen, Pedro Sequeira, Reid Smith, Michael Wessel
:
|
|
A Virtual Member of a Community of Practice for the Society of Petroleum Engineers: From Prototype to Deployment
|
|
arXiv preprint arXiv:2608.19199, 2026
|
|
PDF
Link
|
|
|
Michael Wessel
:
|
|
Notes on Refactoring Exponential Macros in Common Lisp
|
|
arXiv preprint arXiv:2305.02991, 2023
|
|
PDF
Link
|
|
|
Michael Wessel, Edgar Kalns, Girish Acharya, Andreas Kathol
:
|
|
Widening the Dialogue Workflow Modeling Bottleneck in Ontology-Based Personal Assistants
|
|
arXiv preprint arXiv:2011.08334, 2020
|
|
PDF
Link
|
|
|
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Tran Cao Son
:
|
|
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
|
|
arXiv preprint arXiv:1312.6138, 2013
|
|
PDF
Link
|
|
|
|
Technical Reports
|
|
|
|
Michael Wessel
:
|
|
The AURA KB Translations - FOPL, TPTP, ASP, SILK, and OWL2
|
|
SRI International, documentation of the exports of the AURA biology knowledge base KB_Bio_101, 2013
|
|
PDF
Link
|
|
|
Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel
:
|
|
Media Interpretation and Companion Feedback for Multimedia Annotation
|
|
Technical report, Institute for Software Systems (STS), Hamburg University of Technology, 2011
|
|
PDF
|
|
|
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
|
|
|
Alissa Kaplunova, Ralf Möller, Sebastian Wandelt, Michael Wessel
:
|
|
Approximation and ABox Segmentation
|
|
Institute for Software Systems (STS), Hamburg University of Technology, 2008
|
|
PDF
|
|
|
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
|
|
|
|
Unpublished Work
|
|
|
|
Michael Wessel, with AI assistants
:
|
|
Can Agentic AI Settle a 20-Year-Old Description Logic Problem? On the Decidability of ALCI_RCC5: a Machine-Checked Decidable Fragment and a Map of What Remains Open
|
|
Not peer-reviewed; a discussion piece. The work was conducted by AI assistants (Anthropic Claude and OpenAI GPT models) under my direction and is machine-checked in part. The full question remains open.
|
|
Overview paper and Github repository, 2026
|
|
PDF
Link
|
|
|
Michael Wessel, with AI assistants
:
|
|
Deciding the ∀PO-Free Fragment of ALCI_RCC5: Ordered-Disjoint Models, Cone Schemes, and a Proof Checked in Lean 4
|
|
Not peer-reviewed. Conducted by AI assistants under my direction; the decision procedure for this fragment is checked in Lean 4.
|
|
Paper and Github repository, 2026
|
|
PDF
Link
|
|
|
Michael Wessel, Claude (Anthropic)
:
|
|
Using Standard Description Logic Reasoning for SAT Planning: Exploring Role-Based Encodings of the Wolf-Goat-Cabbage Riddle
|
|
Not peer-reviewed.
|
|
Paper and Github repository, 2026
|
|
PDF
Link
|
|
|
|
Technical Manuals and Analyses
|
|
|
|
Claude Opus 4.8 (generative AI), initiated by Michael Wessel
:
|
|
SHACL, Racer nRQL, and Property Graphs: What Was Conceptually New - and What Came First?
|
|
A semantic and historical comparison of SHACL validation with RacerPro's nRQL and its data substrate. The reports were drafted by generative AI systems (Claude Opus 4.8, GPT) at my initiative and checked against the cited publications; see the authorship declaration in the repository.
|
|
Report and Github repository, with nRQL tutorial, cheat sheet and verification scripts, 2026
|
|
PDF
Link
|
|
|
GPT (generative AI), initiated by Michael Wessel
:
|
|
What Was Original About nRQL? A Historical and Semantic Analysis
|
|
Drafted by a generative AI system (GPT) at my initiative; see the authorship declaration in the repository.
|
|
Companion report in the same Github repository, 2026
|
|
PDF
Link
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
RacerPro User's Guide, Version 2.0
|
|
Racer Systems GmbH & Co. KG, 2012
|
|
PDF
Link
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
RacerPro Reference Manual, Version 1.9 (October 2010 edition, shipped with RacerPro 2.0)
|
|
Racer Systems GmbH & Co. KG, 2010
|
|
PDF
Link
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
RacerPro User's Guide, Version 1.9.2
|
|
Racer Systems GmbH & Co. KG, October 2007, 2007
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
RacerPro Reference Manual, Version 1.9.2
|
|
Racer Systems GmbH & Co. KG, October 2007, 2007
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
RacerPro User's Guide, Version 1.9
|
|
Chapter 6 documents nRQL as of December 2005: negation as failure, projection (project-to), union, rules, complex TBox queries, and hybrid queries over the substrate representation layer.
|
|
Racer Systems GmbH & Co. KG, December 2005, 2005
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, Michael Wessel
:
|
|
RacerPro Reference Manual, Version 1.9
|
|
Racer Systems GmbH & Co. KG, December 2005, 2005
|
|
PDF
|
|
|
Volker Haarslev, Ralf Möller, with contributions from Michael Wessel
:
|
|
RACER User's Guide and Reference Manual, Version 1.7.19
|
|
The first edition of the manual with my contributions: section 10.3 describes the Racer Query Language (RQL), the predecessor of nRQL, already with negation as failure.
|
|
Concordia University and University of Hamburg, April 2004, 2004
|
|
PDF
|
|
|
|
Magazine and Newsletter Articles
|
|
|
|
Michael Wessel
:
|
|
Die PicoRAM Familie - Moderne Speicheremulation für klassische Einplatinencomputer
|
|
In German. The PicoRAM family of SRAM emulators: PicoRAM 2090, PicoRAM 6116 and PicoRAM Ultimate. The issue is a free PDF download; the PDF here contains the cover and the article.
|
|
LOAD - Magazin des Vereins zum Erhalt klassischer Computer e.V. (VzEkC), Issue 12, 2026, pages 54-55
|
|
PDF
Link
Link
|
|
|
Michael Wessel
:
|
|
Der große Vergleichstest der Lerncomputer - Computer zum Experimentieren - Teil 2: Kosmos CP1, Busch Microtronic, und Microtronic Phoenix
|
|
In German. The PDF is the English edition, which combines both LOAD articles; the translation is also on Github.
|
|
LOAD - Magazin des Vereins zum Erhalt klassischer Computer e.V. (VzEkC), Issue 11, 2025
|
|
PDF
Link
Link
|
|
|
Michael Wessel
:
|
|
Der große Vergleichstest der Lerncomputer - Computer zum Experimentieren - Teil 1: Das Philips MasterLab MC6400
|
|
In German. The PDF is the English edition, which combines both LOAD articles; the translation is also on Github.
|
|
LOAD - Magazin des Vereins zum Erhalt klassischer Computer e.V. (VzEkC), Issue 10, 2024, pages 72-75
|
|
PDF
Link
Link
|
|
|
Michael Wessel
:
|
|
Is It Acceptable to Replace the Guts of Retro Tech? - No: Keep It Authentic, Keep It Real
|
|
Debate column about modifying vintage computers, from the perspective of my Amstrad CPC Portable; the "yes" side is argued by Philipp Hoeler-Lutz. The PDF shows the cover and the page; the magazine is available from the publisher.
|
|
Amstrad Addict - Collectors Magazine, Addict Media, 2023, page 26
|
|
PDF
Link
|
|
|
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Tran Cao Son
:
|
|
Large Object Oriented Knowledge Bases: A Challenge for Reasoning Engines
|
|
Newsletter of the Association for Logic Programming, October 2013, 2013
|
|
PDF
Link
|
|
|
|
Presentations
|
|
|
|
Michael Wessel
:
|
|
Reengineering of a Historical 4bit Micro Computer - A Computer Scientist's Journey into Electrical Engineering
|
|
Presentation @ SRI International, Artificial Intelligence Center, Seminar, February 2nd 2023 - on my Busch Microtronic emulators
|
|
2023
|
|
A recording of the talk is available here:
Video.
|
|
PDF
|
|
|
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 Demo Video
|
|
MP4 version converted in 2026 from the original QuickTime movie, which is the second link.
|
|
1998
|
Video
Video
|
|
|
Volker Haarslev, Michael Wessel
:
|
|
GenEd Demo Video
|
|
MP4 version converted in 2026 from the original QuickTime movie, which is the second link.
|
|
1996
|
|
Video
Video
|