Conference icon

Conference

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...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


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

Contributors

Role:
Editor
Role:
Editor
Royal Society More from this funder
Engineering and Physical Sciences Research Council More from this funder
European Union More from this funder
Publisher:
AAAI Press Publisher's website
Pages:
1410-1416
Publication date:
2015-01-01
EISSN:
2374-3468
ISSN:
2159-5399
URN:
uuid:66582e16-9d83-42fc-96a9-3d662c6b62d6
Source identifiers:
577295
Local pid:
pubs:577295
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