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