Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Marie-laure Mugnier"'
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, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
KR 2022-19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
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
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03762686
Autor:
Marie-Laure Mugnier
Publikováno v:
KI-Künstliche Intelligenz
KI-Künstliche Intelligenz, Springer Nature, 2020, Ontologies and Data Management--Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩
KI-Künstliche Intelligenz, 2020, Ontologies and Data Management--Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩
KI-Künstliche Intelligenz, Springer Nature, 2020, Ontologies and Data Management--Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩
KI-Künstliche Intelligenz, 2020, Ontologies and Data Management--Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩
International audience; Two main families of ontology languages are considered in the context of data access, namely Horn description logics and existential rules. In this paper, we review the semantic relationships between these families in the ligh
Publikováno v:
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩
Theory and Practice of Logic Programming, 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩
Theory and Practice of Logic Programming, 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩
Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family of languages has recently attracted significant interest in the context
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
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
Publikováno v:
SSWS 2020-13th International Workshop on Scalable Semantic Web Knowledge Base Systems
SSWS 2020-13th International Workshop on Scalable Semantic Web Knowledge Base Systems, Nov 2020, Athène, Greece
HAL
SSWS 2020-13th International Workshop on Scalable Semantic Web Knowledge Base Systems, Nov 2020, Athène, Greece
HAL
International audience; The performance of query answering in an RDF database strongly depends on the data layout, that is, the way data is split in persistent data structures. We consider answering Basic Graph Pattern Queries (BGPQs), and in particu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6bbe923c880610b2892054ac60accaa3
https://inria.hal.science/hal-02921457/document
https://inria.hal.science/hal-02921457/document
Publikováno v:
A Guided Tour of Artificial Intelligence Research
A Guided Tour of Artificial Intelligence Research, pp.185-215, 2020, Volume I: Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_6⟩
A Guided Tour of Artificial Intelligence Research ISBN: 9783030061630
A Guided Tour of Artificial Intelligence Research, pp.185-215, 2020, Volume I: Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_6⟩
A Guided Tour of Artificial Intelligence Research ISBN: 9783030061630
International audience; This chapter considers the notion of a formal ontology, which is a conceptual vocabulary equipped with a logical semantics. Three families of knowledge representation and reasoning formalisms that put ontologies at the core of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f93254bf589a0269a830328855c7066
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020/document
Publikováno v:
EDBT/ICDT 2020-23rd International Conference on Extending Database Technology
EDBT/ICDT 2020-23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark
[Technical Report] LIX, Ecole polytechnique; Inria Saclay. 2019
HAL
Advances in Database Technology-EDBT 2020, 23rd International Conference on Extending Database Technology, Copenhagen, Denmark, March 30-April 02, Proceedings
EDBT 2020-23rd International Conference on Extending Database Technology
EDBT 2020-23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. pp.299-310, ⟨10.5441/002/edbt.2020.27⟩
EDBT/ICDT 2020-23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark
[Technical Report] LIX, Ecole polytechnique; Inria Saclay. 2019
HAL
Advances in Database Technology-EDBT 2020, 23rd International Conference on Extending Database Technology, Copenhagen, Denmark, March 30-April 02, Proceedings
EDBT 2020-23rd International Conference on Extending Database Technology
EDBT 2020-23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. pp.299-310, ⟨10.5441/002/edbt.2020.27⟩
International audience; The proliferation of heterogeneous data sources in many application contexts brings an urgent need for expressive and efficient data integration mechanisms. There are strong advantages to using RDF graphs as the integration fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a05489cb9f86a357d7298a2c565fa767
https://hal.inria.fr/hal-02446427
https://hal.inria.fr/hal-02446427
Autor:
Sophie Tison, Marie-Laure Mugnier, Lily Gallois, Michel Leclère, Federico Ulliana, 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. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
IJCAI
HAL
[Research Report] LIRMM (UM, CNRS). 2020
28th nternational Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
IJCAI
HAL
[Research Report] LIRMM (UM, CNRS). 2020
28th nternational Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure , that is independent from the initial instance. By focussing our attention on the obliv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81b5688c7aefabe3e3a33e5416847a5d
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/document
Publikováno v:
16th European Semantic Web Conference
ESWC 2019-European Semantic Web Conference
ESWC 2019-European Semantic Web Conference, Jun 2019, Portoroz, Slovenia
HAL
16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
ESWC 2019-16th European Semantic Web Conference
ESWC 2019-16th European Semantic Web Conference, Jun 2019, Portoroz, Slovenia. pp.19-35, ⟨10.1007/978-3-030-21348-0_2⟩
The Semantic Web ISBN: 9783030213473
ESWC
ESWC 2019-European Semantic Web Conference
ESWC 2019-European Semantic Web Conference, Jun 2019, Portoroz, Slovenia
HAL
16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
ESWC 2019-16th European Semantic Web Conference
ESWC 2019-16th European Semantic Web Conference, Jun 2019, Portoroz, Slovenia. pp.19-35, ⟨10.1007/978-3-030-21348-0_2⟩
The Semantic Web ISBN: 9783030213473
ESWC
International audience; Query answering in RDF knowledge bases has traditionally been performed either through graph saturation, i.e., adding all implicit triples to the graph, or through query reformulation, i.e., modifying the query to look for the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::912945e93e97c4e577e04ef2377db48c
https://hal.archives-ouvertes.fr/hal-02051413
https://hal.archives-ouvertes.fr/hal-02051413
Publikováno v:
ICDT 2019-22nd International Conference on Database Theory
ICDT 2019-22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
[Research Report] arXiv:1810.02132. 2018
Proceedings of the 31st International Workshop on Description Logicsco-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
31st International Workshop on Description Logics (DL)
31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Scopus-Elsevier
HAL
ICDT 2019-22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
[Research Report] arXiv:1810.02132. 2018
Proceedings of the 31st International Workshop on Description Logicsco-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
31st International Workshop on Description Logics (DL)
31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Scopus-Elsevier
HAL
Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering. A knowled
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b351e12982adbdffe9936f9fdf1b7d70
https://doi.org/10.4230/lipics.icdt.2019.18
https://doi.org/10.4230/lipics.icdt.2019.18