Downloads
Some things that might be interesting for you
Here I collected various artifacts that I co-authored during the last years. Since this material might be interesting for others as well, I have put them in this area for download. Enjoy!
Presentations
Here you can find the slides to various presentations recently given by me.
- Deciding Fuzzy Description Logics by Type Elimination. Presentation given at the Uncertainty Reasoning for the Semantic Web Workshop (URSW 2008) at the 7th International Semantic Web Conference (ISWC 2008), October 26, 2008, Karlsruhe, Germany. [.pdf]
- SAT-Solving in Propositional Logics: to be SAT or not to be SAT, that is here the question!. Presentation given at LarKC WP5 Project Workshop on Parallelization, July 10, 2008, Innsbruck, Austria. [.pdf]
- From SAT to SAT-Modulo-Theories. Presentation given at STI Research Seminar, June 9, 2008, Innsbruck, Austria. [.pdf]
- The SAT-Tableau Calculus - Integrating Propositional SAT Solver into Description Logic Reasoning. Invited talk at the Ontology Logic and Reasoning Group (OntoLoRe), AIFB, University of Karlsruhe, Germany. March 20, 2008. [ Slides download ]
- Towards Novel Techniques for Reasoning in expressive Description Logics. Presentation given at the KnowledgeWeb Ph.D Symposium (KWEPSY 2007) at the 4th European Semantic Web Conference(ESWC), June 6, 2007, Innsbruck, Austria. [.pdf]
- Spinning a corporate Semantic Web for Product Engineering. Presentation given at the 3rd International Conference on Web Information Systems and Technologies (WEBIST 2007), Barcelona, Spain, March 3-6, 2007. [.pdf]
- Entwicklung einer Ontolgie fuer Semantische Web Services (in German). Presentation given at the ASG Industry Day, Koblenz, Germany, July 6, 2006. [.pdf]
- On the Semantics of Functional Descriptions of Web Services. Presentation given at the European Semantic Web Conference (ESWC), Budva, Montenegro, June 11 - 14, 2006. [.pdf]
- Introduction to Information Integration -- Part I: Classical Approaches. Presentation given at the SEnSE technical project meeting, May 3rd, 2006. [.pdf]
- Chain Resolution. Presentation given in the DERI Research Seminar, October 20th, 2005. [.pdf]
- A brief Introduction to Automated Theorem Proving. Presentation given in the DERI Research Seminar, May, 2005. [.ppt]
- Woogle meets Semantic Web Fred. Presentation given in the 1st WSMO Implementation Workshop (WIW 2004), June, 2004. [.ppt]
- A formal Approach to Component Adaption. Presentation given in the WSMO Working Group, May, 2004. [.ppt]
- A Formal Basis for Architectural Connection. Presentation given in the DERI Research Seminar, March, 2004. [.ppt]
- Some philosophical problems from the standpoint of artificial intelligence. Presentation given in the DERI Research Seminar, March, 2004. [.ppt]
Software
Here is some software that I developed myself or which I helped to develop
- Integrated Rule Inference System (IRIS): rule-based reasoning with Datalog and deductive database techniques
- Yet One More Description Logic Reasoner (YODLR): Reasoning for the Semantic Web using the SAT-Tableau Calculus
- Evanescent: a library for reasoning in Propostional Logic for the D programming language
- Deescover: a modern high-performance SAT solver
- DeescoverSUDOKU: a very fast solver for SUDOKU puzzles
- KeY: an environment for the formal verification of Java software
Miscellaneous
Miscellaneous other things that could be of interest to the general public.