Conference icon

Conference

Computing horn rewritings of description logics ontologies

Abstract:

We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to reasoning techniques ensuring tractability in data complexity. After showing undecidability whenever L1 extends ALCF, we focus on devising efficiently checkable conditions that ensure existence of a Horn rewriting. By lifting existing techniques for rewrit...

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
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Royal Society More from this funder
Engineering and Physical Sciences Research Council More from this funder
Seventh Framework Programme More from this funder
Publisher:
International Joint Conferences on Artificial Intelligence
Volume:
2015-January
Pages:
3091-3097
Publication date:
2015
ISSN:
1045-0823
URN:
uuid:68a4198f-89a7-4fe9-b0ff-347660b17a21
Source identifiers:
518868
Local pid:
pubs:518868
ISBN:
978-1-57735-738-4
Keywords:

Terms of use


Metrics



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

TO TOP