Book icon

Book

Extracting Modules from Ontologies: A Logic−Based Approach

Abstract:

The ability to extract meaningful fragments from an ontology is essential for ontology reuse. 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. We show that the problem of determining whether a subset of an ontology is a module for a given vocabulary is undecidable even for OWL DL. Given these negative results, we propose sufficient conditions for a for a fragment o...

Expand abstract

Actions


Authors


Bernardo Cuenca Grau More by this author
Ian Horrocks More by this author
Yevgeny Kazakov More by this author
Ulrike Sattler More by this author

Contributors

Pages:
159-186
Publication date:
2009
URN:
uuid:0d0d57e7-e71d-4223-b051-8ea829ce2704
Local pid:
cs:3234
ISBN:
978-3-642-01906-7

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