Publications in 2006

Journal Articles

Franz Baader, Silvio Ghilardi, Cesare Tinelli
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
Information and Computation, 204(10):1413-1452, 2006
Details Download

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Journal of Information, 9(1):7-20, January 2006
Details Download

Bertram Fronhöfer, Akihiro Yamamoto
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Theoretical Computer Science, 350:140-162, 2006
Details

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74(2-3):301-328, July 2006
Details Download

Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova
FLUCAP: A Heuristic Search Planner for First-Order MDPs
Journal of Artificial Intelligence Research, 27:419-439, 2006
Details Download

Markus Krötzsch
Generalized Ultrametric Spaces in Quantitative Domain Theory
Theoretical Computer Science, 368(1--2):30--49, December 2006
Details Download

Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Information and Computation, 205(1):99-123, 2006
Details Download

Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Logical Methods in Computer Science, 2(2), 2006
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, to appear
Details Download

Jörg Meier, Sebastian Rudolph, Tom Schanz
Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik
Bautechnik, 83(7):470--481, July 2006
Details

D. Walther, Carsten Lutz, Frank Wolter, M. Wooldridge
ATL is Indeed ExpTime-complete
Journal of Logic and Computation, 16(6):765-787, 2006
Details Download

Proceedings Articles

Anupriya Ankolekar, Paul Buitelaar, Philipp Cimiano, Pascal Hitzler, Malte Kiesel, Markus Krötzsch, Holger Lewen, G. Neumann, Michael Sintek, Tuvshintur Tserendorj, Rudi Studer
SmartWeb: Mobile Access to the Semantic Web
Proceedings of the ISWC 2006 Poster and Demo Session, November 2006
Details

Anupriya Ankolekar, Philipp Cimiano, Pascal Hitzler, Markus Krötzsch, Günter Ladwig, Holger Lewen, Daniel Oberle, Rudi Studer, Malte Kiesel, Michael Sintek
SmartWeb: Mobile Access to the Semantic Web
In Holger Wache, eds., Proceedings of the ESWC2006 poster and demo session, 3-4, June 2006
Details

Franz Baader, Carsten Lutz, B. Suntisrivaraporn
CEL—A Polynomial-time Reasoner for Life Science Ontologies
In U. Furbach and N. Shankar, eds., Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, 287-291, 2006. Springer
Details Download

Franz Baader, A. Okhotin
Complexity of Language Equations With One-Sided Concatenation and All Boolean Operations
In Jordi Levy, eds., Proceedings of the 20th International Workshop on Unification, UNIF'06, 59-73, 2006
Details Download

Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Efficient Reasoning in EL^+
Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006
Details Download

S. Bader, S. Hölldobler
The Core Method: Connectionist Model Generation
Proceedings of the 16th International Conference on Artificial Neural Networks (ICANN), volume II of LNCS, 1-13, 2006. Springer
Details Download

P. Bonatti, Carsten Lutz, Frank Wolter
Expressive Non-Monotonic Description Logics Based on Circumscription
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 400-410, 2006. AAAI Press
Details Download

P. Bonatti, Carsten Lutz, A. Murano, M. Vardi
The Complexity of Enriched µ-Calculi
In Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener, eds., Proccedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II (ICALP'06), volume 4052 of Lecture Notes in Computer Science, 540-551, 2006. Springer
Details Download

Dzung Dinh-Khac, Steffen Hölldobler, Dinh-Khang Tran
The Fuzzy Linguistic Description Logic ALC_FL
Proceedings of the Eleventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), 2096-2103, July 2006
Details

S. Ghilardi, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Conservative Extensions in Modal Logics
In Guido Governatori and Ian Hodkinson and Yde Venema, eds., Advances in Modal Logics Volume 6, 187-207, 2006. College Publications
Details Download

S. Ghilardi, Carsten Lutz, Frank Wolter
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 187-197, 2006. AAAI Press
Details Download

Heiko Haller, Markus Krötzsch, Max Völkel, Denny Vrandečić
Semantic Wikipedia (software demo)
Proceedings of the 2006 International Symposium on Wikis, 137--138, August 2006. ACM Press
Details

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer
Details

Jan Hladik, Rafael Peñaloza
PSPACE Automata for Description Logics
In B. Parsia and U. Sattler and D. Toman, eds., Proceedings of the 2006 International Workshop on Description Logics (DL'06), volume 189 of {CEUR-WS}, 2006
Details Download

Steffen Hölldobler, Olga Skvortsova
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
Details

Ozan Kahramanoğulları
System BV is NP-complete
In R. de Queiroz and A. Macintyre and G. Bittencourt, eds., Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005, volume 143 of Electronic Notes in Theoretical Computer Science, 87-99, 2006. Elsevier
Details

E. Karabaev, G. Rammé, O. Skvortsova
Efficient Symbolic Reasoning for First-Order MDPs
Proceedings of the Workshop on "Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds" at the 17th European Conference on Artificial Intelligence (ECAI'2006), 2006
Details Download

Markus Krötzsch, Denny Vrandečić, Max Völkel
Semantic MediaWiki
In Isabel Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Mike Uschold and Lora Aroyo, eds., Proceedings of the 5th International Semantic Web Conference (ISWC06), volume 4273 of Lecture Notes in Computer Science, 935-942, November 2006. Springer
Details Download

Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, 17--26, November 2006. IEEE Computer Society
Details Download

Markus Krötzsch, Grit Malik
The Tensor Product as a Lattice of Regular Galois Connections
In Rokia Missaoui and Jürg Schmid, eds., Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA2006), Dresden, Germany, volume 3874 of Lecture Notes in Computer Science, February 2006. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
On the complexity of Horn description logics
In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds., Proceedings of the 2nd Workshop on OWL: Experiences and Directions, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Updating Description Logic ABoxes
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 46-56, 2006. AAAI Press
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Reasoning about Actions using Description Logics with general TBoxes
In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, eds., Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes in Artificial Intelligence, 266-279, 2006. Springer
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: a Pragmatic Approach
Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006
Details Download

Carsten Lutz
Complexity and Succinctness of Public Announcement Logic
In Peter Stone and Gerhard Weiss, eds., Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), 137-144, 2006. Association for Computing Machinery (ACM)
Details Download

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear
Details Download

