{"id":654,"date":"2017-06-21T15:29:00","date_gmt":"2017-06-21T13:29:00","guid":{"rendered":"http:\/\/project.inria.fr\/dl2017\/?page_id=654"},"modified":"2017-06-21T17:30:46","modified_gmt":"2017-06-21T15:30:46","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/dl2017\/program-2\/accepted-papers\/","title":{"rendered":"Accepted papers"},"content":{"rendered":"

LONG PRESENTATIONS<\/strong><\/span><\/p>\n

Franz Baader, Stefan Borgwardt and Marcel Lippmann<\/strong>.\u00a0Query Rewriting for DL-Lite with n-ary Concrete Domains (Abstract)<\/span><\/p>\n

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki and Veronika Thost<\/strong>.\u00a0Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)<\/span><\/p>\n

Franz Baader, Patrick Koopmann and Anni-Yasmin Turhan<\/strong>.\u00a0Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)<\/span><\/p>\n

Franz Baader, Pavlos Marantidis and Alexander Okhotin<\/strong>.\u00a0Approximate Unification in the Description Logic FL0<\/span><\/p>\n

Jean-Fran\u00e7ois Baget, Meghyn Bienvenu, Marie-Laure Mugnier and Micha\u00ebl Thomazo<\/strong>.\u00a0Answering Conjunctive Regular Path Queries over Guarded Existential Rules<\/span><\/p>\n

Labinot Bajraktari, Magdalena Ortiz and Mantas Simkus<\/strong>.\u00a0Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming<\/span><\/p>\n

Michael Benedikt, Bernardo Cuenca Grau and Egor V. Kostylev<\/strong>.\u00a0Source Information Disclosure in Ontology-based Data Integration (Extended Abstract)<\/span><\/p>\n

Meghyn Bienvenu, Stanislav Kikot,\u00a0Roman Kontchakov, Vladislav Ryzhikov and\u00a0Michael Zakharyaschev.<\/strong> On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL<\/span><\/p>\n

Meghyn Bienvenu, Stanislav Kikot,\u00a0Roman Kontchakov, Vladislav Ryzhikov and\u00a0Michael Zakharyaschev.<\/strong> Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded Hypertree-Width Queries<\/span><\/p>\n

Stefan Borgwardt, Ismail Ilkan Ceylan and Thomas Lukasiewicz.<\/strong>\u00a0Ontology-Mediated Queries for Probabilistic Databases (Extended Abstract)<\/span><\/p>\n

Camille Bourgaux and Anni-Yasmin Turhan<\/strong>.\u00a0Temporal Query Answering in DL-Lite over Inconsistent Data (Extended Abstract)<\/span><\/p>\n

Markus Brenner and Birte Glimm<\/strong>.\u00a0Incremental Materialization Update via Abstraction Refinement<\/span><\/p>\n

Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi and Marco Montali<\/strong>.\u00a0Semantic DMN: Formalizing Decision Models with Domain Knowledge<\/span><\/p>\n

David Carral, Dragoste Irina and Markus Kr\u00f6tzsch<\/strong>.\u00a0Answering Conjunctive Queries for Expressive DLs with the Restricted Chase<\/span><\/p>\n

Ismail Ilkan Ceylan, Stefan Borgwardt and Thomas Lukasiewicz.<\/strong>\u00a0Most Probable Explanations for Probabilistic Database Queries (Extended Abstract)<\/span><\/p>\n

V\u00edctor Guti\u00e9rrez Basulto, Jean Christoph Jung and Yazm\u00edn Ang\u00e9lica Ib\u00e1\u00f1ez Garc\u00eda<\/strong>.\u00a0Number Restrictions on Transitive Roles in Description Logics with Nominals<\/span><\/p>\n

V\u00edctor Guti\u00e9rrez Basulto, Jean Christoph Jung and Yazm\u00edn Ang\u00e9lica Ib\u00e1\u00f1ez Garc\u00eda<\/strong>.\u00a0On Query Answering in Description Logics with Number Restrictions on Transitive Roles<\/span><\/p>\n

Peter Hansen and Carsten Lutz.<\/strong>\u00a0Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries<\/span><\/p>\n

Andr\u00e9 Hernich, Carsten Lutz, Fabio Papacchini and Frank Wolter.<\/strong>\u00a0Horn-Rewritability vs PTime Query Answering for Description Logic TBoxes<\/span><\/p>\n

