Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau

doi:10.1016/j.artint.2016.03.006

ScienceGate Book Chapters

JOURNAL ARTICLE

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Mark Kaminski Yavor Nenov Bernardo Cuenca Grau

Year: 2016 Journal: Artificial Intelligence Vol: 236 Pages: 90-118 Publisher: Elsevier BV

DOI: 10.1016/j.artint.2016.03.006

Get Full-Text PDF Get Analytical Report

Keywords:

Datalog Computer science Rewriting Class (philosophy) Conjunctive query Programming language P Theoretical computer science Time complexity Database Algorithm Artificial intelligence

Metrics

Cited By

5.07

FWCI (Field Weighted Citation Impact)

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

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Metrics

Citation History

Topics

Related Documents

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

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies

Datalog Rewriting Techniques for Non−Horn Ontologies

Disjunctive datalog

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