LONG PRESENTATIONS
Franz Baader, Stefan Borgwardt and Marcel Lippmann. Query Rewriting for DL-Lite with n-ary Concrete Domains (Abstract)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki and Veronika Thost. Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)
Franz Baader, Patrick Koopmann and Anni-Yasmin Turhan. Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)
Franz Baader, Pavlos Marantidis and Alexander Okhotin. Approximate Unification in the Description Logic FL0
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier and Michaël Thomazo. Answering Conjunctive Regular Path Queries over Guarded Existential Rules
Labinot Bajraktari, Magdalena Ortiz and Mantas Simkus. Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming
Michael Benedikt, Bernardo Cuenca Grau and Egor V. Kostylev. Source Information Disclosure in Ontology-based Data Integration (Extended Abstract)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev. On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev. Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded Hypertree-Width Queries
Stefan Borgwardt, Ismail Ilkan Ceylan and Thomas Lukasiewicz. Ontology-Mediated Queries for Probabilistic Databases (Extended Abstract)
Camille Bourgaux and Anni-Yasmin Turhan. Temporal Query Answering in DL-Lite over Inconsistent Data (Extended Abstract)
Markus Brenner and Birte Glimm. Incremental Materialization Update via Abstraction Refinement
Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi and Marco Montali. Semantic DMN: Formalizing Decision Models with Domain Knowledge
David Carral, Dragoste Irina and Markus Krötzsch. Answering Conjunctive Queries for Expressive DLs with the Restricted Chase
Ismail Ilkan Ceylan, Stefan Borgwardt and Thomas Lukasiewicz. Most Probable Explanations for Probabilistic Database Queries (Extended Abstract)
Víctor Gutiérrez Basulto, Jean Christoph Jung and Yazmín Angélica Ibáñez García. Number Restrictions on Transitive Roles in Description Logics with Nominals
Víctor Gutiérrez Basulto, Jean Christoph Jung and Yazmín Angélica Ibáñez García. On Query Answering in Description Logics with Number Restrictions on Transitive Roles
Peter Hansen and Carsten Lutz. Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
André Hernich, Carsten Lutz, Fabio Papacchini and Frank Wolter. Horn-Rewritability vs PTime Query Answering for Description Logic TBoxes
Alexey Ignatiev, Joao Marques-Silva, Carlos Mencía and Rafael Peñaloza. Debugging EL+ Ontologies through MUS Enumeration
Jean Christoph Jung, Carsten Lutz, Mauricio Martel and Thomas Schneider. Query Conservative Extensions in Horn Description Logics with Inverse Roles
Yevgeny Kazakov, Pavel Klinov and Alexander Stupnikov. Towards Reusable Explanation Services in Protege
Yevgeny Kazakov and Denis Ponomaryov. On the Complexity of Semantic Integration of OWL Ontologies
Yevgeny Kazakov and Peter Skočovský. Enumerating Justifications using Resolution
Markus Krötzsch, Maximilian Marx, Ana Ozaki and Veronika Thost. Reasoning with Attributed Description Logics
Carsten Lutz and Leif Sabellek. Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau and Ian Horrocks. The Bag Semantics of Ontology-Based Data Access
Sebastian Rudolph and Lukas Schweizer. Not too Big, Not too Small… Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
Marvin Schiller, Florian Schiller and Birte Glimm. Testing the Adequacy of Automated Explanations of EL Subsumptions
Yizheng Zhao and Renate A. Schmidt. Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann Approach
SHORT PRESENTATIONS
Abdallah Arioua, Madalina Croitoru, Abdelraouf Hecham and Gem Stapleton. An empirical evaluation of argumentation in explaining inconsistency tolerant query answering
Alessandro Artale, Marco Montali, Simone Tritini and Wil van der Aalst. Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling
Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. Łukasiewicz Fuzzy. EL is Undecidable
Arina Britz and Ivan Varzinczak. Towards defeasible SROIQ
Jieying Chen, Michel Ludwig, Yue Ma and Dirk Walther. Computing Subsumption Justifications of Ontologies
Roberto Confalonieri, Oliver Kutz, Nicolas Troquard, Pietro Galliani, Rafael Peñaloza, Daniele Porrello and Marco Schorlemmer. Coherence, Similarity, and Concept Generalisation
Olga Gerasimova, Stanislav Kikot, Vladimir Podolskii and Michael Zakharyaschev. On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom
Birte Glimm, Yevgeny Kazakov and Trung-Kien Tran. Scalable Reasoning by Abstraction in DL-Lite
Arash Karimi, Heng Zhang and Jia-Huai You. Beyond Skolem Chase. A Study of Finite Chase under Standard Chase Variant
Adrian Nuradiansyah, Franz Baader and Daniel Borchmann. The Identity Problem in Description Logic Ontologies
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev and Joao Marques-Silva. Lean Kernels in DLs (Extended Abstract)
David Tena Cucala, Bernardo Cuenca Grau and Ian Horrocks. Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals
David Toman and Grant Weddell. On Partial Features in the DLF Dialects of Description Logic with Inverse Features
Despoina Trivela, Giorgos Stoilos and Vasilis Vassalos. A Framework and Positive Results for Query Answering over Inconsistent Description Logic Knowledge Bases
POSTERS
Labinot Bajraktari, Magdalena Ortiz and Mantas Šimkus. Goal-oriented type-based reasoning for expressive DLs
Loris Bozzato, Luciano Serafini and Gaetano Calabrese. CKR:Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States
Germán Alejandro Braun, Christian Gimenez, Laura Cecchi and Pablo Fillottrani. Towards a Visualisation Process for Ontology-Based Conceptual Modelling
Germán Alejandro Braun, Matias Pol’La, Laura Cecchi, Agustina Buccella, Pablo Fillottrani and Alejandra Cechich. A DL Semantics for Reasoning over OVM-based Variability Models
Gianluca Cima. Preliminary results on Ontology-based Open Data Publishing
Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland and Evgenij Thorstensen. Reasonable Macros for Ontology Construction and Maintenance
Laura Giordano and Daniele Theseider Dupre’. ASP for Minimal Entailment in a Rational Extension of SROEL (Extended Absrtact)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato and Riccardo Renzulli. An Efficient Reasoner for Description Logics of Typicality and Rational Closure
Nadia Labai, Martin Homola and Magdalena Ortiz. Constructive Satisfiability Procedure for ALC^P(Z) (Preliminary Report)
Martin Leinberger, Ralf Lämmel and Steffen Staab. The essence of functional programming on semantic data
Yuri Malheiros and Fred Freitas. Unification in EL for Competency Question Generation
Enrique Matos Alfonso and Giorgos Stamou. Rewriting Queries with Negated Atoms
Razieh Mehri and Volker Haarslev. Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning
Maximilian Pensel and Anni-Yasmin Turhan. Quantification in Defeasible DLs matters again (Extended Abstract)
Júlia Pukancová and Martin Homola. Tableau-Based ABox Abduction for the ALCHO Description Logic
Christos Rantsoudis, Guillaume Feuillade and Andreas Herzig. Repairing ABoxes through active integrity constraints
Paula Severi. Complexity of Consistency and Query Answering in Description Logics with Metamodelling
Nikoo Zolfaghar Karahroodi and Volker Haarslev. A Consequence-based Algebraic Calculus for SHOQ
