Publications

What I published so far

Papers

In the following, I collected bibliographic information and references to publications that I have been involved in during the last years.

Areas of Research

Conferences & Workshops

2009

[KH09a] Uwe Keller and Stijn Heymans. Fuzzy Description Logic Reasoning using a Fixpoint Algorithm. In Proceedings of the 6th International Symposium on Logical Foundations of Computer Science (LFCS 2009), January 3 - 6, 2009, Deerfield Beach, Florida, USA. Lecture Notes in Computer Science (LNCS), Volume 5407, pp. 265-279, Springer, 2009.
[ .pdf ][ Extended Technical Report ][ Springer Link ][ Conference Website ]

2008

[KH08b] Uwe Keller and Stijn Heymans. Deciding Fuzzy Description Logics by Type Elimination. In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), October 26 2008. Colocated with the 7th International Semantic Web Conference (ISWC 2008). Forthcoming.
[ .pdf ][ Workshop Website ][ Workshop Proceeding Download ][ Extended Technical Report ]
[KH08a] Uwe Keller and Stijn Heymans. The SAT-Tableau Calculus. Accepted at the 21st International Workshop on Description Logics (DL 2008), May 13-16 2008, Dresden, Germany.
[ .pdf ] [ Workshop Website ][ Extended Technical Report ]

2007

[K07] Uwe Keller. Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams. In Proceedings of 2nd Knowledge Web PhD Symposium (KWEPSY2007). Colocated with the 4th Annual European Semantic Web Conference (ESWC2007), Innsbruck, Austria, June 6, 2007, CEUR Workshop Proceedings, ISSN 1613-0073, online CEUR-WS.org/Vol-275/paper02.pdf.
[ .pdf ] [KWEPSY2007 Proceedings]
[GKL+07] Stephan Grimm, Uwe Keller, Holger Lausen, and Gabor Nagypal. A Reasoning Framework for Rule-Based WSML. In Proceedings of 4th European Semantic Web Conference (ESWC), Innsbruck, Austria, June 3 - 7 2007.
[ .pdf ]
[SKL+07] Michael Stollberg, Uwe Keller, Holger Lausen, and Stijn Heymans. Two-phase Web Service Discovery based on rich Functional Descriptions. In Proceedings of 4th European Semantic Web Conference (ESWC), Innsbruck, Austria, June 3 - 7 2007.
[ .pdf ]
[KHR+07] Uwe Keller, Stijn Heymans, Alois Reitbauer, Michael Neswal. Spinning a corporate Semantic Web for Product Engineering. In Proceedings of the 3rd International Conference on Web Information Systems and Technologies (WEBIST 2007), March 3-6, 2007, Barcelona, Spain.
[ .pdf ] [ Extended Technical Report (.pdf) ] [WEBIST Website]

2006

[KLS06] Uwe Keller, Holger Lausen, and Michael Stollberg. On the Semantics of Functional Descriptions of Web Services. In Proceedings of 3rd European Semantic Web Conference (ESWC), Budva, Montenegro, June 2006.
[.pdf]

2005

[SKF05] Michael Stollberg, Uwe Keller, and Dieter Fensel. Partner and Service Discovery for Collaboration Establishment on the Semantic Web. In Proceedings of the Third International Conference on Web Services (ICWS 2005), Orlando, Florida, July 2005.
[ .pdf ]
[KLL+05] Uwe Keller, Ruben Lara, Holger Lausen, Axel Polleres, and Dieter Fensel. Automatic Location of Services. In Proceedings of 2nd European Semantic Web Conference (ESWC), Heraklion, Greece, pages 1-16, May 2005.
[ .pdf ]
[FKL+05] Dieter Fensel, Uwe Keller, Holger Lausen, Axel Polleres, Ioan Toma. In Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services, Semantic Web Services Week, Innsbruck, Austria, June 9-10, 2005.
[ .pdf ] [ WS Website ]
[ZK05] A. Zhdanova and Uwe Keller. Choosing an Ontology Langauage. In Proceedings of the Second World Enformatika Congress (WEC 2005), Istanbul, Turkey, pages 47-50, February 2005.
[ .pdf ]
[SRT+05] Michael Stollberg, Dimitru Roman, Ioan Toma, Uwe Keller, Roman Herzog, Peter Zugmann, and Dieter Fensel. Semantic Web Fred - Automated Goal Resolution on the Semantic Web. In Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS 2005), Hawaii, January 2005.
[ .pdf ]

