Table of Contents

• SIVA: An Educational Tool for the Tableau Reasoning AlgorithmPeter Paulovics, Júlia Pukancová, Martin Homola. [doi]
• Handling Nominals and Inverse Roles using Algebraic ReasoningHumaira Farid, Volker Haarslev. [doi]
• Identity Resolution in Conjunctive Querying over DL-Based Knowledge BasesDavid Toman, Grant E. Weddell. [doi]
• The Bayesian Description Logic BALCLeonard Botha, Thomas Meyer, Rafael Peñaloza. [doi]
• Towards Privacy-Preserving Ontology PublishingFranz Baader, Adrian Nuradiansyah. [doi]
• Theoretical Characterization of Signal Diagnostic Processing LanguageOgnjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks. [doi]
• Provenance in Ontology-based Data AccessAna Ozaki, Rafael Peñaloza. [doi]
• Efficient Model Construction for Horn Logic with VLog: Extended AbstractJacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral. [doi]
• Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree AutomataFranz Baader, Oliver Fernandez Gil, Maximilian Pensel. [doi]
• Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_botMaximilian Pensel, Anni-Yasmin Turhan. [doi]
• Efficient Duplicate Elimination in SPARQL to SQL TranslationDimitris Bilidas, Manolis Koubarakis. [doi]
• A Tool for Building Topic-specific Ontologies Using a Knowledge GraphKatinka Böhm, Magdalena Ortiz. [doi]
• Concepts as Modal Operators in Description LogicsLukas Grätz. [doi]
• Taming Complex Role Inclusions for DL-LiteMedina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus. [doi]
• Applying a Model of Text Comprehension to Automated Verbalizations of EL DerivationsTanja Perleth, Marvin R. G. Schiller, Birte Glimm. [doi]
• SPARQLing-Up the Web on-the-fly using Ontologies and MappingsKonstantina Bereta, George Papadakis 0001, Manolis Koubarakis. [doi]
• A Van Benthem Theorem for Horn Description and Modal LogicFabio Papacchini, Frank Wolter. [doi]
• Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into AccountMeghyn Bienvenu. [doi]
• Temporal Description Logics over Finite TracesAlessandro Artale, Andrea Mazzullo, Ana Ozaki. [doi]
• Toward an Abstract WikipediaDenny Vrandecic. [doi]
• Happy Ever After: Temporally Attributed Description LogicsAna Ozaki, Markus Krötzsch, Sebastian Rudolph. [doi]
• A Single Approach to Decide Chase Termination on Linear Existential RulesMichel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. [doi]
• Revising OntologiesRenata Wassermann. [doi]
• Exact Learning of EL OntologiesMario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki. [doi]
• ABox Abduction for Description Logics: The Case of Multiple ObservationsJúlia Pukancová, Martin Homola. [doi]
• Query-by-Example for Expressive Horn Description LogicsVíctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek. [doi]
• ABox Abduction Solver Exploiting Multiple DL ReasonersDrahomír Mrózek, Júlia Pukancová, Martin Homola. [doi]
• Complete Approximations of Horn DL OntologiesAnneke Bötcher, Carsten Lutz, Frank Wolter. [doi]
• Computing Best Ontology Excerpts via Weighted Partial Max-SAT SolvingJieying Chen, Yue Ma, Dirk Walther 0002. [doi]
• Ontology Partitioning Using E-Connections RevisitedSascha Jongebloed, Thomas Schneider 0002. [doi]
• Preferential Default Reasoning on the Semantic WebRafael Kiesel, Erman Acar, Stefan Schlobach. [doi]
• Computing Minimal Projection Modules for Conjunctive QueriesJieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002. [doi]
• Generating Ontologies from Templates: A Rule-Based Approach for Capturing RegularityChristian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen. [doi]
• Verifying Contract-Based Specifications of Product Lines using Description LogicDamir Nesic, Mattias Nyberg. [doi]
• Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract)Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst. [doi]
• On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed WordsStanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev. [doi]
• Cutting Diamonds: Temporal DLs with Probabilistic Distributions over DataAlisa Kovtunova, Rafael Peñaloza. [doi]
• Tractable Query Answering for DL Ontologies and Existential Rules: Extended AbstractDavid Carral, Irina Dragoste, Markus Krötzsch. [doi]
• Decidability Frontier for Fragments of First-Order Logic with TransitivityLidia Tendera. [doi]
• From Conjunctive Queries to SPARQL Queries in Ontology-Mediated QueryingCristina Feier, Carsten Lutz, Frank Wolter. [doi]
• Making Repairs in Description Logics More Gentle (Extended Abstract)Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza. [doi]
• Satisfiability in the Triguarded Fragment of First-Order LogicSebastian Rudolph, Mantas Simkus. [doi]
• Towards a Data Complexity Classification of Ontology-Mediated Queries with CoveringMichael Zakharyaschev, Stanislav Kikot, Olga Gerasimova. [doi]
• A Dynamic Extension of ALCO for Repairing via Preferred UpdatesGuillaume Feuillade, Andreas Herzig, Christos Rantsoudis. [doi]
• Comparing Query Answering in OBDA Tools over W3C-Compliant SpecificationsManuel Namici, Giuseppe De Giacomo. [doi]
• Querying Expressive DL Ontologies under the ICAR SemanticsDespoina Trivela, Giorgos Stoilos, Vasilis Vassalos. [doi]
• The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description LogicsYizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt. [doi]