Search - Archive ouverte HAL Access content directly

Filter your results

32 Results
ANR project: Code decision (reference) : ANR-12-JS02-0007
Image document

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Meghyn Bienvenu , Peter Hansen , Carsten Lutz , Frank Wolter
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers lirmm-01367863v1

Tractable Queries for Lightweight Description Logics

Meghyn Bienvenu , Magdalena Ortiz , Mantas Simkus , Guohui Xiao
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.768-774
Conference papers hal-00947533v1

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP

Meghyn Bienvenu , Balder ten Cate , Carsten Lutz , Frank Wolter
ACM Transactions on Database Systems, 2014, 39 (4), pp.33. ⟨10.1145/2661643⟩
Journal articles hal-01117583v1
Image document

Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)

Meghyn Bienvenu , Camille Bourgaux , François Goasdoué
Description Logics, Jun 2015, Athens, Greece
Conference papers hal-01277080v1
Image document

Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases

Meghyn Bienvenu , Camille Bourgaux , François Goasdoué
AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States
Conference papers hal-01277086v1
Image document

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries

Meghyn Bienvenu , Stanislav Kikot , Roman Kontchakov , Vladimir V Podolskii , Vladislav Ryzhikov et al.
PODS: Principles of Database Systems, Jun 2017, Chicago, United States
Conference papers hal-01632638v1
Image document

Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Swan Rocher
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Conference papers hal-01171846v1
Image document

Ontology-Mediated Query Answering: Harnessing Knowledge to Get More From Data

Meghyn Bienvenu
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers lirmm-01367866v1

Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access

Meghyn Bienvenu , Riccardo Rosati
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.775-782
Conference papers hal-00947531v1

Nested Regular Path Queries in Description Logics

Meghyn Bienvenu , Diego Calvanese , Magdalena Ortiz , Mantas Simkus
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), Jul 2014, Vienna, Austria
Conference papers hal-01117593v1
Image document

Answering Conjunctive Regular Path Queries over Guarded Existential Rules

Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers lirmm-01632224v1

Datalog revisited for reasoning in linked data

Marie-Christine Rousset , Manuel Atencia , Jérôme David , Fabrice Jouanot , Olivier Palombi et al.
Giovambattista Ianni; Domenico Lembo; Leopoldo Bertossi; Wolfgang Faber; Birte Glimm; Georg Gottlob; Steffen Staab. Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017, LNCS (10370), Springer Verlag, pp.121-166, 2017, Reasoning Web International Summer School, 978-3-319-61032-0. ⟨10.1007/978-3-319-61033-7_5⟩
Book sections hal-01661141v1
Image document

Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier et al.
JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩
Conference papers lirmm-01412864v1
Image document

Extracting Bounded-level Modules from Deductive RDF Triplestores

Marie-Christine Rousset , Federico Ulliana
AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., Jan 2015, Austin, TX, United States
Conference papers lirmm-01086951v1

Conjunctive Regular Path Queries in Lightweight Description Logics

Meghyn Bienvenu , Magdalena Ortiz , Mantas Simkus
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.761-767
Conference papers hal-00947534v1

Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries

Meghyn Bienvenu , Stanislav Kikot , Vladimir V. Podolskii
Twenty-Seventh International Workshop on Description Logics, Jul 2014, Vienna, Austria
Conference papers hal-01117608v1
Image document

Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity

Meghyn Bienvenu , Stanislav Kikot , Roman Kontchakov , Vladimir V Podolskii , Michael Zakharyaschev et al.
Journal of the ACM (JACM), 2018, 65 (5), pp.1-51. ⟨10.1145/3191832⟩
Journal articles lirmm-01892661v1
Image document

Query Rewriting for Existential Rules with Compiled Preorder

Mélanie König , Michel Leclère , Marie-Laure Mugnier
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112
Conference papers lirmm-01164851v1
Image document

Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases

Meghyn Bienvenu , Camille Bourgaux , François Goasdoué
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers lirmm-01367864v1
Image document

Query and Predicate Emptiness in Ontology-Based Data Access

Franz Baader , Meghyn Bienvenu , Carsten Lutz , Frank Wolter
Journal of Artificial Intelligence Research, 2016, 56, pp.1-59. ⟨10.1613/jair.4866⟩
Journal articles lirmm-01367867v1
Image document

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher
NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria
Conference papers lirmm-01097136v1
Image document

Extending Acyclicity Notions for Existential Rules

Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher
ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩
Conference papers hal-01092757v1
Image document

On Bounded Positive Existential Rules

Michel Leclère , Marie-Laure Mugnier , Federico Ulliana
DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Conference papers lirmm-01375091v1
Image document

Inconsistency-Tolerant Querying of Description Logic Knowledge Bases

Meghyn Bienvenu , Camille Bourgaux
RW 2016 - 12th Reasonning Web Summer School, Sep 2016, Aberdeen, United Kingdom. pp.156-202, ⟨10.1007/978-3-319-49493-7_5⟩
Conference papers hal-01633000v1
Image document

Ontology-Mediated Query Answering for Key-Value Stores

Meghyn Bienvenu , Pierre Bourhis , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers lirmm-01632090v1

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (Extended Abstract)

Meghyn Bienvenu , Camille Bourgaux , François Goasdoué
International Workshop on Description Logics, Jul 2014, Vienna, Austria
Conference papers hal-01052452v1

First-Order Rewritability of Atomic Queries in Horn Description Logics

Meghyn Bienvenu , Carsten Lutz , Frank Wolter
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.754-760
Conference papers hal-00947535v1
Image document

Ontology-Mediated Queries for NOSQL Databases

Marie-Laure Mugnier , Marie-Christine Rousset , Federico Ulliana
DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057
Conference papers lirmm-01375093v1
Image document

Ontology-Mediated Queries for NOSQL Databases

Marie-Laure Mugnier , Marie-Christine Rousset , Federico Ulliana
AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057
Conference papers lirmm-01242913v1
Image document

Query-based Comparison of Mappings in Ontology-based Data Access

Meghyn Bienvenu , Riccardo Rosati
KR: Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa
Conference papers lirmm-01367812v1