Journal article icon

Journal article

Ontology module extraction via datalog reasoning

Abstract:

Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent years. Extracting modules of minimal size is, however, computationally hard, and often algorithmically infeasible. Thus, practical techniques are based on approximations, where M provably captures the relevant entailments, but is not guaranteed to be minimal. Existing approximations, however, ensure that M preserves al...

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
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Publisher:
Association for the Advancement of Artificial Intelligence Publisher's website
Journal:
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2015 Journal website
Volume:
2015
Pages:
1410-1416
Publication date:
2014-01-01
EISSN:
2374-3468
ISSN:
2159-5399
URN:
uuid:b6acf2c1-e014-4e38-9e8b-be4aa31ae4d3
Source identifiers:
491007
Local pid:
pubs:491007
ISBN:
978-1-57735-698-1

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