Acyclicity notions for existential rules and their application to query answering in ontologies

被引：0
|
作者：
机构：
[1] Grau, Bernardo Cuenca
[2] Horrocks, Ian
[3] Krötzsch, Markus
[4] Kupke, Clemens
[5] Magka, Despoina
[6] Motik, Boris
[7] Wang, Zhe
来源：
| 1600年 / AI Access Foundation卷 / 47期
关键词：
61;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
相关论文
共 50 条
  • [1] Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
    Grau, Bernardo Cuenca
    Horrocks, Ian
    Kroetzsch, Markus
    Kupke, Clemens
    Magka, Despoina
    Motik, Boris
    Wang, Zhe
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 47 : 741 - 808
  • [2] Tractable Query Answering for Expressive Ontologies and Existential Rules
    Carral, David
    Dragoste, Irina
    Krotzsch, Markus
    SEMANTIC WEB - ISWC 2017, PT I, 2017, 10587 : 156 - 172
  • [3] Extending Acyclicity Notions for Existential Rules
    Baget, Jean-Francois
    Garreau, Fabien
    Mugnier, Marie-Laure
    Rocher, Swan
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 39 - +
  • [4] Ontological query answering with existential rules
    University Montpellier 2, France
    Lect. Notes Comput. Sci., (2-23):
  • [5] Fast Query Answering over Existential Rules
    Leone, Nicola
    Manna, Marco
    Terracina, Giorgio
    Veltri, Pierfrancesco
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (02)
  • [6] Graal: A Toolkit for Query Answering with Existential Rules
    Baget, Jean-Francois
    Leclere, Michel
    Mugnier, Marie-Laure
    Rocher, Swan
    Sipieter, Clement
    RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, 2015, 9202 : 328 - 344
  • [7] A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
    Carral, David
    Feier, Cristina
    Hitzler, Pascal
    SEMANTIC WEB - ISWC 2016, PT I, 2016, 9981 : 70 - 85
  • [8] Inconsistency-tolerant query answering for existential rules
    Lukasiewicz, Thomas
    Malizia, Enrico
    Vanina Martinez, Maria
    Molinaro, Cristian
    Pieris, Andreas
    Simari, Gerardo, I
    ARTIFICIAL INTELLIGENCE, 2022, 307
  • [9] Generalized Consistent Query Answering under Existential Rules
    Eiter, Thomas
    Lukasiewicz, Thomas
    Predoiu, Livia
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 359 - 368
  • [10] Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity
    Joseph, Mathew
    Kuper, Gabriel
    Serafini, Luciano
    WEB REASONING AND RULE SYSTEMS, RR 2014, 2014, 8741 : 60 - +
12345