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

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
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
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
Source identifiers:
491007
ISBN:
9781577356981
Keywords:
Pubs id:
pubs:491007
UUID:
uuid:b6acf2c1-e014-4e38-9e8b-be4aa31ae4d3
Local pid:
pubs:491007
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