Publications in 2009

From International Center for Computational Logic
Toggle side column

Publications in 2009


Journal Articles

Tomáš Masopust, Alexander Meduna
On context-free rewriting with a simple restriction and its computational completeness
RAIRO - Theoretical Informatics and Applications, 43(2):365-378, 2009
Details Download
Tomáš Masopust
On the descriptional complexity of scattered context grammars
Theoretical Computer Science, 410(1):108-112, 2009
Details Download
Tomáš Masopust, Alexander Meduna
On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops
Acta Cybernetica, 19(2):537-552, 2009
Details Download
Tomáš Masopust
On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components
International Journal of Foundations of Computer Science, 20(2):331-340, 2009
Details Download
Jörg Meier, Sebastian Rudolph, Tom Schanz
Effective algorithm for parameter back calculation - Geotechnical applications
Bautechnik, 86(S1):86-97, August 2009
Details
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker
SNOMED reaching its adolescence: Ontologists' and logicians' health check
International Journal of Medical Informatics, 78(Supplement 1):S86-S94, 2009
Details Download
Thomas Springer, Anni-Yasmin Turhan
Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations
Journal of Ambient Intelligence and Smart Environments, 1(3):235-259, 2009
Details

Proceedings Articles

Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic
In Silvio Ghilardi and Roberto Sebastiani, eds., Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download
Franz Baader, Barış Sertkaya
Usability Issues in Description Logic Knowledge Base Completion
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, 1-21, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
A Novel Architecture for Situation Awareness Systems
In Martin Giese and Arild Waaler, eds., Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2009), volume 5607 of Lecture Notes in Computer Science, 77-92, 2009. Springer
Details Download
Franz Baader, Barbara Morawska
Unification in the Description Logic EL
In Ralf Treinen, eds., Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, 350-364, 2009. Springer
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms
In Abraham Bernstein et al., eds., Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, 49-64, 2009
Details Download
Franz Baader, Felix Distel
Exploring Finite Models in the Description Logic ELgfp
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 146-161, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Alwen Tiu
Matching Trace Patterns with Regular Policies
In A.H. Dediu and A.M. Ionescu and C. Martin-Vide, eds., Proceedings of the Third International Conference on Language, and Automata Theory, and Applications (LATA 2009), volume 5457 of Lecture Notes in Artificial Intelligence, 105-116, 2009. Springer
Details Download
Franz Baader, Stefan Schulz, Kent Spackmann, Bontawee Suntisrivaraporn
How Should Parthood Relations be Expressed in SNOMED CT?
Proceedings of 1. Workshop des GI-Arbeitskreises Ontologien in Biomedizin und Lebenswissenschaften (OBML 2009), 2009
Details Download
Victor Pablos Ceruelo, Hannes Straß, Susana Muñoz-Hernández
RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming
NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society, 1--6, June 2009. IEEE
Details Download
Frithjof Dau, Martin Knechtel
Access Policy Design Supported by FCA Methods
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662 of Lecture Notes in Computer Science, 141-154, 2009
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
In Silvio Ghilardi and Roberto Sebastiani, eds., The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download
Jan Funke, Tobias Pietzsch
A Framework For Evaluating Visual SLAM
Proc. BMVC'09, 2009
Details Download
Bernhard Ganter, Daniel Borchmann
Concept Lattice Orbifolds -- First Steps
In Sèbastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), volume 5548 of Lecture Notes in Computer Science, 22-37, 2009. Springer
Details Download
Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, eds., Proceedings of the DL Workshop 2009, Oxford, UK, volume 477, July 2009. CEUR Workshop Proceedings
Details Download
Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel
A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository
In Uwe M. Borghoff and Boris Chidlovskii, eds., Proceedings of the 2009 ACM Symposium on Document Engineering (DocEng 2009), 43-46, 2009
Details Download
S. Hölldobler, C.\,D.\,P. Kencana Ramli
Logics and Networks for Human Reasoning
In C. Alippi et. al., eds., ICANN, volume 5769 of LNCS, 85-94, 2009. Springer
Details
S. Hölldobler, C.\,D.\,P. Kencana Ramli
Contraction Properties of a Semantic Operator for Human Reasoning
In Lei Li and K. K. Yen, eds., Proceedings of the Fifth International Conference on Information, 228-231, 2009. International Information Institute
Details
S. Hölldobler, C.\,D.\,P. Kencana Ramli
Logic Programs under Three-Valued Łukasiewicz's Semantics
In P.,M. Hill and D.,S. Warren, eds., Logic Programming, volume 5649 of LNCS, 464-478, 2009. Springer
Details
S. Hölldobler
Cognitive Science, Computational Logic and Connectionism
In M. Adriani et.al., eds., Proceedings International Conference on Advanced Computer Science and Information Systems (ICACSIS), 1-6, 2009
Details
Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), volume 477 of CEUR Workshop Proceedings, July 2009. CEUR-WS.org
Details
Zbyněk Křivka, Tomáš Masopust
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
Proc. of 11th Italian Conference on Theoretical Computer Science (ICTCS), 129-135, 2009
Details Download
Uta Lösch, Sebastian Rudolph, Denny Vrandečić, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., eds., 6th European Semantic Web Conference (ESWC 09), volume 5554 of Lecture Notes on Computer Science, 278--292, June 2009. Springer-Verlag
Details Download
Tomáš Masopust
Regulated Nondeterminism in PDAs: The Non-Regular Case
Proc. of Workshop on Non-Classical Models of Automata and Applications (NCMA), 181-194, 2009
Details Download
Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen
Proc. of 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS), 183-192, 2009
Details Download
Tomáš Masopust
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions
In A. H. Dediu, A. M. Ionescu, C. Martín-Vide, eds., Proc. of 3rd International Conference Language and Automata Theory and Applications (LATA), volume 5457 of LNCS, 554-565, 2009. Springer
Details Download
Julian Mendez, Boontawee Suntisrivaraporn
Reintroducing CEL as an OWL 2 EL Reasoner
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Straß
RFuzzy: An Expressive Simple Fuzzy Compiler
In Sigeru Omatu and Miguel Rocha and José Bravo and Florentino Fernández Riverola and Emilio Corchado and Andrés Bustillo and Juan M. Corchado, eds., IWANN (2), volume 5518 of Lecture Notes in Computer Science, 270--277, June 2009. Springer-Verlag Berlin Heidelberg
Details Download
Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm
Refining Ontologies by Pattern-Based Completion
In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, Vojtech Svatek, eds., Proceedings of the Workshop on Ontology Patterns (WOP 2009), volume 516, October 2009. CEUR
Details Download
Rafael Peñaloza
Reasoning With Weighted Ontologies
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Rafael Peñaloza
Using Tableaux and Automata for Pinpointing in EL
In Valentin Goranko, eds., TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09), 2009
Details Download
Rafael Peñaloza, Barış Sertkaya
Axiom Pinpointing is Hard
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 130-145, 2009. Springer
Details Download
Barış Sertkaya
OntoComP System Description
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
Towards the Complexity of Recognizing Pseudo-intents
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662, 284-292, 2009
Details Download
Barış Sertkaya
OntoComP: A Protege Plugin for Completing OWL Ontologies
Proceedings of the 6th European Semantic Web Conference, (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, 898-902, 2009. Springer
Details Download
Hannes Straß, Michael Thielscher
On Defaults in Action Theories
In B. Mertsching and M. Hund and Z. Aziz, eds., Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI), 298--305, September 2009. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß, Michael Thielscher
Simple Default Reasoning in Theories of Action
In Ann Nicholson and Xiaodong Li, eds., Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI), 31--40, December 2009. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß, Michael Thielscher
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi
In G. Lakemeyer and L. Morgenstern and M.-A. Williams, eds., Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, 123--128, June 2009
Details Download
Hannes Straß, Susana Muñoz-Hernández, Victor Pablos Ceruelo
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In J. P. Carvalho and D. Dubois and U. Kaymak and J. M. C. Sousa, eds., Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference (IFSA/EUSFLAT), 1827--1832, July 2009. International Fuzzy Systems Association (IFSA), European Society for Fuzzy Logic and Technology (EUSFLAT)
Details Download
Duc Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data
Proceedings of the 25th International Conference on Data Engineering (ICDE'09), March 2009
Details
Denny Vrandečić, Frank Dengler, Sebastian Rudolph, Michael Erdmann
RDF syntax normalization using XML validation
In Lalana Kagal, Ora Lassila, Tim Finin, eds., Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009, October 2009. CEUR-WS
Details Download
Christoph Wernhard
Tableaux for Projection Computation and Knowledge Compilation
In Martin Giese and Arild Waaler, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, volume 5607 of Lecture Notes in Computer Science, 325-340, 2009. Springer
Details
Christoph Wernhard
Literal Projection and Circumscription
In Nicolas Peltier and Viorica Sofronie-Stokkermans, eds., International Workshop on First-Order Theorem Proving, FTP'09, 2009. University of Oslo
Details

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 2008
Volume D-9. German Informatics Society, 2009
Details
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August 2009
Details
Steffen Hölldobler
Logik und Logikprogrammierung. Band 1: Grundlagen.
Synchron Wissenschaftsverlag der Autoren, 2009
Details

Book Chapters

Franz Baader
Description Logics
In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, 1-39. Springer, 2009
Details Download
Kay Kadner, Gerald Huebsch, Martin Knechtel, Thomas Springer, Christoph Pohl
Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability
In , chapter Platform Support for Multimodality on Mobile Devices, 75-105. IGI Global, 2009
Details
Markus Krötzsch, Bernhard Ganter
A Brief Introduction to Formal Concept Analysis
In Pascal Hitzler and Hendrik Schärfe, eds., Conceptual Structures in Practice, CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009
Details
Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, eds., Conceptual Structures in Practice, Studies in Informatics, 225--244. Chapman & Hall/CRC, May 2009
Details

Edited Proceedings

Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details
Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details

Doctoral Theses

Sebastian Bader
Neural-Symbolic Integration
Phd thesis, Technische Universität Dresden, 2009
Details

Technical Reports

Franz Baader, Hongkai Liu, Anees ul Mehdi
Integrate Action Formalisms into Linear Temporal Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-09-03, 2009. LTCS-Report
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
Computing Boundaries for Reasoning in Sub-Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-02, 2009. LTCS-Report
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-01, 2009. LTCS-Report
Details Download
Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Technical Report, Oxford University, volume 2000, March 2009
Details Download
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logics and Networks for Human Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-01, 2009
Details Download
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logic Programs under Three-Valued Lukasiewicz Semantics
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-02, 2009
Details Download
Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Technical Report 3002, Institute AIFB, KIT, November 2009
Details
Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-04, 2009. LTCS-Report
Details Download

Project Deliverables

Frank Dengler, Markus Krötzsch, Denny Vrandečić, Elena Simperl, Katharina Siorpaes
D1.1.1 Conceptual models for enterprise knowledge (Initial Models)
Institut AIFB, KIT, (D1.1.1), ACTIVE Deliverable, March 2009
Details
Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving
Vrije Universiteit AmsterdamLarKC Project Deliverable, September 2009
Details
Markus Krötzsch, Frank Dengler, Katharina Siorpaes, Denny Vrandečić
D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes)
Institut AIFB, KIT, (D1.3.1), ACTIVE Deliverable, March 2009
Details

Talks and Miscellaneous

Daniel Borchmann
Context Orbifolds
Diplomarbeit, September 2009
Details Download
Sarah Alice Gaggl
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming
Poster at Advanced Course on Artificial Intelligence Summer School (ACAI 2009), 2009
Details Download