Conference item icon

Conference item

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

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
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 Publisher's website
Volume:
2015-January
Pages:
3091-3097
Host title:
IJCAI - International Joint Conferences on Artificial Intelligence
Publication date:
2015-01-01
Acceptance date:
2015-04-20
ISSN:
1045-0823
Source identifiers:
518868
ISBN:
9781577357384
Keywords:
Pubs id:
pubs:518868
UUID:
uuid:68a4198f-89a7-4fe9-b0ff-347660b17a21
Local pid:
pubs:518868
Deposit date:
2016-02-26

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