Alexey Ignatiev, Joao Marques-Silva, Carlos Menc\u00eda and Rafael Pe\u00f1aloza.<\/strong>\u00a0Debugging EL+ Ontologies through MUS Enumeration<\/span><\/p>\n

Jean Christoph Jung, Carsten Lutz, Mauricio Martel and Thomas Schneider.<\/strong>\u00a0Query Conservative Extensions in Horn Description Logics with Inverse Roles<\/span><\/p>\n

Yevgeny Kazakov, Pavel Klinov and Alexander Stupnikov.\u00a0<\/strong>Towards Reusable Explanation Services in Protege<\/span><\/p>\n

Yevgeny Kazakov and Denis Ponomaryov<\/strong>.\u00a0On the Complexity of Semantic Integration of OWL Ontologies<\/span><\/p>\n

Yevgeny Kazakov and Peter Sko\u010dovsk\u00fd.<\/strong>\u00a0Enumerating Justifications using Resolution<\/span><\/p>\n

Markus Kr\u00f6tzsch, Maximilian Marx, Ana Ozaki and Veronika Thost<\/strong>.\u00a0Reasoning with Attributed Description Logics<\/span><\/p>\n

Carsten Lutz and Leif Sabellek.<\/strong>\u00a0Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability<\/span><\/p>\n

Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau and Ian Horrocks.\u00a0<\/strong>The Bag Semantics of Ontology-Based Data Access<\/span><\/p>\n

Sebastian Rudolph and Lukas Schweizer<\/strong>.\u00a0Not too Big, Not too Small… Complexities of Fixed-Domain Reasoning in First-Order and Description Logics<\/span><\/p>\n

Marvin Schiller, Florian Schiller and Birte Glimm.<\/strong>\u00a0Testing the Adequacy of Automated Explanations of EL Subsumptions<\/span><\/p>\n

Yizheng Zhao and Renate A. Schmidt<\/strong>.\u00a0Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann Approach<\/span><\/p>\n

 <\/p>\n

SHORT PRESENTATIONS<\/strong><\/span><\/p>\n

Abdallah Arioua, Madalina Croitoru, Abdelraouf Hecham and Gem Stapleton.<\/strong>\u00a0An empirical evaluation of argumentation in explaining inconsistency tolerant query answering<\/span><\/p>\n

Alessandro Artale, Marco Montali, Simone Tritini and Wil van der Aalst.<\/strong>\u00a0Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling<\/span><\/p>\n

Stefan Borgwardt, Marco Cerami and Rafael Pe\u00f1aloza.\u00a0\u0141ukasiewicz Fuzzy.<\/strong> EL is Undecidable<\/span><\/p>\n

Arina Britz and Ivan Varzinczak<\/strong>.\u00a0Towards defeasible SROIQ<\/span><\/p>\n

Jieying Chen, Michel Ludwig, Yue Ma and Dirk Walther<\/strong>.\u00a0Computing Subsumption Justifications of Ontologies<\/span><\/p>\n

Roberto Confalonieri, Oliver Kutz, Nicolas Troquard, Pietro Galliani, Rafael Pe\u00f1aloza, Daniele Porrello and Marco Schorlemmer.<\/strong>\u00a0Coherence, Similarity, and Concept Generalisation<\/span><\/p>\n

Olga Gerasimova, Stanislav Kikot, Vladimir Podolskii and Michael Zakharyaschev.<\/strong>\u00a0On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom<\/span><\/p>\n

Birte Glimm, Yevgeny Kazakov and Trung-Kien Tran.<\/strong>\u00a0Scalable Reasoning by Abstraction in DL-Lite<\/span><\/p>\n

Arash Karimi, Heng Zhang and Jia-Huai You.\u00a0Beyond Skolem Chase.<\/strong> A Study of Finite Chase under Standard Chase Variant<\/span><\/p>\n

Adrian Nuradiansyah, Franz Baader and Daniel Borchmann.<\/strong>\u00a0The Identity Problem in Description Logic Ontologies<\/span><\/p>\n

Rafael Pe\u00f1aloza, Carlos Menc\u00eda, Alexey Ignatiev and Joao Marques-Silva.<\/strong>\u00a0Lean Kernels in DLs (Extended Abstract)<\/span><\/p>\n

David Tena Cucala, Bernardo Cuenca Grau and Ian Horrocks.<\/strong>\u00a0Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals<\/span><\/p>\n

