Journal article icon

Journal article

Datalog rewriting techniques for non-Horn 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
Version:
Accepted Manuscript

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Research group:
Information Systems Group
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Research group:
Information Systems Group
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Research group:
Information Systems Group
Oxford college:
Oriel College
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Role:
Author
More from this funder
Funding agency for:
Mark Kaminski
More from this funder
Funding agency for:
Yavor Nenov
Royal Society More from this funder
Engineering and Physical Sciences Research Council More from this funder
Expand funders...
Publisher:
CEUR Workshop Proceedings Publisher's website
Journal:
Informal Proceedings of the 27th International Workshop on Description Logics Journal website
Volume:
1193
Pages:
209-220
Publication date:
2014-07-05
ISSN:
1613-0073
URN:
uuid:b52bfd8c-d3b5-4f51-81b1-beca98e93114
Local pid:
ora:9559

Terms of use


Metrics


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