Výsledky vyhledávání - "Michaël Thomazo"

Complexity Landscape for Counting Queries

Autor: Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

Publikováno v: Proceedings of the 35th International Workshop on Description Logics
35th International Workshop on Description Logics
35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
HAL

International audience; We summarize our recent work [1] on extending the study of counting queries to Horn description logics outside the DL-Lite family.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::abaf8d962feba8d7bac0a66a17d3cdda
https://inria.hal.science/hal-03896410

Zobrazit plný text záznamu

Counting Queries over ELHI⊥ Ontologies

Autor: Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

Publikováno v: KR 2022-19th International Conference on Principles of Knowledge Representation and Reasoning
KR 2022-19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.53-62, ⟨10.24963/kr.2022/6⟩

International audience; While ontology-mediated query answering most often adopts (unions of) conjunctive queries as the query language, some recent works have explored the use of counting queries coupled with DL-Lite ontologies. The aim of the prese

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f095395df9811f32618ff96dbea78c99
https://hal.science/hal-03820249/file/kr2022-0006-bienvenu-et-al.pdf

Zobrazit plný text záznamu

Normalisations of Existential Rules: Not so Innocuous!

Autor: David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo

Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common assumption is th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::627c0cf3a04dc0193dcd50ae94541983
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03762686

Zobrazit plný text záznamu

Revisiting Semiring Provenance for Datalog

Autor: Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo

Data provenance consists in bookkeeping meta information during query evaluation, in order to enrich query results with their trust level, likelihood, evaluation cost, and more. The framework of semiring provenance abstracts from the specific kind of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61834353fe456951d52628cf0971952f
https://hal.science/hal-03771031

Zobrazit plný text záznamu

Parallelisable Existential Rules: a Story of Pieces

Autor: Marie-Laure Mugnier, Michaël Thomazo, Maxime Buron

Publikováno v: KR
KR 2021-18th International Conference on Principles of Knowledge Representation and Reasoning
KR 2021-18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam
KR 2021-18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
BDA 2022-38ème journée "Gestion de Données – Principes, Technologies et Applications"
BDA 2022-38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France

In this paper, we consider existential rules, an expressive formalism well adapted to the representation of ontological knowledge, as well as data-to-ontology mappings in the context of ontology-based data integration. The chase is a fundamental tool

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b06cd35bae16f4e3839e12ce2f3ec0d3
https://doi.org/10.24963/kr.2021/16

Zobrazit plný text záznamu

Cardinality Queries over DL-Lite Ontologies

Autor: Meghyn Bienvenu, Michaël Thomazo, Quentin Manière

Publikováno v: IJCAI 2021-30th International Joint Conference on Artificial Intelligence
IJCAI 2021-30th International Joint Conference on Artificial Intelligence, Aug 2021, Montreal, Canada
IJCAI
HAL

International audience; Ontology-mediated query answering (OMQA) employs structured knowledge and automated reasoning in order to facilitate access to incomplete and possibly heterogeneous data. While most research on OMQA adopts (unions of) conjunct

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::268093fc86b169f96c17e6a9be078c1f
https://inria.hal.science/hal-03405769/file/main.pdf

Zobrazit plný text záznamu

Answering Counting Queries over DL-Lite Ontologies

Autor: Quentin Manière, Michaël Thomazo, Meghyn Bienvenu

Publikováno v: IJCAI 2020-Twenty-Ninth International Joint Conference on Artificial Intelligence
IJCAI 2020-Twenty-Ninth International Joint Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan
HAL
IJCAI

Reportée de juillet 2020 à janvier 2021 en raison de la COVID; International audience; Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d544babbd13ba111506b28d3ff51cab
https://hal.inria.fr/hal-02927913

Zobrazit plný text záznamu

On Boolean combinations forming piecewise testable languages

Autor: Tomáš Masopust, Michaël Thomazo

Publikováno v: Theoretical Computer Science. 682:165-179

A regular language is k-piecewise testable (k-PT) if it is a Boolean combination of languages of the form L a 1 a 2 … a n = Σ ⁎ a 1 Σ ⁎ a 2 Σ ⁎ ⋯ Σ ⁎ a n Σ ⁎ , where a i ∈ Σ and 0 ≤ n ≤ k . Given a finite automaton A , if th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f733201a906602b3ddf83d4353c8e143
https://doi.org/10.1016/j.tcs.2017.01.017

Zobrazit plný text záznamu

Reasoning about disclosure in data integration in the presence of source constraints

Autor: Louis Jachiet, Michael Benedikt, Michaël Thomazo, Pierre Bourhis

Publikováno v: IJCAI 2019-28th International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
IJCAI

International audience; Data integration systems allow users to access data sitting in multiple sources by means of queries over a global schema, related to the sources via mappings. Data sources often contain sensitive information, and thus an analy

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39616e08320bc09aa813ea63cb4ee3d0
https://ora.ox.ac.uk/objects/uuid:4ef5cb0b-46bb-4660-88b1-38904eb2c440

Zobrazit plný text záznamu

On the Height of Towers of Subsequences and Prefixes

Autor: Štěpán Holub, Michaël Thomazo, Tomáš Masopust

Publikováno v: Information and Computation
Information and Computation, 2019, ⟨10.1016/j.ic.2019.01.004⟩
Information and Computation, Elsevier, 2019, ⟨10.1016/j.ic.2019.01.004⟩

International audience; A tower is a sequence of words alternating between two languages in such a way that every word is a subsequence of the following word. The height of the tower is the number of words in the sequence. If there is no infinite tow

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af87dbb40122f7d3384c0600d99187d0
https://inria.hal.science/hal-02269576/document

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání