OptiRef: Query Optimization for Knowledge Bases

Autor: Wafaa El Husseini, Cheikh-Brahim El Vaigh, François Goasdoué, Hélène Jaudoin

Publikováno v: WWW 2023-The International World Wide Web Conference 2023
WWW 2023-The International World Wide Web Conference 2023, Apr 2023, Austin, United States. ⟨10.1145/3543873.3587342⟩

International audience; Ontology-mediated query answering (OMQA) consists in asking database queries on a knowledge base (KB); a KB is a set of facts, the KB's database, described by domain knowledge, the KB's ontology. FOL-rewritability is the main

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc10382c879836e0457d538076934f43
https://doi.org/10.1145/3543873.3587342

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Characterizing Boundedness in Chase Variants

Autor: Marie-Laure Mugnier, Michel Leclère, Stathis Delivorias, Federico Ulliana

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⟩

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33fef111f6b142b2a312c772b9b46612
https://doi.org/10.1017/s1471068420000083

Rule-based Languages for Reasoning on Data : Analysis, Design and Applications

Autor: Ulliana, Federico

Publikováno v: Computer Science [cs]. Montpellier University, 2021

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::90385bc88c20cb864eba98c63ee85701
https://hal-lirmm.ccsd.cnrs.fr/tel-03514093/file/hdr_HAL.pdf

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Autor: Bruno Yun, Madalina Croitoru

Publikováno v: ICCS 2020-25th International Conference on Conceptual Structures
ICCS 2020-25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.33-47, ⟨10.1007/978-3-030-57855-8_3⟩
Ontologies and Concepts in Mind and Machine ISBN: 9783030578541
ICCS

International audience; Repair techniques are used for reasoning in presence of inconsistencies. Such techniques rely on optimisations to avoid the computation of all repairs while certain applications need the generation of all repairs. In this pape

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f68d099188f3fa39f21d2ef5e6440282
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466/file/ICCS2020.pdf