David Toman and Grant Weddell<\/strong>.\u00a0On Partial Features in the DLF Dialects of Description Logic with Inverse Features<\/span><\/p>\n

Despoina Trivela, Giorgos Stoilos and Vasilis Vassalos.<\/strong>\u00a0A Framework and Positive Results for Query Answering over Inconsistent Description Logic Knowledge Bases<\/span><\/p>\n

 <\/p>\n

POSTERS<\/strong><\/span><\/p>\n

Labinot Bajraktari, Magdalena Ortiz and Mantas \u0160imkus<\/strong>.\u00a0Goal-oriented type-based reasoning for expressive DLs<\/span><\/p>\n

Loris Bozzato, Luciano Serafini and Gaetano Calabrese.<\/strong>\u00a0CKR:Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States<\/span><\/p>\n

Germ\u00e1n Alejandro Braun, Christian Gimenez, Laura Cecchi and Pablo Fillottrani.<\/strong>\u00a0Towards a Visualisation Process for Ontology-Based Conceptual Modelling<\/span><\/p>\n

Germ\u00e1n Alejandro Braun, Matias Pol’La, Laura Cecchi, Agustina Buccella, Pablo Fillottrani and Alejandra Cechich.<\/strong>\u00a0A DL Semantics for Reasoning over OVM-based Variability Models<\/span><\/p>\n

Gianluca Cima<\/strong>.\u00a0Preliminary results on Ontology-based Open Data Publishing<\/span><\/p>\n

Henrik Forssell, Daniel P. Lupp, Martin G. Skj\u00e6veland and Evgenij Thorstensen<\/strong>.\u00a0Reasonable Macros for Ontology Construction and Maintenance<\/span><\/p>\n

Laura Giordano and Daniele Theseider Dupre’.<\/strong>\u00a0ASP for Minimal Entailment in a Rational Extension of SROEL (Extended Absrtact)<\/span><\/p>\n

Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato and Riccardo Renzulli.<\/strong>\u00a0An Efficient Reasoner for Description Logics of Typicality and Rational Closure<\/span><\/p>\n

Nadia Labai, Martin Homola and Magdalena Ortiz.<\/strong>\u00a0Constructive Satisfiability Procedure for ALC^P(Z) (Preliminary Report)<\/span><\/p>\n

Martin Leinberger, Ralf L\u00e4mmel and Steffen Staab<\/strong>.\u00a0The essence of functional programming on semantic data<\/span><\/p>\n

Yuri Malheiros and Fred Freitas.<\/strong>\u00a0Unification in EL for Competency Question Generation<\/span><\/p>\n

Enrique Matos Alfonso and Giorgos Stamou.<\/strong>\u00a0Rewriting Queries with Negated Atoms<\/span><\/p>\n

Razieh Mehri and Volker Haarslev.\u00a0<\/strong>Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning<\/span><\/p>\n

Maximilian Pensel and Anni-Yasmin Turhan<\/strong>.\u00a0Quantification in Defeasible DLs matters again (Extended Abstract)<\/span><\/p>\n

J\u00falia Pukancov\u00e1 and Martin Homola.<\/strong>\u00a0Tableau-Based ABox Abduction for the ALCHO Description Logic<\/span><\/p>\n

Christos Rantsoudis, Guillaume Feuillade and Andreas Herzig.<\/strong>\u00a0Repairing ABoxes through active integrity constraints<\/span><\/p>\n

Paula Severi.<\/strong>\u00a0Complexity of Consistency and Query Answering in Description Logics with Metamodelling<\/span><\/p>\n

Nikoo Zolfaghar Karahroodi and Volker Haarslev<\/strong>.\u00a0A Consequence-based Algebraic Calculus for SHOQ<\/span><\/p>\n

 <\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

LONG PRESENTATIONS Franz Baader, Stefan Borgwardt and Marcel Lippmann.\u00a0Query Rewriting for DL-Lite with n-ary Concrete Domains (Abstract) Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki and Veronika Thost.\u00a0Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract) Franz Baader, Patrick Koopmann and Anni-Yasmin Turhan.\u00a0Using Ontologies to Query Probabilistic Numerical Data (Extended\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":27,"featured_media":0,"parent":582,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-654","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/pages\/654","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/comments?post=654"}],"version-history":[{"count":46,"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/pages\/654\/revisions"}],"predecessor-version":[{"id":701,"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/pages\/654\/revisions\/701"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/pages\/582"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/dl2017\/wp-json\/wp\/v2\/media?parent=654"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}