Book section icon

Book section

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies

Abstract:

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 admits polynomial rewritings into datalog. Markability naturally extends to SHI ontologies, and markable ontologies admit (possibly exponential) datalog rewritings. We then turn our attention to resolution-...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-11113-1_6

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Oxford college:
Oriel College
Role:
Author
More from this funder
Funding agency for:
Kaminski, M
Grant:
EP/J020214/1
More from this funder
Funding agency for:
Nenov, Y
Grant:
EP/J020214/1
More from this funder
Funding agency for:
Cuenca Grau, B
Grant:
EP/J020214/1
Royal Society More from this funder
Engineering and Physical Sciences Research Council More from this funder
Expand funders...
Publisher:
Springer International Publishing Publisher's website
Volume:
8741
Pages:
76-91
Host title:
Web Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Publication date:
2014-01-01
DOI:
ISSN:
0302-9743
ISBN:
9783319111124
Language:
English
Keywords:
Subjects:
UUID:
uuid:25c132ad-f585-49c3-a2fb-0e858be6bff1
Local pid:
ora:9558
Deposit date:
2014-12-10

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP