DL 2019
International Workshop on Description Logics

Table of Contents

• Preface
  
  

Invited Talks

• A Theoretical View on Reverse Engineering Problems for Database Query Languages
  Pablo Barceló
• Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report
  Meghyn Bienvenu
• Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic
  Gerhard Lakemeyer

Full Papers

• Making Decisions over Contextual Ontologies
  Erman Acar, Rafael Peñaloza, Livia Predoiu
• Temporal DL-Lite over Finite Traces (Preliminary Results)
  Alessandro Artale, Andrea Mazzullo, Ana Ozaki
• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
  Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
  Bartosz Bednarczyk, Sebastian Rudolph
• A Richer Policy Language for GDPR Compliance
  Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
• On Special Description Logics for Processes and Plans
  Alexander Borgida, David Toman, Grant Weddell
• A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
  Loris Bozzato, Thomas Eiter, Luciano Serafini
• Reasoning with Contextual Defeasible ALC
  Arina Britz, Ivan Varzinczak
• Arbitrary Ranking of Defeasible Subsumption
  Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
• Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology
  Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
• Inside the Query Space of DL Knowledge Bases
  Alexandros Chortaras, Michalis Giazitzoglou, Giorgos Stamou
• On Queries with Inequalities in DL-LiteR≠
  Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi, Elian Toccacieli
• Bagging the DL-Lite Family Further
  Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
• On Non-normal Modal Description Logics
  Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
• Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain
  Katarína Fabianová, Júlia Pukancová, Martin Homola
• An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
  Zhenzhen Gu, Cungen Cao, Songmao Zhang
• Decidability and Complexity of ALCOIF with Transitive Closure (and More)
  Jean Christoph Jung, Carsten Lutz, Thomas Zeume
• Detecting Influences of Ontology Design Patterns in Biomedical Ontologies
  Christian Kindermann, Bijan Parsia, Uli Sattler
• A Note on DL-Lite with Boolean Role Inclusions
  Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
• Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
  Patrick Koopmann
• How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
  Robin Nolte, Thomas Schneider
• Probably Approximately Correct Completion of Description Logic Knowledge Bases
  Sergei Obiedkov, Barış Sertkaya, Denis Zolotukhin
• Answer Set Programs Challenged by Ontologies
  Magdalena Ortiz, Sanja Pavlović, Mantas Šimkus
• A Toothful of Concepts: Towards a Theory of Weighted Concept Combination
  Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo
• Absorption-Based Query Entailment Checking for Expressive Description Logics
  Andreas Steigmiller, Birte Glimm
• Connecting Databases and Ontologies: A Data Quality Perspective
  Horacio Tellez Perez, Jef Wijsen
• Sequoia: A Consequence Based Reasoner for SROIQ
  David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
• Projection in a Description Logic of Context with Actions
  Satyadharma Tirtarasa, Benjamin Zarrieß
• Exhaustive Query Answering via Referring Expressions
  David Toman, Grant Weddell
• Practical Datalog Rewriting for Existential Rules
  Zhe Wang, Peng Xiao, Kewen Wang
• Rational Grading in an Expressive Description Logic
  Mitko Yanchev

Extended Abstracts

• Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)
  Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
• PTime Combined Complexity and FPT in Ontology-Mediated Querying
  Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
• Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract)
  Meghyn Bienvenu, Pierre Bourhis
• Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)
  Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
• Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)
  Stefan Borgwardt, Walter Forkel
• Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
  Camille Bourgaux, Ana Ozaki
• Contextual Rational Closure for Defeasible ALC (Extended Abstract)
  Arina Britz, Ivan Varzinczak
• The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
  David Carral, Irina Dragoste, Markus Krötzsch
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
  David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
  David Carral, Larry González, Patrick Koopmann
• Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL
  Haitao Cheng, Zongmin Ma
• Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)
  Daniel Danielski, Emanuel Kieroński
• Improving Ontology Verbalization using Semantic-level Refinement (Extended Abstract)
  Vinu E. Venugopal, P. Sreenivasa Kumar
• Towards an Equivalence Degree of EL CQs (Extended Abstract)
  Oliver Fernández Gil, Anni-Yasmin Turhan
• Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)
  Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
• On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
  Tomasz Gogacz, Víctor Gutiérrez Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
• Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies
  Said Jabbour, Yue Ma, Badran Raddaoui
• Model Comparison Games for Horn Description Logics: A Summary
  Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
• Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)
  Patrick Koopmann
• Coupling Ontologies with Document Spanners
  Domenico Lembo, Federico Maria Scafoglieri
• Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)
  Ana Ozaki, Nicolas Troquard
• Towards Situation Discovery for Clustering Instances
  Luis Palacios, Yue Ma, Chantal Reynaud, Gaëlle Lortal
• Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
  Haoruo Zhao, Uli Sattler, Bijan Parsia
• Tracking Logical Difference in Industrial-Scale Ontologies
  Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
• On Concept Forgetting in Description Logics with Qualified Number Restrictions
  Yizheng Zhao, Renate A. Schmidt