Accepted Papers

Camille Bourgaux and Ana Ozaki. Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
David Tena Cucala, Bernardo Cuenca Grau and Ian Horrocks. Sequoia: A Consequence Based Reasoner for SROIQ
Bartosz Bednarczyk and Sebastian Rudolph. Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
Ana Ozaki and Nicolas Troquard. Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)
Haitao Cheng, Ruchuan Wang, Peng Li and He Xu. Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL
Horacio Tellez Perez and Jef Wijsen. Connecting Databases and Ontologies: A Data Quality Perspective
Jean Christoph Jung, Fabio Papacchini, Frank Wolter and Michael Zakharyaschev. Model Comparison Games for Horn Description Logics: A Summary
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank Wolter. Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)
Daniel Danielski and Emanuel Kieronski. Finite Satisfiability of Unary Negation Fragment with Transitivity
David Carral, Larry González and Patrick Koopmann. From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
David Carral, Irina Dragoste and Markus Krötzsch. The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
Pablo Barceló, Cristina Feier, Carsten Lutz and Andreas Pieris. PTime Combined Complexity and FPT in Ontology-Mediated Querying
Jean Christoph Jung, Carsten Lutz and Thomas Zeume. Decidability and Complexity of ALCOIF with Transitive Closure (and More)
David Carral, Irina Dragoste, Markus Krötzsch and Christian Lewe. Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
Alexandros Chortaras, Michalis Giazitzoglou and Giorgos Stamou. Inside the Query Space of DL Knowledge Bases
Luigi Sauro, Iliana M. Petrova and Piero A. Bonatti. A richer policy language for GDPR compliance
Magdalena Ortiz, Sanja Pavlovic and Mantas Simkus. Answer Set Programs Challenged by Ontologies
Víctor Gutiérrez Basulto, Tomasz Gogacz, Yazmin Ibanez-Garcia, Jean Christoph Jung and Filip Murlak. On Finite and Unrestricted Query Entailment beyond SQ
Vinu Ellampallil Venugopal and P Sreenivasa Kumar. Improving Ontology Verbalization using Semantic-level Refinement
Stefan Borgwardt, Ismail Ilkan Ceylan and Thomas Lukasiewicz. Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)
Satyadharma Tirtarasa and Benjamin Zarrieß. Projection in a Description Logic of Context with Actions
Zhenzhen Gu, Cungen Cao and Songmao Zhang. An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
Franz Baader, Oliver Fernandez Gil and Pavlos Marantidis. Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)
Alexander Borgida, David Toman and Grant Weddell. On Special Description Logics for Processes and Plans
Haoruo Zhao, Uli Sattler and Bijan Parsia. Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Robin Nolte and Thomas Schneider. How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
Erman Acar, Rafael Peñaloza and Livia Predoiu. Making Decisions over Contextual Ontologies
Meghyn Bienvenu and Pierre Bourhis. Mixed-World Reasoning with Existential Rules under Active Domain Semantics
Katarína Fabianová, Júlia Pukancová and Martin Homola. Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain
Domenico Lembo and Federico Scafoglieri. Coupling ontologies with document spanners
Bartosz Bednarczyk, Sebastian Rudolph and Franz Baader. Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Reid Swan, Giovanni Casini, Michael Harrison and Thomas Meyer. Arbitrary Ranking of Defeasible Subsumption
Tiziano Dalmonte, Andrea Mazzullo and Ana Ozaki. On Non-normal Modal Description Logics
Yizheng Zhao, Ghadah Abdulrahman S Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric and Mohammad Khodadadi. Tracking Logical Difference in Industrial-Scale Ontologies
Yizheng Zhao and Renate A. Schmidt. On Concept Forgetting in Description Logics with Qualified Number Restrictions
Patrick Koopmann. Ontology-Based Query-Answering for Probabilistic Temporal Data (Abstract)
Loris Bozzato, Thomas Eiter and Luciano Serafini. A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
Andreas Steigmiller and Birte Glimm. Absorption-Based Query Entailment Checking for Expressive Description Logics
David Toman and Grant Weddell. Exhaustive Query Answering via Referring Expressions
Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi and Elian Toccacieli. Queries with inequalities in OWL 2 QL
Alessandro Artale, Andrea Mazzullo and Ana Ozaki. Temporal DL-Lite over Finite Traces (Preliminary Results)
Patrick Koopmann. Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
Daniele Porello, Oliver Kutz, Nicolas Troquard, Guendalina Righetti, Claudio Masolo and Pietro Galliani. A fistful of concepts. Towards a theory of weighted concept combination
Christian Kindermann, Bijan Parsia and Uli Sattler. Detecting Influences of Ontology Design Patterns in Biomedical Ontologies
Mitko Yanchev. Rational Grading in an Expressive Description Logic
Oliver Fernandez Gil and Anni-Yasmin Turhan. Towards an Equivalence Degree of EL CQs
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau and Ian Horrocks. Bagging the DL-Lite Family Further
Sergei Obiedkov, Barış Sertkaya and Denis Zolotukhin. Probably Approximately Correct Completion of Description Logic Knowledge Bases
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev. A Note on DL-Lite with Boolean Role Inclusions
Arina Britz and Ivan Varzinczak. Contextual rational closure for defeasible ALC (Extended Abstract)
Arina Britz and Ivan Varzinczak. Reasoning with Contextual Defeasible ALC
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther and Yongsheng Gao. Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology
Peng Xiao, Zhe Wang and Kewen Wang. Practical Datalog Rewriting for Existential Rules
Stefan Borgwardt and Walter Forkel. Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)
Said Jabbour, Yue Ma and Badran Raddaoui. Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies
Luis Palacios, Yue Ma, Chantal Reynaud and Gaëlle Lortal. Towards Situation Discovery for Clustering Instances