Veröffentlichungen in 2007

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 2007


Artikel in Fachzeitschriften

Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
The Journal of Symbolic Logic, 72(2):535-583, 2007
Details Download

Franz Baader, Barış Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Journal of Applied Logic, 5(3):392-420, 2007
Details Download

Markus Krötzsch, Denny Vrandečić, Max Völkel, Heiko Haller, Rudi Studer
Semantic Wikipedia
Journal of Web Semantics, 5:251--261, September 2007
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Journal of Automated Reasoning, 38(1--3):227-259, 2007
Details Download

C. Löding, Carsten Lutz, O. Serre
Propositional Dynamic Logic with Recursive Programs
Journal of Logic and Algebraic Programming, 73:51-69, 2007
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional complexity of semi-conditional grammars
Information Processing Letters, 104(1):29-31, 2007
Details Download

Alexander Meduna, Tomáš Masopust
Self-Regulating Finite Automata
Acta Cybernetica, 18(1):135-153, 2007
Details Download


Artikel in Tagungsbänden

Isara Anantavrasilp, Thorsten Schöler
Providing Quality-of-Service Support to Legacy Applications Using Machine Learning
ADIS International Conference on Telecommunications, Networks and Systems, 2007
Details Download

Isara Anantavrasilp, Thorsten Schöler
Automatic flow classification using machine learning
15th International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 1-6, 2007
Details

Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, Denny Vrandečić
The Two Cultures: Mashing up Web 2.0 and the Semantic Web
Proceedings of the 16th International Conference on the World Wide Web (WWW'07), May 2007
Details Download

A. Artale, R. Kontchakov, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Temporalising Tractable Description Logics
Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning, 2007. IEEE Computer Society Press
Details Download

Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 218-223, 2007. AAAI Press
Details Download

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), to appear
Details Download

Franz Baader, J. Hladik, R. Peñaloza
SI! Automata Can Show PSPACE Results for Description Logics
In C. Martin-Vide, eds., Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07), 2007
Details Download

Franz Baader, J. Hladik, R. Peñaloza
Blocking Automata for PSPACE DLs
In D. Calvanese and E. Franconi and S. Tessaris, eds., Proceedings of the 2007 International Workshop on Description Logics, CEUR-WS, 2007
Details Download

Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
In N. Olivetti, eds., Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2007, volume 4548 of Lecture Notes in Computer Science, 11-27, 2007. Springer
Details Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
In Christine Golbreich and Aditya Kalyanpur and Bijan Parsia, eds., Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258, 2007. CEUR-WS
Details Download

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, 52-67, 2007. Springer
Details Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. AAAI Press
Details Download

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007
Details Download

Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger
Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach
In A. S. d'Avila Garcez and P. Hitzler and G. Tamburrini, eds., Proceedings of the IJCAI-07 Workshop on Neural-Symbolic Learning and Reasoning (NeSy'07), volume 230, 2007
Details Download

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
In Manuela M. Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 666-671, January 2007. AAAI Press
Details Download

Balder ten Cate, Carsten Lutz
Query Containment in Very Expressive XPath dialects
In Leonid Libkin, eds., 26th ACM Symposium on Principles of Database Systems (PODS'07), 73-82, 2007. ACM Press
Details Download

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 299-404, 2007. AAAI Press
Details Download

Stefan Göller, Markus Lohrey, Carsten Lutz
PDL with Intersection and Converse is 2EXP-complete
In Helmut Seidl, eds., Proceedings of the Tenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science, 198-212, 2007. Springer
Details Download

Adila Krisnadhi, Carsten Lutz
Data Complexity in the EL family of Description Logics
In Nachum Dershowitz and Andrei Voronkov, eds., Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007), volume 4790 of Lecture Notes in Artificial Intelligence, 333-347, 2007. Springer
Details Download

A. Krisnadhi, Carsten Lutz
Data Complexity in the EL family of DLs
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, to appear
Details Download

Markus Krötzsch, Sebastian Schaffert, Denny Vrandečić
Reasoning in Semantic Wikis
In Grigoris Antoniou and Uwe Aßmann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf, eds., Proceedings of the 3rd Reasoning Web Summer School, Dresden, Germany, volume 4636 of LNCS, 310--329, September 2007. Springer
Details

Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, eds., Proceedings of the 20th International Workshop on Description Logics (DL2007), volume 250 of CEUR Workshop Proceedings, June 2007. CEUR-WS.org
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
Details Download

Carsten Lutz, Frank Wolter
Conservative Extensions in the Lightweight Description Logic EL
In Frank Pfenning, eds., Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, 84-99, 2007. Springer
Details Download

Carsten Lutz
Inverse Roles Make Conjunctive Queries Hard
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, to appear
Details Download

Carsten Lutz, Dirk Walther, Frank Wolter
Conservative Extensions in Expressive Description Logics
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 453-458, 2007. AAAI Press
Details Download

