Report icon

Report

Extracting Modules from Ontologies: Theory and Practice

Abstract:

The ability to extract meaningful fragments from an ontology is essential for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a given set of terms, i.e., to include all axioms relevant to the meaning of these terms, and study the problem of extracting minimally sized modules. We show that the problem of determining whether a subset of an ontology is a module for a given vocabulary is undecidable even for rather restricted sub-languages...

Expand abstract

Actions


Authors


Cuenca Grau More by this author
Ian Horrocks More by this author
Yevgeny Kazakov More by this author
Ulrike Sattler More by this author
Publisher:
The University of Manchester
Publication date:
2007-02-01
URN:
uuid:1da394b9-ebb6-48d1-8eb4-6fd5938766b0
Local pid:
cs:882

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