2004

[SKZH04] Michael Stollberg, Uwe Keller, Peter Zugmann, and Roman Herzog. Semantic Web Fred - Agent Cooperation on the Semanic Web. In Demonstration at the 3rd International Conference on Semantic Web (ISWC 2004), Hiroshima, Japan, January 2004.
[KLP+04] M. Kifer, R. Lara, A. Polleres, C. Zhao, U. Keller, and H. Lausen. A Logical Framework for Web Service Discovery. In Proceedings of the Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, International Semantic Web Conference (ISWC), Hiroshima, Japan, November 8, 2004.
[ .pdf ]
[KSF04] Uwe Keller, Michael Stollberg, and Dieter Fensel. WOOGLE meets Semantic Web Fred. In Proceedings of 1st Workshop on WSMO Implementations (WIW 2004), Frankfurt, Germany, September 29-30, 2004.
[ .pdf ]

2002

[BKS02] Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. On Translating the Object Constraint Language into First-order Predicate Logic. In Proceedings of Verify, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark, 2002.
[ .pdf ]

Journals

2006

[LdBK+06a] Holger Lausen, Jos de Bruijn, Uwe Keller, and Ruben Lara. Semantic Web Services with WSMO. Upgrade, European Journal for the Informatics Professional, Special issue on Web Services, ISSN 1684-5285, Vol. VII No. 5, pp. 34-37, October, 2006.
[ Website ] [ Article (pdf) ]
[LdBK+06b] Holger Lausen, Jos de Bruijn, Uwe Keller, and Ruben Lara. Semantic Web Services con WSMO. Novatica, Journal of the Spanish CEPIS society ATI (Asociacion de Tecnicos de Informatica), Special issue on Web Services, ISSN 0211-2124, No. 183, pp. 30-34, September-October 2006 (in Spanish).
[ Website Novatica Journal ]

2005

[dBFKL05] Jos de Bruijn, Dieter Fensel, Uwe Keller, and Ruben Lara. Using the Web Service Modelling Ontology to enable Semantic eBusiness. Communications of the ACM, Special issue on the Semantic e-Business Vision, 48(12):43-47, December 2005.
[ http ]
[RKL+05] Dumitru Roman, Uwe Keller, Holger Lausen, Ruben Lara Jos de Bruijn, Michael Stollberg, Axel Polleres, Cristina Feier, Christoph Bussler, and Dieter Fensel. Web service modeling ontology. Applied Ontology, 1(1):77-106, 2005.
[ .pdf ]

Books, Bookchapters & Thesises

2008

[dBFK+08] Jos de Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna. Modeling Semantic Web Services. The Web Service Modeling Language. 2008, XIV, 192 p. 28 illus., Hardcover, ISBN: 978-3-540-68169-4, Springer.
[ Publisher Website ]
[HKZ08] Zhisheng Huang, Uwe Keller, Ning Zhong (editors). Proceedings of the International Workshop on New Forms of Reasoning for the Semantic Web: scalable, tolerant, dynamic., co-located with the Asian Semantic Web Conference (ASWC), December 8, 2008, Bankok, Thailand. Forthcoming.
[ Workshop Website ]

2007

[HMA+07] Stijn Heymans, Li Ma, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller. Ontology Reasoning with Large Data Repositories, Chapter in: Ontology Management: Semantic Web, Semantic Web Services, and Business Applications. Edited by Martin Hepp, Pieter De Leenheer, Aldo de Moor, and York Sure., ISBN 978-0-387-69899-1, Springer, 2007.
[Book website]
[KL07] Uwe Keller and Holger Lausen. Semantic Web Service Discovery in WSMO, Chapter 12 in Semantic Web Services: Theory, Tools and Applications. Edited by Jorge Cardoso, Idea Group Inc. ISBN 978-1599040455. March 2007.
[Book website] [Amazon]

2005

