Publications in 2010
From International Center for Computational Logic
Publications in 2010
Journal Articles
Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is again Beautiful in Description Logics
KI – Künstliche Intelligenz, 24(1):25-33, April 2010
Details Download
Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation, 20(1):5-34, 2010
Details Download
Franz Baader, Rafael Peñaloza
Automata-based Axiom Pinpointing
Journal of Automated Reasoning, 45(2):91-129, August 2010
Details Download
Franz Baader, Barbara Morawska
Unification in the Description Logic EL
Logical Methods in Computer Science, 6(3), 2010
Details Download
Franz Baader, Bernhard Beckert, Tobias Nipkow
Deduktion: von der Theorie zur Anwendung
Informatik-Spektrum, 33(5):444-451, 2010
Details
Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach
Data & Knowledge Engineering, 69(3):261-278, March 2010
Details Download
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-set programming encodings for argumentation frameworks
Argument & Computation, 1(2):147-177, 2010
Details Download
Filip Goldefus, Tomáš Masopust, Alexander Meduna
Left-forbidding cooperating distributed grammar systems
Theoretical Computer Science, 411(40-42):3661-3667, 2010
Details Download
Tomáš Masopust
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Fundamenta Informaticae, 99(4):473-480, 2010
Details Download
Tomáš Masopust
Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case
Fundamenta Informaticae, 104(1-2):111-124, 2010
Details Download
Tomáš Masopust
Simple restriction in context-free rewriting
Journal of Computer and System Sciences, 76(8):837-846, 2010
Details Download
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Research, 39:429-481, October 2010
Details Download
Denny Vrandečić, Markus Krötzsch, Sebastian Rudolph, Uta Lösch
Leveraging Non-Lexical Knowledge for the Linked Open Data Web
The Fifth RAFT'2010 The yearly bilingual publication on nonchalant research, 5(1):18-27, April 2010
Details Download
Proceedings Articles
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, eds., Web Reasoning and Rule Systems - Fourth International Conference, volume 6333 of LNCS, 42-57, September 2010. Springer
Details Download
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Description Logics
In Fangzhen Lin and Ulrike Sattler, eds., Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010), 2010. AAAI Press
Details Download
Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 97-111, 2010. Springer
Details Download
Franz Baader, Hongkai Liu, Anees ul Mehdi
Verifying Properties of Infinite Sequences of Description Logic Actions
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), volume 215 of Frontiers in Artificial Intelligence and Applications, 53-58, 2010. IOS Press
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 82-96, 2010. Springer
Details Download
Ringo Baumann, Gerhard Brewka, Hannes Straß, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 435--444, May 2010. AAAI Press
Details Download
Erzsébet Csuhaj-Varjú, Tomáš Masopust, György Vaszil
Blackhole State-Controlled Regulated Pushdown Automata
In H. Bordihn, R. Freund, T. Hinze, M. Holzer, M. Kutrib, F. Otto, eds., Proc. of Second Workshop on Non-Classical Models for Automata and Applications (NCMA), volume band 263 of books@ocg.at, 45-56, 2010. Österreichische Computer Gesellschaft
Details Download
Felix Distel
Hardness of Enumerating Pseudo-Intents in the Lectic Order
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 124-137, 2010. Springer
Details Download
Felix Distel
An Approach to Exploring Description Logic Knowledge Bases
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 209-224, 2010. Springer
Details Download
Sarah Alice Gaggl, Stefan Woltran
cf2 Semantics Revisited
In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo Ricardo Simari, eds., Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), volume 216 of Frontiers in Artificial Intelligence and Applications, 243-254, September 2010. IOS Press
Details Download
Sarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming
In Manuel V. Hermenegildo, Torsten Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of LIPIcs, 265-269, July 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, eds., Proceedings of the 9th International Semantic Web Conference, volume 6496 of LNCS, 257-272, November 2010. Springer
Details Download
Birte Glimm, Markus Krötzsch
SPARQL Beyond Subgraph Matching
In Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks, eds., Proceedings of the 9th International Semantic Web Conference (ISWC 2010), volume 6496 of LNCS, 241-256, 2010. Springer
Details Download
Birte Glimm, Sebastian Rudolph
Status QIO: Conjunctive Query Entailment is Decidable
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 225-235, May 2010. AAAI Press
Details Download
S. Hölldobler, N. Mathey, A. Saptawijaya
Improving Resource-Unaware SAT Solvers
In C. Fernmüller and A. Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, 519-534, 2010. Springer
Details
Galina Jirásková, Tomáš Masopust
Complexity in Union-Free Regular Languages
In Y. Gao, H. Lu, S. Seki, S. Yu, eds., Proc. of 14th International Conference on Developments in Language Theory, volume 6224 of LNCS, 255-266, 2010. Springer
Details Download
Martin Knechtel, Heiner Stuckenschmidt
Query-Based Access Control for Ontologies
In P. Hitzler and T. Lukasiewicz, eds., Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of Lecture Notes in Computer Science, 73-87, 2010
Details Download
Martin Knechtel, Rafael Peñaloza
A Generic Approach for Correcting Access Restrictions to a Consequence
In Lora Aroyo and Grigoris Antoniou and Eero Hyvönen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache, eds., Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010), volume 6088 of Lecture Notes in Computer Science, 167-182, 2010
Details Download
Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR-WS, 220-231, 2010
Details Download
Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, May 2010. CEUR-WS.org
Details Download
Markus Krötzsch
Efficient Inferencing for OWL EL
In Tomi Janhunen, Ilkka Niemelä, eds., Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA'10), volume 6341 of LNAI, 234-246, 2010. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, eds., Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of LNCS, 88-102, September 2010. Springer
Details Download
Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010
Details Download
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 269-279, May 2010. AAAI Press
Details Download
Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010
Details Download
Rafael Peñaloza
Using Sums-of-Products for Non-standard Reasoning
In A.-H. Dediu and H. Fernau and C. Martín-Vide, eds., Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), volume 6031 of Lecture Notes in Computer Science, 488-499, 2010. Springer
Details Download
Rafael Peñaloza, Anni-Yasmin Turhan
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010
Details Download
Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
In Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski, eds., Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010. AAAI Press
Details Download
Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, 29-34, 2010. IOS Press
Details Download
Sebastian Rudolph, Eugenie Giesbrecht
Compositional Matrix-Space Models of Language
Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, 907-916, July 2010. Association for Computational Linguistics
Details Download
Hannes Straß, Michael Thielscher
A General First-Order Solution to the Ramification Problem
In Thomas Meyer and Eugenia Ternovska, eds., Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR), May 2010. CEUR-WS.org
Details Download
Hannes Straß, Michael Thielscher
Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions
Short Paper Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), October 2010
Details Download
Christoph Wernhard
Circumscription and Projection as Primitives of Logic Programming
In M. Hermenegildo and T. Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming, ICLP'10, volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), 2010. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Details Download
Christoph Wernhard
Literal Projection and Circumscription
In Nicolas Peltier and Viorica Sofronie-Stokkermans, eds., Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP'09, volume 556 of CEUR Workshop Proceedings, 2010
Details
Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
In Madalina Croitoru, Sébastien Ferré, Dickson Lukose, eds., Proceedings of the 18th International Conference on Conceptual Structures, volume 6208 of LNCS, 203-206, July 2010. Springer
Details Download
Books
A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2009
Volume D-10. German Informatics Society, 2010
Details
Book Chapters
Anni-Yasmin Turhan
Reasoning and Explanation in EL and in Expressive Description Logics
In Uwe As̈mann and Andreas Bartho and Christian Wende, eds., Reasoning Web, LNCS, 1-27. Springer, 2010
Details Download
Edited Proceedings
Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
Proceedings of the First International Workshop on Uncertainty in Description Logics
Volume 613 of CEUR, July 2010
Details
Doctoral Theses
Technical Reports
Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-04, 2010. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Adding Causal Relationships to DL-based Action Formalisms
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-01, 2010. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-10-05, 2010. LTCS-Report
Details Download
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
Technical Report, Institut AIFB, KIT, September 2010
Details Download
S. Hölldobler, T. Philipp, C. Wernhard
Abduction in Human Reasoning
Technical Report, TU Dresden, International Center for Computational Logic, 2010
Details Download
Markus Krötzsch
Efficient Inferencing for the Description Logic Underlying OWL EL
Technical Report, Institut AIFB, KIT, May 2010
Details
N. Manthey
riss 2010 Solver Description
Technical Report, TU Dresden, volume Technical Report 2010-02, 2010. Technical Report
Details Download
Tomáš Masopust
Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms
Technical Report, arXiv.org, volume CoRR abs/1004.3635, April 2010
Details Download
Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010
Details Download
Project Deliverables
Basil Ell, Frank Dengler, Divna Djordjevic, Fabio Garzotto, Markus Krötzsch, Elena Simperl, Katharina Siorpaes, Denny Vrandečić, Stephan Wölger
D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation)
Institut AIFB, KIT, (D1.1.2), ACTIVE Deliverable, February 2010
Details
Markus Krötzsch, Tobias Bürger, Michael Luger, Denny Vrandečić, Stephan Wölger
D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator)
Institut AIFB, KIT, (D1.3.2), ACTIVE Deliverable, March 2010
Details
Denny Vrandečić, Basil Ell, Frank Dengler, Markus Krötzsch, Michael Erdmann
D1.4.2: Knowledge leveraging and repair Demonstrator
Institut AIFB, KIT, (D1.4.2), ACTIVE Deliverable, March 2010
Details
Talks and Miscellaneous
Uwe Egly, Sarah Alice Gaggl, Paul Wandl, Stefan Woltran
ASPARTIX Conquers the Web
Software demonstration at the 3rd International Conference on Computational Models of Argument (COMMA 2010), 2010
Details Download
