JOURNAL ARTICLE

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Mark KaminskiYavor NenovBernardo Cuenca Grau

Year: 2016 Journal:   Artificial Intelligence Vol: 236 Pages: 90-118   Publisher: Elsevier BV
Keywords:
Datalog Computer science Rewriting Class (philosophy) Conjunctive query Programming language P Theoretical computer science Time complexity Database Algorithm Artificial intelligence

Metrics

30
Cited By
5.07
FWCI (Field Weighted Citation Impact)
98
Refs
0.98
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Mark KaminskiYavor NenovBernardo Cuenca Grau

Journal:   Proceedings of the AAAI Conference on Artificial Intelligence Year: 2014 Vol: 28 (1)
JOURNAL ARTICLE

Datalog Rewriting Techniques for Non−Horn Ontologies

Mark KaminskiYavor NenovBernardo Cuenca Grau

Journal:   Description Logics Year: 2014 Vol: 1159 (3)Pages: 209-220
JOURNAL ARTICLE

Disjunctive datalog

Thomas EiterGeorg GottlobHeikki Mannila

Journal:   ACM Transactions on Database Systems Year: 1997 Vol: 22 (3)Pages: 364-418
JOURNAL ARTICLE

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Cristina FeierAntti KuusistoCarsten Lutz

Journal:   DOAJ (DOAJ: Directory of Open Access Journals) Year: 2019
© 2026 ScienceGate Book Chapters — All rights reserved.