[BFKS05] Chris Bussler, Dieter Fensel, Uwe Keller, and Brahmananda Sapkota, editors. 2nd WSMO Implementation Workshop (WIW 2005), Innsbruck, Austria, volume 134 of CEUR Workshop Proceedings, ISSN 1613-0073. CEUR, June 2005.
[ http ]

2002

[Kel02] Uwe Keller. Entwurf einer Abbildung von OCL-Constraints in Formeln einer dynamischen Logik für JavaCard. Master's thesis, Institute für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe (TH), April 2002. Master Thesis, in German.
[ .pdf ][ .ps.gz ]

Technical Reports

2008

[KH08bTR] Uwe Keller and Stijn Heymans. On Fixpoint-based Decision Procedures for Fuzzy Description Logics I. Technical Report, STI TR 2008-08-07, Semantic Technology Institute (STI), University of Innsbruck, October 2008.
[ .pdf ]
[KH08aTR] Uwe Keller and Stijn Heymans. The SAT-Tableau Calculus: Integrating SAT Solvers into Description Logic Reasoning. Technical Report, STI TR 2008-01-18, Semantic Technology Institute (STI), University of Innsbruck, Version 0.2, April 2008.
[ Available at the Project Website ]

2007

[KH07] Uwe Keller, Stijn Heymans. Developing Novel Techniques for Description Logics Reasoning. Technical Report, DERI TR 2007-03-26, Digital Enterprise Research Institute (DERI), University of Innsbruck, March 2007.
[KR07] Uwe Keller, Alois Reitbauer. Principles of SEnSEful Engineering Support Systems. Technical Report, DERI TR 2007-01-07, Digital Enterprise Research Institute (DERI), University of Innsbruck, January 2007.
[ .pdf ]

Miscellaneous

2016

[Kel16] Uwe Keller. Scheduling Output Jobs in regards of General Device Incompatibility Constraints is hard, December 2016.
[ .pdf ]

2005

[Kel05a] Uwe Keller. Development of a WSML Reasoning Infrastructure. Internal Report, Digital Enterprise Research Institute (DERI), University of Innsbruck, August 2005.
[ .pdf ]
[dBBD+05] Jos de Bruijn, Chris Bussler, John Domingue, Dieter Fensel, Martin Hepp, Uwe Keller, Michael Kifer, Birgitta König-Ries, Jacek Kopecky, Ruben Lara, Holger Lausen, Eyal Oren, Axel Polleres, Dumitru Roman, James Scicluna, and Michael Stollberg. Web Service Modeling Ontology (WSMO). W3C Member Submission, June 2005.
[ http ]
[dBFK+05] Jos de Bruijn, Dieter Fensel, Uwe Keller, Michael Kifer, Holger Lausen, Reto Krummenacher, Axel Polleres, and Livia Predoiu. Web Service Modeling Language (WSML). W3C Member Submission, June 2005.
[ http ]
[Kel05b] Uwe Keller. How common Specification Frameworks for Software Components deal with Inputs in functional Specifications. Internal Report, Digital Enterprise Research Institute (DERI), University of Innsbruck, January 2005.
[ .pdf ]

2004

[Kel04] Uwe Keller. Some Remarks on the Definability of Transitive Closure in First-order Logic and Datalog. Internal Report, Digital Enterprise Research Institute (DERI), University of Innsbruck, June 2004.
[ .pdf ]

2001

[Kel01] Uwe Keller. A formal Specification of the KeY-Collections. Internal Report, Insitut fuer Logik, Komplexität und Deduktionssysteme (ILKD), University of Karlsruhe (TH), 2001.

Work in Progress

[KH08bTR] Uwe Keller and Stijn Heymans. On Fixpoint-based Decision Procedures for Fuzzy Description Logics I. Technical Report, STI TR 2008-08-07, Semantic Technology Institute (STI), University of Innsbruck, October 2008.
[ .pdf ]
[KH08b] Uwe Keller and Stijn Heymans. Integrating SAT Solvers into Description Logic Reasoning. January 18, 2008.
[KH08aTR] Uwe Keller and Stijn Heymans. The SAT-Tableau Calculus: Integrating SAT Solvers into Description Logic Reasoning. Technical Report, STI TR 2008-01-18, Semantic Technology Institute (STI), University of Innsbruck, January 2008.
[ Available at the Project Website ]