Get in touch
eMail: firstname DOT lastname HERE-COMES-AN-AT gmail DOT com

Skip to Content

Uwe Keller

• Intro
• Publications
• Teaching
• Downloads
• Contact

Thoughts

"Every great dream begins with a dreamer. Always remember, you have within you the strength, the patience, and the passion to reach for the stars to change the world."
- Harriet Tubman

• Publications
• Projects
• Activities
• Teaching
• Links
• Photos

"Nothing truly valuable arises from ambition or from a mere sense of duty; it stems rather from love and devotion towards men and towards objective things."
- Albert Einstein

News

Checkout my analysis of a scheduling problem for output jobs under general device incompatibility constraints. It's a computational problem that I stumbled upon recently.

I migrated my open-source project evanescent from evanescent@Google Code to evanescent@Github.

Check out my latest open-source project called evanescent. Evanescent now includes the first release of the high-performance SAT-Solver deescover and the very fast SUDOKU-Solver deescoverSUDOKU both written in D.

I am designing a novel tableau-based calculus for reasoning in Description Logics. An implementation of the calculus has been started but is not yet finished. The respective system is called YODLR. Check out the Website for news and updates on the system and stay tuned.

We are developing a novel platform independent open-source implementation of a Rule-Engine (called IRIS) for Horn Rules with Default Negation (or Normal Logic Programs), in particular Datalog. Negation is based on the Well-founded Semantics by [Van Gelder et al., 1991]. The system implements various evaluation strategies for query answering. At present we mainly focus on bottom-up evaluation strategies.

Welcome to the Semantic Web

Introduction

News

Check out my latest open-source project called evanescent. Evanescent now includes the first release of

• the high-performance SAT-Solver deescover and
• the very fast SUDOKU-Solver deescoverSUDOKU

written in an interesting, rather recent programming language called D.

Besides giving me the chance to get to know a really interesting novel programming language, the project itself embodies challanging algorithmic problems for the D language (and compilers) where performance matters a lot. Therefore, I see evanescent and D as a neat fit that may shed some more light on the question on how performant D is for computationally intensive problems with industrial relevance.

About me

I am a computer scientist and graduated in computer science from University of Karlsruhe (TH), Germany.

During my studies I chose databases and information systems as well as logics and theoretical foundations as my fields of specialization in computer science and operations research as my minor. My master thesis (Diplomarbeit) was in the area of formal software verification: I designed and implemented a translation of UML/OCL-based software models into formulas of a dynamic logic for Java. The transformation has been a central component in a software verification system for Java extending a modern UML-based CASE tool.

Since 06/2009 I work as an IT consultant for Accenture Technology Solutions in Vienna. I have been involved in a number of IT projects mostly in the Aviation sector gaining deep insights into Aviation IT and processes, in particular in Revenue Management, Electronic Tickets, Pricing, and Fares. During that time I supported a major German network carrier, in various roles, such as Requirements Analysis and Specification, Software Design, Software Development, Test Design and Execution, Test Management, Migration Management, and Project Management Office.

From 01/2004 to 12/2008 I worked as a researcher at the Semantic Technology Institute (STI) Innsbruck, a distinct research department of the University of Innsbruck, Austria.

Our main focus of work has been in the area of semantic technologies and their application to the Web and Web Services.

I worked in a number of European and Austrian projects with different responsibiltities. Amongst other things, I was leading a workpackage in the European integrated project Large Knowledge Collider (LARKC) (04/2008 - 12/2008), have been a workpackage leader and technical responsible for STI in the Austrian projects Semantic Engineering Support Environment (SENSE) (01/2006 - 03/2008), worked as a researcher in the Austrian project Reasoning with Web Services (RW2) (04/2005 - 10/2007), which I lead for STI from 05/2007 - 10/2007.

All of these projects have been research projects with industrial partners.

I have been actively involved in the Web Service Modelling Ontology (WSMO) and Web Service Modelling Language (WSML) working groups that defined a framework and a formal representation language for the rigorous description of Web Services and all related components in semantically enriched service-oriented systems.

Our work is documented in a series of academic publications, in particular our book on the Web Service Modelling Language (WSML) available at Amazon.

We submitted our work as input for future standardization activities in Semantic Web Services to W3C.

Besides my research on the semantic description of Web Services and ontologies, I worked on automated deduction and knowledge representation, i.e. novel techniques for inferencing in Description Logics, i.e. knowledge representation formalisms which form a central pillar for the so-called Semantic Web (or more recently also called Web 3.0). More details on my research can be found on my publications page.

During my time at STI Innsbruck, I enjoyed supervising a range of students during bachelor or master projects and giving some lectures or tutorials. I was also happy to support various scientific events and journals as a program committee member, an co-organizer or reviewer.

Previous to my research position at STI Innsbruck I worked as a software developer in an academic as well as an industrial setting (for RapidSolution Software AG / equero Future Net Technologies AG, Karlsruhe, Germany) on various Java projects.

Main Research Interests are

• Logics and Automated Reasoning with specific Focus on Semantic Web Applications
• Deductive Databases
• Semantic Description of Web Services and the exploitation of such descriptions, in particular for Semantic-based Discovery of Web Services
• Knowledge-based Applications
• Formal Methods, Software Specification and Program Verification
• Semantically-enriched Service-Oriented Architectures
• Pattern Languages

Contact

Postal Address

Uwe Keller
Goethestrasse 10
A-6020 Innsbruck
Austria

Phone

+43 (0)660 3965420

Electronic Mail

firstname DOT lastname HERE-COMES-AN-AT gmail DOT com

Web

My professional homepage at http://www.uwekeller.net
My personal blog
My Github projects

Acknowledgements

The people that saved me some effort ...

This website is based on a nice template by James Koster of Six Shooter Media. I found the template at the Open Source Web Design homepage. Nice idea guys!

© Uwe Keller 2006
Web template (Plain 2.0) designed by James Koster for OSWD.