Nuno C. Marques, Sebastian Bader, Vitor Rocio, Steffen Hölldobler
Neuro-Symbolic Word Tagging
In José Machado José Neves, Manuel Filipe Santos, eds., New Trends in Artificial Intelligence, 779-790, 2007. APPIA - Associação Portuguesa para a Inteligência Artificial Edition (ISBN-13 978-989-95618-0-9)
Details

Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Generalized Forbidding Grammars
Proc. of 9th International Workshop on Descriptional Complexity of Formal Systems (DCFS), 170-177, 2007
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Grammars Regulated by Context Conditions
Proc. of Language and Automata Theory and Applications (LATA), 403-412, 2007
Details Download

Maja Milicic
Complexity of Planning in Action Formalisms Based on Description Logics
Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Artificial Intelligence, 2007. Springer
Details Download

Maja Milicic
Planning in Action Formalisms based on DLs: First Results
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007
Details Download

Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, eds., Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, volume 230 of CEUR Workshop Proceedings, January 2007. CEUR
Details Download

Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 488-491, July 2007. Springer
Details Download

Sebastian Rudolph
Some Notes on Pseudo-closed Sets
In Sergej O. Kuznetsov, Stefan Schmidt, eds., Proceedings of the 5th Conference on Formal Concept Analysis, volume 4390 of LNAI, 151 - 165, February 2007. Springer
Details Download

Sebastian Rudolph
Relational Exploration - Reconciling Plato and Aristotle
In Hitzler, Roth-Berghofer, Rudolph, eds., Proceedings of the Workshop on Artificial Intelligence (FAInt-07), volume Vol-277 of CEUR Workshop Proceedings, September 2007. CEUR
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 464-467, July 2007. Springer
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds., Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), volume 4524 of Springer Lecture Notes in Computer Science, 370-373, June 2007. Springer
Details

Sebastian Rudolph
Using FCA for Encoding of Closure Operators into Neural Networks
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 321 -- 332, July 2007. Springer-Verlag
Details Download

Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions
Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series), 2007. IOS Press
Details Download

Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent Spackman
Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators
In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, eds., Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07), Lecture Notes in Computer Science, 2007. Springer
Details Download

Duc Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer
Ontology-based Interpretation of Keywords for Semantic Search
Proceedings of the 6th International Semantic Web Conference (ISWC'07), 523-536, November 2007. Springer
Details

Anni-Yasmin Turhan, Y. Bong
Speeding up Approximation with Nicer Concepts
In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., Proc. of the 2007 Description Logic Workshop (DL 2007), 2007
Details Download

Denny Vrandečić, Markus Krötzsch, Max Völkel
Wikipedia and the Semantic Web, Part II
In Phoebe Ayers and Nicholas Boalch, eds., Proceedings of Wikimania 2006 - The Second International Wikimedia Conference, August 2007. Wikimedia Foundation
Details


Bücher

Franz Baader
18th International Conference on Rewriting Techniques and Applications (RTA 2007)
Volume 4533 of Lecture Notes in Computer Science. Springer, 2007
Details

Franz Baader
The Description Logic Handbook: Theory, Implementation and Applications.
Cambridge University Press, 2007
Details

A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, M. Spiliopoulou, D. Wagner
Ausgezeichnete Informatikdissertationen 2006
Volume D-7. German Informatics Society, 2007
Details


Buchkapitel

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., Handbook of Knowledge Representation, 135-179. Elsevier, 2007
Details

Denny Vrandečić, Markus Krötzsch, Max Völkel
Die Zukunft der Wikis: Semantic Web
In Christoph Lange, eds., Wikis und Blogs: Planen, Einrichten, Verwalten, 789-810. C&L Computer und Literaturverlag, January 2007
Details


Herausgegebene Tagungsbände

Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007
Volume 277 of CEUR Workshop Proceedings, September 2007. CEUR
Details


Technische Berichte

Franz Baader, Felix Distel
A finite basis for the set of EL-implications holding in a finite model
Technical Report, Inst. für Theoretische Informatik, TU Dresden, volume 07-02, 2007
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Technical Report, Instistute AIFB, Universität Karlsruhe, volume 1432, February 2007
Details

Sebastian Rudolph
Generalized Domain-Range Restrictions
Technical Report, Institute AIFB, University of Karlsruhe, volume 1516, July 2007
Details Download

Boontawee Suntisrivaraporn
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-03, 2007. LTCS-Report
Details Download


Vorträge und Sonstiges

Markus Krötzsch, Denny Vrandečić
Wikipedia 3.0: MediaWiki meets the Semantic Web
Presentation at the 3rd International Wikimedia Conference (Wikimania 2007), Taipei, Taiwan, July 2007
Details

Markus Krötzsch
Practical Reasoning with OWL and Rules
Invited talk at the Semantic Web Technology Showcase 2007, Vienna, Austria, May 2007
Details