Table of Contents

• Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract)Carsten Lutz, Leif Sabellek. [doi]
• First Order Rewritability for Ontology Mediated Querying in Horn-DLFDDavid Toman, Grant E. Weddell. [doi]
• Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal LogicVladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev. [doi]
• The Virtual Knowledge Graph System Ontop (Extended Abstract)Guohui Xiao 0001, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva. [doi]
• Towards Even More Irresistible Axiom WeakeningRoberto Confalonieri 0001, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard. [doi]
• On a Notion of RelevanceFajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach. [doi]
• Visualising Proofs and the Modular Structure of Ontologies to Support Ontology RepairChristian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann. [doi]
• Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract)Loris Bozzato, Camillo Fiorentini. [doi]
• On the Complexity of Finding Good Proofs for Description Logic EntailmentsChristian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. [doi]
• Extending DL-LiteR TBoxes with View DefinitionsManuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini. [doi]
• Give Inconsistency a Chance: Semantics for Ontology-Mediated VerificationClemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan. [doi]
• The Homomorphism Lattice, Unique Characterizations, and Concept LearningBalder ten Cate. [doi]
• Logic-Based Ranking of Assertions in Inconsistent ABoxesHoracio Tellez Perez, Jef Wijsen. [doi]
• Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)David Carral, Markus Krötzsch. [doi]
• The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract)Cristina Feier, Carsten Lutz, Marcin Przybylko. [doi]
• A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract)Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter. [doi]
• A Framework for Exploratory Query Answering with OntologiesMedina Andresel, Yazmin Ibáñez-García, Magdalena Ortiz. [doi]
• Automated Reasoning in Temporal DL-Lite (Extended Abstract)Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki. [doi]
• Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)Franz Baader, Filippo De Bortoli. [doi]
• Rewritability Results for OMQs with Closed PredicatesMagdalena Ortiz. [doi]
• Rewriting Count Queries over DL-Lite TBoxes with Number RestrictionsDiego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski. [doi]
• In the Eye of the Beholder: Which Proofs are Best?Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr. [doi]
• Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+Dennis Peuter, Viorica Sofronie-Stokkermans. [doi]
• Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)Gabriella Pasi, Rafael Peñaloza. [doi]
• Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)Oliver Fernández Gil, Anni-Yasmin Turhan. [doi]
• Unification in FL0 Modulo a Flat TBoxBarbara Morawska. [doi]
• Answering Counting Queries over DL-Lite Ontologies (Extended Abstract)Meghyn Bienvenu, Quentin Manière, Michaël Thomazo. [doi]
• Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research)Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca 0001, Roee Shraga. [doi]
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)Stefan Borgwardt, Walter Forkel, Alisa Kovtunova. [doi]
• Merge, Explain, IterateMartin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová. [doi]
• On Free Description Logics with Definite DescriptionsAlessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter. [doi]
• Wikidata on MARS (Preliminary Report)Peter F. Patel-Schneider, David Martin. [doi]
• Temporal Properties over Contextualized Description LogicsSatyadharma Tirtarasa. [doi]
• Knowledge Base Repair: From Active Integrity Constraints to Active TBoxesGuillaume Feuillade, Andreas Herzig, Christos Rantsoudis. [doi]
• Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter. [doi]
• Protege-TS: An OWL Ontology Term Selection ToolIan Hyland, Renate Schmidt. [doi]
• Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract)Franz Baader, Jakub Rydval. [doi]
• Learning Query Inseparable ELH Ontologies (Extended Abstract)Ana Ozaki, Cosimo Persia, Andrea Mazzullo. [doi]
• Provenance for the Description Logic ELHr (Extended Abstract)Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu. [doi]
• Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract)Andreas Steigmiller, Birte Glimm. [doi]
• Using Higher-order Description Logics for Learning and Mining in Complex DomainsFrancesca Alessandra Lisi. [doi]
• Argumentation Theory for Reasoning with Inconsistent Ontologies (Extended Abstract)Yiwei Lu, Zhe Yu. [doi]
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)Patrick Koopmann, Jieying Chen. [doi]
• First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side ConditionsFranz Baader, Patrick Koopmann, Cesare Tinelli. [doi]
• Data Complexity of Finite Query Entailment in Description Logics with Transitive RolesJakub Kuklis. [doi]
• Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter. [doi]
• Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract)Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo. [doi]
• Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract)Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius. [doi]
• UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxesXuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng. [doi]