Computing datalog rewritings for disjunctive datalog programs and description logic ontologies

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies

<p>We study the closely related problems of rewriting disjunctive datalog programs and non-Horn DL ontologies into plain datalog programs that entail the same facts for every dataset. We first propose the class of markable disjunctive datalog programs, which is efficiently recognisable and adm...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Kaminski, M, Nenov, Y, Grau, BC
Định dạng: Conference item
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2014
Những chủ đề:
Artificial Intelligence
Computer Science
Knowledge Representation and Reasoning

Những quyển sách tương tự

Những quyển sách tương tự