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

Actions


Access Document


Files:

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
Engineering and Physical Sciences Research Council More from this funder
More from this funder
Funding agency for:
Kaminski, M
Grant:
EP/J020214/1
More from this funder
Funding agency for:
Cuenca Grau, B
Grant:
EP/J020214/1
More from this funder
Funding agency for:
Nenov, Y
Grant:
EP/J020214/1
Royal Society 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-01
ISSN:
1613-0073
Language:
English
Keywords:
Subjects:
UUID:
uuid:b52bfd8c-d3b5-4f51-81b1-beca98e93114
Local pid:
ora:9559
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