Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/www2007/paper/main/433> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 433 creator bernardo-cuenca-grau.
- 433 creator ian-horrocks.
- 433 creator ulrike-sattler.
- 433 creator yevgeny-kazakov.
- 433 type InProceedings.
- 433 label "Just the Right Amount: Extracting Modules from Ontologies".
- 433 sameAs 433.
- 433 abstract "The ability to extract meaningful fragments from an ontology is key 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 deciding if a module is minimal is undecidable even for rather restricted sub-languages of OWL DL. Hence we propose two ``approximations'', i.e., alternative definitions of modules for a vocabulary that still provide the above guarantee, but that are possibly too strict, and that may thus result in larger modules: the first approximation is semantic and can be checked using existing DL reasoners; the second is syntactic, and can be computed in polynomial time. Finally, we report on an empirical evaluation of our syntactic approximation that demonstrates that the modules we extract are surprisingly small.".
- 433 hasAuthorList authorList.
- 433 isPartOf proceedings.
- 433 title "Just the Right Amount: Extracting Modules from Ontologies".