Search - Archive ouverte HAL Access content directly

Filter your results

23 Results
ANR project: Code decision (reference) : ANR-18-CE23-0003
Image document

Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization

Olivier Rodriguez , Reza Akbarinia , Federico Ulliana
RuleML+RR 2019 - 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. pp.198-206, ⟨10.1007/978-3-030-31095-0_15⟩
Conference papers lirmm-02195593v1
Image document

Counting Queries over ELHI⊥ Ontologies

Meghyn Bienvenu , Quentin Manière , Michaël Thomazo
KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.53-62, ⟨10.24963/kr.2022/6⟩
Conference papers hal-03820249v1
Image document

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

Camille Bourgaux , David Carral , Markus Krötzsch , Sebastian Rudolph , Michaël Thomazo et al.
IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
Conference papers hal-03801049v1
Image document

Revisiting Semiring Provenance for Datalog

Camille Bourgaux , Pierre Bourhis , Liat Peterfreund , Michaël Thomazo
KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.91-101, ⟨10.24963/kr.2022/10⟩
Conference papers hal-03771031v1
Image document

OptiRef: Query Optimization for Knowledge Bases

Wafaa El Husseini , Cheikh Brahim El Vaigh , François Goasdoué , Hélène Jaudoin
WWW 2023 - The International World Wide Web Conference 2023, Apr 2023, Austin, United States. ⟨10.1145/3543873.3587342⟩
Conference papers hal-04023665v1
Image document

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Conference papers lirmm-02148142v1
Image document

Parallelisable Existential Rules: a Story of Pieces

Maxime Buron , Marie-Laure Mugnier , Michaël Thomazo
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
Conference papers hal-03405745v1
Image document

Mixed-World Reasoning with Existential Rules under Active-Domain Semantics

Meghyn Bienvenu , Pierre Bourhis
Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI), Aug 2019, Macao, Macau SAR China. ⟨10.24963/ijcai.2019/216⟩
Conference papers hal-02342129v1
Image document

Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules

Marie-Laure Mugnier
KI - Künstliche Intelligenz, 2020, Ontologies and Data Management -- Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩
Journal articles lirmm-02920670v1
Image document

Provenance for the Description Logic ELHr

Camille Bourgaux , Ana Ozaki , Rafael Peñaloza , Livia Predoiu
IJCAI-PRICAI-20 - Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.1862-1869, ⟨10.24963/ijcai.2020/258⟩
Conference papers hal-02899464v1
Image document

Parallelisable Existential Rules: a Story of Pieces

Maxime Buron , Marie-Laure Mugnier , Michaël Thomazo
BDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France
Conference papers hal-03896402v1
Image document

Ontology-Based RDF Integration of Heterogeneous Data

Maxime Buron , François Goasdoué , Ioana Manolescu , Marie-Laure Mugnier
EDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. pp.299-310, ⟨10.5441/002/edbt.2020.27⟩
Conference papers hal-02446427v1
Image document

Complexity Landscape for Counting Queries

Meghyn Bienvenu , Quentin Manière , Michaël Thomazo
35th International Workshop on Description Logics, 2022, Haifa, Israel
Conference papers hal-03896410v1
Image document

Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report

Meghyn Bienvenu
Proceedings of the 32nd International Workshop on Description Logics, Jun 2019, Oslo, Norway
Conference papers hal-02342174v1
Image document

Towards Faster Reformulation-based Query Answering on RDF Graphs with RDFS Ontologies

Maxime Buron , Cheikh Brahim El Vaigh , François Goasdoué
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
Conference papers hal-03347679v1
Image document

Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Camille Bourgaux , David Carral , Markus Krötzsch , Sebastian Rudolph , Michaël Thomazo et al.
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩
Conference papers lirmm-03345614v1
Image document

CONSTRUCT Queries Performance on a Spark-Based Big RDF Triplestore

Adam Sanchez-Ayte , Fabrice Jouanot , Marie-Christine Rousset
European Semantic Web Conference, May 2022, Hersonissos (Crete), Greece. pp.444-460, ⟨10.1007/978-3-031-06981-9_26⟩
Conference papers hal-03979676v1
Image document

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.
[Research Report] LIRMM (UM, CNRS). 2020
Reports lirmm-02920624v1
Image document

Ontology-Mediated Query Answering: Performance Challenges and Advances

Wafaa El Husseini , Cheikh Brahim El Vaigh , François Goasdoué , Hélène Jaudoin
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
Conference papers hal-03347688v1
Image document

Cardinality Queries over DL-Lite Ontologies

Meghyn Bienvenu , Quentin Manière , Michaël Thomazo
IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Aug 2021, Montreal, Canada
Conference papers hal-03405769v1
Image document

Equivalent Rewritings on Path Views with Binding Patterns

Julien Romero , Nicoleta Preda , Antoine Amarilli , Fabian M. Suchanek
17th Extended Semantic Web Conference, ESWC 2020, Mar 2020, Online, France. pp.446-462, ⟨10.1007/978-3-030-49461-2_26⟩
Conference papers hal-02876611v1
Image document

Towards Speeding Up Graph-Relational Queries in RDBMSs

Angelos Christos Anadiotis , François Goasdoué , Mhd Yamen Haddad , Ioana Manolescu
BDA 2022 - 38èmes journées de la conférence BDA « Gestion de Données – Principes, Technologies et Applications, Oct 2022, Clermont-Ferrand, France
Conference papers hal-03791272v1
Image document

A Well-founded Graph-based Summarization Framework for Description Logics

Cheikh Brahim El Vaigh , François Goasdoué
International worshop on Description Logics, Sep 2021, Bratislava, Slovakia
Conference papers hal-03347664v1