Sebastian Rudolph
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., Inspiration and Application - Contributions to ICCS 2006, 188 - 201, July 2006. Aalborg University Press
Details Download

Barış Sertkaya
Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006)
In Bernhard Ganter and Leonard Kwuida, eds., Contributions to ICFCA 2006, 73-86, 2006. Verlag Allgemeine Wissenschaft
Details Download

Olga Skvortsova
A new context-based -subsumption algorithm
Sixteenth International Conference on Inductive Logic Programming (ILP'2006), 188-191, August 2006
Details Download

Olga Skvortsova
Say "No" to Grounding: An Inference Algorithm for First-Order MDPs
Doctoral Consortium Notes at ICAPS'2006, June 2006
Details Download

Anni-Yasmin Turhan, Thomas Springer, Michael Berger
Pushing Doors for Modeling Contexts with OWL DL –a Case Study
In Jadwiga Indulska and Daniela Nicklas, eds., Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06), March 2006. IEEE Computer Society
Details Download

Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, Timo Weithöner
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006
Details Download

Denny Vrandečić, Markus Krötzsch
Reusing Ontological Background Knowledge in Semantic Wikis
In Max Völkel and Sebastian Schaffert and Stefan Decker, eds., Proceedings of the First Workshop on Semantic Wikis -- From Wikis to Semantics, June 2006
Details Download

Max Völkel, Markus Krötzsch, Denny Vrandečić, Heiko Haller, Rudi Studer
Semantic Wikipedia
Proceedings of the 15th international conference on World Wide Web (WWW 2006), May 2006
Details Download

Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
Formalizing Ontology Alignment and its Operations with Category Theory
In Brandon Bennett and Christiane Fellbaum, eds., Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), volume 150 of Frontiers in Artificial Intelligence and Applications, 277--288, November 2006. IOS Press
Details

Books

Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Universitätsverlag Karlsruhe, December 2006
Details

Book Chapters

Franz Baader, R. Küsters
Nonstandard Inferences in Description Logics: The Story So Far
In D.M. Gabbay and S.S. Goncharov and M. Zakharyaschev, eds., Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, 1-75. Springer, 2006
Details Download

Franz Baader, Carsten Lutz
Description Logic
In Patrick Blackburn and Johan van Benthem and Frank Wolter, eds., The Handbook of Modal Logic, 757-820. Elsevier, 2006
Details Download

Doctoral Theses

Ozan Kahramanogullari
Nondeterminism and Language Design in Deep Inference
Phd thesis, Technische Universität Dresden, 2006
Details

Technical Reports

Franz Baader, Alexander Okhotin
On Language Equations with One-sided Concatenation
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-01, 2006. LTCS-Report
Details Download

Franz Baader, J. Hladik, R. Penaloza
PSPACE Automata with Blocking for Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-04, 2006. LTCS-Report
Details Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-02, 2006. LTCS-Report
Details Download

Franz Baader, Rafael Penaloza
Axiom Pinpointing in General Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-01, 2006. LTCS-Report
Details Download

Dzung Dinh-Khac, Steffen Hölldobler
The Fuzzy Linguistic Description Logic ALC_FL
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-02, 2006
Details Download

Ozan Kahramanoğulları
Reducing Nondeterminism in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-01, 2006
Details

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: a Pragmatic Approach
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-03, 2006. LTCS-Report
Details Download

Rafael Penaloza
Pinpointing in Tableaus
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-05, 2006. LTCS-Report
Details Download

Andreas Witzel
Neural-Symbolic Integration – Constructive Approaches
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-03, 2006
Details Download

Project Deliverables

Philipp Cimiano, Duc Thanh Tran, Pascal Hitzler, Markus Krötzsch, A. Lavelli, Bernhard Schuler, Giorgos Stoilos, Karen Tso, Vassilis Tzouvaras
Incorporating Uncertainty into RDF and OWL. X-Media Deliverable D2.1
Institute AIFB, University of Karlsruhe, November 2006
Details

Peter Haase, Sebastian Rudolph, Yimin Wang, Saartje Brockmans, Raul Palma, Jérôme Euzenat, Mathieu d'Aquin
D1.1.1 Networked Ontology Model
Universität Karlsruhe (TH), (D1.1.1), NeOn Project Deliverable, November 2006
Details

Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadziev, Jérôme Euzenat, Mathieu d'Aquin, Aldo Gangemi, Carola Catenacci
D3.1.1 Context Languages - State of the Art
Universität Karlsruhe (TH), (D3.1.1), NeOn Project Deliverable, August 2006
Details

Pascal Hitzler, Jerome Euzenat, Markus Krötzsch, Luciano Serafini, Heiner Stuckenschmidt, Holger Wache, Antoine Zimmermann
Integrated view and comparison of alignment semantics
AIFB, University of Karlsruhe, (D2.2.5), January 2006
Details

Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandečić, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, December 2006
Details Download

Talks and Miscellaneous

Max Völkel, Markus Krötzsch, Denny Vrandečić, Heiko Haller, Rudi Studer
Semantic Wikipedia (ESWC2006 demo)
Poster and Demo at the ESWC2006, June 2006
Details

Max Völkel, Heiko Haller, Markus Krötzsch, Denny Vrandečić
Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co.
Slides available online, March 2006
Details