Computer scientist @
the Artificial intelligence Center of SRI International,
the project HALO,
which is concerned with deductive question answering.
Doctoral degree in informatics (computer science) from the Hamburg University of Technology (TUHH) in 2007, supervised by Prof. Ralf Möller, Institute for Software Systems. Dissertation on software architectures for ontology-based information systems.
Diploma from the University of Hamburg in 1998, in Prof. Bernd Neumann's Cognitive Systems Group.
Co-founder of Racer Systems GmbH & Co. KG, the company behind the reasoner RacerPro. Principal developer of RacerPro's query language nRQL, and of the IDE RacerPorter.
Recently, I worked for the EU-funded projects TONES, BOEMIE and CASAM.
|Name:||Dr. rer. nat. Michael Wessel|
|Residence:||Palo Alto, CA 94306, California, USA|
About These Pages
These pages were generated with my own little content management system, written in Common Lisp. It features a simple proprietary non-XML markup language (similar to Wiki markup). Documents are instances of document classes (in CLOS), for which presentation templates can be specified as (CLOS) methods. For example, blog entries are presented differently from galleries. Obviously, documents are instances of document types (I am not writing a single line of HTML by hand, and I don't like HTML editors - Lisp and a text editor are much better for that). Documents (instances of document classes) are readily created using the textual markup language.