Publications in 2008

From International Center for Computational Logic
Toggle side column

Publications in 2008


Journal Articles

Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, Denny Vrandečić
The two cultures: mashing up Web 2.0 and the Semantic Web
Journal of Web Semantics, 6(1), February 2008
Details
Franz Baader, Jan Hladik, Rafael Peñaloza
Automata Can Show PSPACE Results for Description Logics
Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications (LATA'07), 206(9--10):1045-1056, 2008
Details Download
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71(13--15):2420-2432,  2008
Details
Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
Journal of Artificial Intelligence Research, 31:150-197, 2008
Details Download
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
Applied Intelligence,  2008
Details
Tomáš Masopust, Jirí Techet
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
Discrete Mathematics & Theoretical Computer Science, 10(2):39-46, 2008
Details Download
Tomáš Masopust, Alexander Meduna
On Descriptional Complexity of Partially Parallel Grammars
Fundamenta Informaticae, 87(3-4):407-415, 2008
Details Download
Tomáš Masopust
Descriptional complexity of multi-parallel grammars
Information Processing Letters, 108(2):68-70, 2008
Details Download
Tomáš Masopust, Alexander Meduna, Jirí Simácek
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars
Acta Cybernetica, 18(4):783-793, 2008
Details Download
Stefan Schulz, Kornél Markó, Boontawee Suntisrivaraporn
Formal representation of complex SNOMED CT expressions
BMC Medical Informatics and Decision Making, 8(1):S9, 2008
Details Download

Proceedings Articles

Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker
Semantic Description of Distributed Business Processes
In Knut Hinkelmann, Andreas Abecker, Harold Boley, John Hall, Martin Hepp, Amit Sheth, Barbara Thönssen, eds., AAAI Spring Symposium - AI Meets Business Rules and Process Management, March 2008. AAAI
Details
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008
Details Download
Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope Further
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download
Franz Baader, Rafael Peñaloza
Automata-Based Axiom Pinpointing
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial Intelligence, 226-241, 2008. Springer
Details Download
Franz Baader, Felix Distel
A Finite Basis for the Set of EL-Implications Holding in a Finite Model
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, 46-61, 2008. Springer
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Franz Baader, Boontawee Suntisrivaraporn
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+
Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008
Details Download
Meghyn Bienvenu
Complexity of Abduction in the EL Family of Lightweight Description Logics
In Gerhard Brewka and Jérôme Lang, eds., Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR08), 220-230, 2008. AAAI Press
Details Download
Meghyn Bienvenu
Prime Implicate Normal Form for ALC Concepts
Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08), 412-417, 2008. AAAI Press
Details Download
Sebastian Blohm, Markus Krötzsch, Philipp Cimiano
The Fast and the Numerous - Combining Machine and Community Intelligence
In Razvan Bunescu, Evgeniy Gabrilovich, Rada Mihalcea, eds., Proceedings of the AAAI 2008 Workshop on Wikipedia and Artifical Intelligence (WIKIAI 2008), volume Technical Report WS-08-15, July 2008. AAAI Press
Details Download
Victor Pablos Ceruelo, Susana Muñoz-Hernández, Hannes Straß
RFuzzy Framework
In Puri Arenas and Damiano Zanardini, eds., 18th Workshop on Logic-based methods in Programming Environments (WLPE), 62--76, December 2008
Details Download
Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
Intensional Question Answering using ILP: What does an answer mean?
In Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou, eds., Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, volume 5039 of LNCS, 151-162, June 2008. Springer
Details Download
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
In Maria Garcia de la Banda, Enrico Pontelli, eds., Proceedings of the 24th International Conference on Logic Programming, (ICLP 2008), volume 5366 of Lecture Notes in Computer Science, 734-738, 2008. Springer
Details Download
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), 2008
Details Download
Christoph Haase, Carsten Lutz
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 25-29, 2008. IOS Press
Details Download
Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel
MoDDo - a tailored documentation system for model-driven software development
ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, 321-324, 2008
Details Download
Miki Hermann, Barış Sertkaya
On the Complexity of Computing Generators of Closed Sets
In Raoul Medina and Sergei A. Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Computer Science, 158-168, 2008. Springer
Details Download
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, eds., Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, February 2008. Dagstuhl
Details
Martin Knechtel, Daniel Schuster
Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web
Proceedings of GeNeMe'08 Workshop, 2008
Details Download
Martin Knechtel, Jan Hladik
RBAC Authorization Decision with DL Reasoning
ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, 169-176, 2008
Details Download
Martin Knechtel, Jan Hladik, Frithjof Dau
Using OWL DL Reasoning to decide about authorization in RBAC
In Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler, eds., OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions, volume 432 of CEUR Workshop Proceedings, 2008
Details Download
Martin Knechtel
Access restriction inside ontologies
In Rainer Ruggaber, eds., I-ESA'08: Proceedings of the 1st Internet of Services Doctoral Symposium 2008 at International Conference on Interoperability of Enterprise Systems and Applications, volume 374 of CEUR Workshop Proceedings, ISSN 1613-0073, 2008
Details Download
Martin Knechtel
Access rights and collaborative ontology integration for reuse across security domains
In Philippe Cudré-Mauroux, eds., Proceedings of the ESWC 2008 Ph.D. Symposium, volume 358 of CEUR Workshop Proceedings, ISSN 1613-0073, 36-40, 2008
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Formal Properties of Modularisation
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNCS, 179-193, 2008. Springer
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Semantic Modularity and Module Extraction in Description Logics
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 55-59, 2008. IOS Press
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolte r
Logical Difference and Module Extraction with CEX and MEX
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), volume 178 of Frontiers in Artificial Intelligence and Applications (FAIA), 80--84, July 2008. IOS Press
Details Download
Hongkai Liu, Carsten Lutz, Maja Milicic
The Projection Problem for EL Actions
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Carsten Lutz
The Complexity of Conjunctive Query Answering in Expressive Description Logics
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNAI, 179-193, 2008. Springer
Details Download
Carsten Lutz
Two Upper Bounds for Conjunctive Query Answering in SHIQ
Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Temporal Description Logics: A Survey
Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning, 2008. IEEE Computer Society Press
Details Download
Tomáš Masopust, Alexander Meduna
On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops
Proc. of 12th International Conference on Automata and Formal Languages (AFL), 325-336, 2008
Details Download
Rafael Peñaloza
Automata-based Pinpointing for DLs
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Tobias Pietzsch
Planar Features for Visual SLAM
Proc. German Conference on Artificial Intelligence (KI 2008), September 2008. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds., Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, 2008. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds., Proceedings of the International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, 2008. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
In Franz Baader, Carsten Lutz, Boris Motik, eds., Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR Workshop Proceedings, May 2008. CEUR-WS.org
Details Download
Sebastian Rudolph
Acquiring Generalized Domain-Range Restrictions
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), volume 4933 of Lecture Notes in Artificial Intelligence, 32-45, February 2008. Springer
Details Download
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, eds., Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), volume 5341 of LNCS, 150-164, October 2008. Springer
Details
Barış Sertkaya
Explaining User Errors in Description Logic Knowledge Base Completion
Informal Proceedings of the 2008 International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08), 2008
Details Download
Barış Sertkaya
Explaining User Errors in Knowledge Base Completion
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase
A Modularization-based Approach to Finding All Justifications for OWL DL Entailments
In John Domingue and Chutiporn Anutariya, eds., Proceedings of the 3th Asian Semantic Web Conference (ASWC'08), volume 5367 of Lecture Notes in Computer Science, 1-15, 2008. Springer
Details Download
Boontawee Suntisrivaraporn
Empirical evaluation of reasoning in lightweight DLs on life science ontologies
Proceedings of the 2nd Mahasarakham International Workshop on AI (MIWAI'08), 2008
Details Download
Boontawee Suntisrivaraporn
Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies
In Sean Bechhofer and Manfred Hauswirth and Joerg Hoffmann and Manolis Koubarakis, eds., Proceedings of the 5th European Semantic Web Conference (ESWC'08), volume 5021 of Lecture Notes in Computer Science, 230-244, 2008. Springer
Details Download
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer
Details
Johanna Völker, Sebastian Rudolph
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
7th International Conference on Web Intelligence, WI 2008, Main Conference Proceedings, 454-460, December 2008. IEEE
Details Download
Johanna Völker, Sebastian Rudolph
Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), volume 4933 of Lecture Notes in Artificial Intelligence, 62-77, February 2008. Springer
Details Download

Books

Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, 2008
Details
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 2007
Volume D-8. German Informatics Society, 2008
Details
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Semantic Web - Grundlagen
eXamen.press. Springer-Verlag Berlin Heidelberg, January 2008
Details
S. Hölldobler, Carsten Lutz, H. Wansing
Logics in Artificial Intelligence
Volume 5293 of Lecture Notes in Artificial Intelligence. Springer, 2008
Details

Book Chapters

Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, Denny Vrandečić
Die zwei Kulturen
In Andreas Blumauer and Tassilo Pellegrini, eds., Social Semantic Web, X.media.press, 99-123. Springer, October 2008
Details
S. Bader, S. Hölldobler, N.C. Marques
Guiding Backprob by Inserting Rules
In Artur D'Avila Garcez and Pascal Hitzler, eds., Proceedings of the 4th International Workshop on Neuro-Symbolic Learning and Reasoning, NESY, volume 366 of CEUR Workshop Proceedings,  2008
Details
Markus Krötzsch, Denny Vrandečić
Semantic Wikipedia
In Andreas Blumauer and Tassilo Pellegrini, eds., Social Semantic Web, X.media.press, 393-422. Springer, October 2008
Details

Edited Proceedings

Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
Volume 352 of CEUR Workshop Proceedings, July 2008. CEUR
Details

Technical Reports

Franz Baader, Rafael Peñaloza
Pinpointing in Terminating Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-03, 2008. LTCS-Report
Details Download
Franz Baader, Rafael Peñaloza
Blocking and Pinpointing in Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-02, 2008. LTCS-Report
Details Download
Franz Baader, Felix Distel
Exploring finite models in the Description Logic EL_gfp
Technical Report, Institute for Theoretical Computer Science, TU Dresden, volume 08-05, 2008. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 08-01, 2008. LTCS-Report
Details Download
Felix Distel
Model-based Most Specific Concepts in Description Logics with Value Restrictions
Technical Report, Institute for theoretical computer science, TU Dresden, volume 08-04, 2008
Details
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
Technical Report, Technische Universität Wien, volume DBAI-TR-2008-62, 2008
Details Download
Steffen Hölldobler
Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-08-01, 2008
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Technical Report, Institut AIFB, Universität Karlsruhe (TH), volume 1752, April 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Technical Report, Universität Karlsruhe (TH), volume 1724, February 2008
Details
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Technical Report, Institute AIFB, University of Karlsruhe, volume 1731, March 2008
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Technical Report, Institut AIFB, Universität Karlsruhe, volume 1753, April 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Technical Report, Universität Karlsruhe (TH), volume 1767, May 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
Details
Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-06, 2008. LTCS-Report
Details Download
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Technical Report, Institute AIFB, University of Karlsruhe, volume 1729, March 2008
Details