@comment{It is strongly recommended to use BibLaTeX for these entries}

@inproceedings{:DL2018,
title = {Preface},
author = {},
url = {http://ceur-ws.org/Vol-2211/#paper-01},
crossref = {DL2018},
}

@inproceedings{Tendera:DL2018,
title = {Decidability Frontier for Fragments of First-Order Logic with Transitivity},
author = {Lidia Tendera},
url = {http://ceur-ws.org/Vol-2211/#paper-02},
crossref = {DL2018},
}

@inproceedings{Vrandecic:DL2018,
title = {Toward an Abstract Wikipedia},
author = {Denny Vrande{\v{c}}i{\'c}},
url = {http://ceur-ws.org/Vol-2211/#paper-03},
crossref = {DL2018},
}

@inproceedings{Wassermann:DL2018,
title = {Revising Ontologies},
author = {Renata Wassermann},
url = {http://ceur-ws.org/Vol-2211/#paper-04},
crossref = {DL2018},
}

@inproceedings{AndreselEtAl:DL2018,
title = {Taming Complex Role Inclusions for DL-Lite},
author = {Medina Andre{\c{s}}el and Yazm{\'i}n A. {Ib{\'a\~n}ez Garc{\'i}a} and Magdalena Ortiz and Mantas {\v{S}}imkus},
url = {http://ceur-ws.org/Vol-2211/#paper-05},
crossref = {DL2018},
}

@inproceedings{ArtaleEtAl:DL2018,
title = {Temporal Description Logics over Finite Traces},
author = {Alessandro Artale and Ana Ozaki and Andrea Mazzullo},
url = {http://ceur-ws.org/Vol-2211/#paper-06},
crossref = {DL2018},
}

@inproceedings{BaaderNuradiansyah:DL2018,
title = {Towards Privacy-Preserving Ontology Publishing},
author = {Franz Baader and Adrian Nuradiansyah},
url = {http://ceur-ws.org/Vol-2211/#paper-07},
crossref = {DL2018},
}

@inproceedings{BilidasKoubarakis:DL2018,
title = {Efficient Duplicate Elimination in SPARQL to SQL Translation},
author = {Dimitris Bilidas and Manolis Koubarakis},
url = {http://ceur-ws.org/Vol-2211/#paper-08},
crossref = {DL2018},
}

@inproceedings{BothaEtAl:DL2018,
title = {The Bayesian Description Logic BALC},
author = {Leonard Botha and Thomas Meyer and Rafael Pe{\~n}aloza},
url = {http://ceur-ws.org/Vol-2211/#paper-09},
crossref = {DL2018},
}

@inproceedings{BoehmOrtiz:DL2018,
title = {A Tool for Building Topic-specific Ontologies Using a Knowledge Graph},
author = {Katinka B{\"o}hm and Magdalena Ortiz},
url = {http://ceur-ws.org/Vol-2211/#paper-10},
crossref = {DL2018},
}

@inproceedings{BoetcherEtAl:DL2018,
title = {Complete Approximations of Horn DL Ontologies},
author = {Anneke B{\"o}tcher and Carsten Lutz and Frank Wolter},
url = {http://ceur-ws.org/Vol-2211/#paper-11},
crossref = {DL2018},
}

@inproceedings{ChenEtAl:DL2018,
title = {Computing Minimal Projection Modules for Conjunctive Queries},
author = {Jieying Chen and Michel Ludwig and Yue Ma and Dirk Walther},
url = {http://ceur-ws.org/Vol-2211/#paper-12},
crossref = {DL2018},
}

@inproceedings{ChenEtAl:DL2018,
title = {Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving},
author = {Jieying Chen and Yue Ma and Dirk Walther},
url = {http://ceur-ws.org/Vol-2211/#paper-13},
crossref = {DL2018},
}

@inproceedings{DuarteEtAl:DL2018,
title = {Exact Learning of EL Ontologies},
author = {Mario Ricardo {Cruz Duarte} and Boris Konev and Ana Ozaki},
url = {http://ceur-ws.org/Vol-2211/#paper-14},
crossref = {DL2018},
}

@inproceedings{FaridHaarslev:DL2018,
title = {Handling Nominals and Inverse Roles using Algebraic Reasoning},
author = {Humaira Farid and Volker Haarslev},
url = {http://ceur-ws.org/Vol-2211/#paper-15},
crossref = {DL2018},
}

@inproceedings{FeierEtAl:DL2018,
title = {From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying},
author = {Cristina Feier and Carsten Lutz and Frank Wolter},
url = {http://ceur-ws.org/Vol-2211/#paper-16},
crossref = {DL2018},
}

@inproceedings{FeuilladeEtAl:DL2018,
title = {A Dynamic Extension of ALCO for Repairing via Preferred Updates},
author = {Guillaume Feuillade and Andreas Herzig and Christos Rantsoudis},
url = {http://ceur-ws.org/Vol-2211/#paper-17},
crossref = {DL2018},
}

@inproceedings{Graetz:DL2018,
title = {Concepts as Modal Operators in Description Logics},
author = {Lukas Gr{\"a}tz},
url = {http://ceur-ws.org/Vol-2211/#paper-18},
crossref = {DL2018},
}

@inproceedings{JongebloedSchneider:DL2018,
title = {Ontology Partitioning Using E-Connections Revisited},
author = {Sascha Jongebloed and Thomas Schneider},
url = {http://ceur-ws.org/Vol-2211/#paper-19},
crossref = {DL2018},
}

@inproceedings{KieselEtAl:DL2018,
title = {Preferential Default Reasoning on the Semantic Web},
author = {Rafael Kiesel and Erman Acar and Stefan Schlobach},
url = {http://ceur-ws.org/Vol-2211/#paper-20},
crossref = {DL2018},
}

@inproceedings{KikotEtAl:DL2018,
title = {On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words},
author = {Stanislav Kikot and Vladislav Ryzhikov and Przemys{\l{}}aw Andrzej Wa{\l\k{e}}ga and Michael Zakharyaschev},
url = {http://ceur-ws.org/Vol-2211/#paper-21},
crossref = {DL2018},
}

@inproceedings{KindermannEtAl:DL2018,
title = {Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity},
author = {Christian Kindermann and Daniel P. Lupp and Uli Sattler and Evgenij Thorstensen},
url = {http://ceur-ws.org/Vol-2211/#paper-22},
crossref = {DL2018},
}

@inproceedings{KovtunovaPenaloza:DL2018,
title = {Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data},
author = {Alisa Kovtunova and Rafael Pe{~n}aloza},
url = {http://ceur-ws.org/Vol-2211/#paper-23},
crossref = {DL2018},
}

@inproceedings{MrozekEtAl:DL2018,
title = {ABox Abduction Solver Exploiting Multiple DL Reasoners},
author = {Drahom{\'i}r Mr{\'o}zek and J{\'u}lia Pukancov{\'a} and Martin Homola},
url = {http://ceur-ws.org/Vol-2211/#paper-24},
crossref = {DL2018},
}

@inproceedings{NamiciGiacomo:DL2018,
title = {Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications},
author = {Manuel Namici and Giuseppe De Giacomo},
url = {http://ceur-ws.org/Vol-2211/#paper-25},
crossref = {DL2018},
}

@inproceedings{NesicNyberg:DL2018,
title = {Verifying Contract-Based Specifications of Product Lines using Description Logic},
author = {Damir Ne{\v{s}}i{\'c} and Mattias Nyberg},
url = {http://ceur-ws.org/Vol-2211/#paper-26},
crossref = {DL2018},
}

@inproceedings{OzakiEtAl:DL2018,
title = {Happy Ever After: Temporally Attributed Description Logics},
author = {Ana Ozaki and Markus Kr{\"o}tzsch and Sebastian Rudolph},
url = {http://ceur-ws.org/Vol-2211/#paper-27},
crossref = {DL2018},
}

@inproceedings{OzakiPenaloza:DL2018,
title = {Provenance in Ontology-based Data Access},
author = {Ana Ozaki and Rafael Pe{\~n}aloza},
url = {http://ceur-ws.org/Vol-2211/#paper-28},
crossref = {DL2018},
}

@inproceedings{PaulovicsEtAl:DL2018,
title = {SIVA: An Educational Tool for the Tableau Reasoning Algorithm},
author = {Peter Paulovics and J{\'u}lia Pukancov{\'a} and Martin Homola},
url = {http://ceur-ws.org/Vol-2211/#paper-29},
crossref = {DL2018},
}

@inproceedings{PerlethEtAl:DL2018,
title = {Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations},
author = {Tanja Perleth and Marvin Schiller and Birte Glimm},
url = {http://ceur-ws.org/Vol-2211/#paper-30},
crossref = {DL2018},
}

@inproceedings{PukancovaHomola:DL2018,
title = {ABox Abduction for Description Logics: The Case of Multiple Observations},
author = {J{\'u}lia Pukancov{\'a} and Martin Homola},
url = {http://ceur-ws.org/Vol-2211/#paper-31},
crossref = {DL2018},
}

@inproceedings{RudolphSimkus:DL2018,
title = {Satisfiability in the Triguarded Fragment of First-Order Logic},
author = {Sebastian Rudolph and Mantas {\v{S}}imkus},
url = {http://ceur-ws.org/Vol-2211/#paper-32},
crossref = {DL2018},
}

@inproceedings{SavkovicEtAl:DL2018,
title = {Theoretical Characterization of Signal Diagnostic Processing Language},
author = {Ognjen Savkovi{\'c} and Evgeny Kharlamov and Guohui Xiao and Gulnar Mehdi and Elem G{\"u}zel Kalayc{\i} and Werner Nutt and Mikhail Roshchin and Ian Horrocks},
url = {http://ceur-ws.org/Vol-2211/#paper-33},
crossref = {DL2018},
}

@inproceedings{TomanWeddell:DL2018,
title = {Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases},
author = {David Toman and Grant Weddell},
url = {http://ceur-ws.org/Vol-2211/#paper-34},
crossref = {DL2018},
}

@inproceedings{TrivelaEtAl:DL2018,
title = {Querying Expressive DL Ontologies under the ICAR Semantics},
author = {Despoina Trivela and Giorgos Stoilos and Vasilis Vassalos},
url = {http://ceur-ws.org/Vol-2211/#paper-35},
crossref = {DL2018},
}

@inproceedings{ZakharyaschevEtAl:DL2018,
title = {Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering},
author = {Michael Zakharyaschev and Stanislav Kikot and Olga Gerasimova},
url = {http://ceur-ws.org/Vol-2211/#paper-36},
crossref = {DL2018},
}

@inproceedings{ZhaoEtAl:DL2018,
title = {The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics},
author = {Yizheng Zhao and Hao Feng and Ruba Alassaf and Warren Del-Pinto and Renate A. Schmidt},
url = {http://ceur-ws.org/Vol-2211/#paper-37},
crossref = {DL2018},
}

@inproceedings{BaaderEtAl:DL2018,
title = {Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata},
author = {Franz Baader and Oliver {Fernandez Gil} and Maximilian Pensel},
url = {http://ceur-ws.org/Vol-2211/#paper-38},
crossref = {DL2018},
}

@inproceedings{BaaderEtAl:DL2018,
title = {Making Repairs in Description Logics More Gentle (Extended Abstract)},
author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~n}aloza},
url = {http://ceur-ws.org/Vol-2211/#paper-39},
crossref = {DL2018},
}

@inproceedings{BeretaEtAl:DL2018,
title = {SPARQLing-Up the Web on-the-fly using Ontologies and  Mappings},
author = {Konstantina Bereta and George Papadakis and Manolis Koubarakis},
url = {http://ceur-ws.org/Vol-2211/#paper-40},
crossref = {DL2018},
}

@inproceedings{Bienvenu:DL2018,
title = {Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account},
author = {Meghyn Bienvenu},
url = {http://ceur-ws.org/Vol-2211/#paper-41},
crossref = {DL2018},
}

@inproceedings{CalvaneseEtAl:DL2018,
title = {Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract)},
author = {Diego Calvanese and Tahir Emre Kalayc{\i} and Marco Montali and Ario Santoso and Wil {van der Aalst}},
url = {http://ceur-ws.org/Vol-2211/#paper-42},
crossref = {DL2018},
}

@inproceedings{CarralEtAl:DL2018,
title = {Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract},
author = {David Carral and Irina Dragoste and Markus Kr{\"o}tzsch},
url = {http://ceur-ws.org/Vol-2211/#paper-43},
crossref = {DL2018},
}

@inproceedings{BasultoEtAl:DL2018,
title = {Query-by-Example for Expressive Horn Description Logics},
author = {V{\'i}ctor {Guti{\'e}rrez Basulto} and Jean Christoph Jung and Leif Sabellek},
url = {http://ceur-ws.org/Vol-2211/#paper-44},
crossref = {DL2018},
}

@inproceedings{LeclereEtAl:DL2018,
title = {A Single Approach to Decide Chase Termination on Linear Existential Rules},
author = {Michel Lecl{\`e}re and Marie-Laure Mugnier and Micha{\"e}l Thomazo and Federico Ulliana},
url = {http://ceur-ws.org/Vol-2211/#paper-45},
crossref = {DL2018},
}

@inproceedings{PapacchiniWolter:DL2018,
title = {A Van Benthem Theorem for Horn Description and Modal Logic},
author = {Fabio Papacchini and Frank Wolter},
url = {http://ceur-ws.org/Vol-2211/#paper-46},
crossref = {DL2018},
}

@inproceedings{PenselTurhan:DL2018,
title = {Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot},
author = {Maximilian Pensel and Anni-Yasmin Turhan},
url = {http://ceur-ws.org/Vol-2211/#paper-47},
crossref = {DL2018},
}

@inproceedings{UrbaniEtAl:DL2018,
title = {Efficient Model Construction for Horn Logic with VLog: Extended Abstract},
author = {Jacopo Urbani and Markus Kr{\"o}tzsch and Ceriel Jacobs and Irina Dragoste and David Carral},
url = {http://ceur-ws.org/Vol-2211/#paper-48},
crossref = {DL2018},
}

@proceedings{DL2018,
booktitle = {31st International Workshop on Description Logics (DL)},
title = {Proceedings of the 31st International Workshop on Description Logics (DL)},
year = 2018,
editor = {Magdalena Ortiz and Thomas Schneider},
number = 2211,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-2211/},
venue = {Tempe, Arizona, US},
eventdate = {2018-10-27/2018-10-29},
}

