Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science. Front Matter ....Pages i-xiii A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction (Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter)....Pages 1-14 Hierarchic Superposition Revisited (Peter Baumgartner, Uwe Waldmann)....Pages 15-56 Theory Combination: Beyond Equality Sharing (Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli)....Pages 57-89 Initial Steps Towards a Family of Regular-Like Plan Description Logics (Alexander Borgida)....Pages 90-109 Reasoning with Justifiable Exceptions in \(\mathcal{E}\mathcal{L}_\bot \) Contextualized Knowledge Repositories (Loris Bozzato, Thomas Eiter, Luciano Serafini)....Pages 110-134 Strong Explanations for Nonmonotonic Reasoning (Gerhard Brewka, Markus Ulbricht)....Pages 135-146 A KLM Perspective on Defeasible Reasoning for Description Logics (Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak)....Pages 147-173 Temporal Logic Programs with Temporal Description Logic Axioms (Pedro Cabalar, Torsten Schaub)....Pages 174-186 The What-To-Ask Problem for Ontology-Based Peers (Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati)....Pages 187-211 From Model Completeness to Verification of Data Aware Processes (Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin)....Pages 212-239 Situation Calculus Meets Description Logics (Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß)....Pages 240-265 Provenance Analysis: A Perspective for Description Logics? (Katrin M. Dannert, Erich Grädel)....Pages 266-285 Extending \(\mathscr {E\!L}^{++}\) with Linear Constraints on the Probability of Axioms (Marcelo Finger)....Pages 286-300 Effective Query Answering with Ontologies and DBoxes (Enrico Franconi, Volha Kerhet)....Pages 301-328 Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna (Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev)....Pages 329-351 Perceptual Context in Cognitive Hierarchies (Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher)....Pages 352-366 Do Humans Reason with \(\mathcal{E}\)-Matchers? (Steffen Hölldobler)....Pages 367-384 Pseudo-contractions as Gentle Repairs (Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann)....Pages 385-403 FunDL (Stephanie McIntyre, David Toman, Grant Weddell)....Pages 404-430 Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty (Bernhard Nebel)....Pages 431-440 Temporally Attributed Description Logics (Ana Ozaki, Markus Krötzsch, Sebastian Rudolph)....Pages 441-474 Explaining Axiom Pinpointing (Rafael Peñaloza)....Pages 475-496 Asymmetric Unification and Disunification (Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran)....Pages 497-522 Building and Combining Matching Algorithms (Christophe Ringeissen)....Pages 523-541 Presburger Concept Cardinality Constraints in Very Expressive Description Logics (“Johann” Sebastian Rudolph)....Pages 542-561 A Note on Unification, Subsumption and Unification Type (Manfred Schmidt-Schauß)....Pages 562-572 15 Years of Consequence-Based Reasoning (David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks)....Pages 573-587 Maximum Entropy Calculations for the Probabilistic Description Logic \(\mathcal {ALC}^{\mathsf{ME}}\) (Marco Wilhelm, Gabriele Kern-Isberner)....Pages 588-609 Automating Automated Reasoning (Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky)....Pages 610-638 On Bounded-Memory Stream Data Processing with Description Logics (Özgür Lütfü Özçep, Ralf Möller)....Pages 639-660 Back Matter ....Pages 661-662 The two-volume set LNCS 7031 and LNCS 7032 constitutes the proceedings of the 10th International Semantic Web Conference, ISWC 2011, held in Bonn, Germany, in October 2011. Part I, LNCS 7031, contains 50 research papers which were carefully reviewed and selected from 264 submissions. The 17 semantic Web in-use track papers contained in part II, LNCS 7032, were selected from 75 submissions. This volume also contains 15 doctoral consortium papers, selected from 31 submissions. The topics covered are: ontologies and semantics; database, IR, and AI technologies for the semantic Web; management of semantic Web data; reasoning over semantic Web data; search, query, integration, and analysis on the semantic Web; robust and scalable knowledge management and reasoning on the Web; interacting with semantic Web data; ontology modularity, mapping, merging and alignment; languages, tools, and methodologies for representing and managing semantic Web data; ontology, methodology, evaluation, reuse, extraction and evolution; evaluation of semantic Web technologies or data; specific ontologies and ontology pattern for the semantic Web; new formalisms for semantic Web; user interfaces to the semantic Web; cleaning, assurance, and provenance of semantic Web data; services, and processes; social semantic Web, evaluation of semantic Web technology; semantic Web population from the human Web. This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014. The 24 revised full papers presented together with 7 short papers were carefully reviewed and selected from 62 submissions. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling. This book constitutes the refereed proceedings of the 28th Australasian Joint Conference on Artificial Intelligence, AI 2015, held in Canberra, Australia, in November/December 2015. The 39 full papers and 18 short papers presented were carefully reviewed and selected from 102 submissions.