Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/owled2007/paper-4> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- paper-4 type InProceedings.
- paper-4 label "Extracting Modules from Ontologies: A Logic-based Approach".
- paper-4 sameAs paper-4.
- paper-4 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 minimal modules. We show that the problem of determining whether a subset of an ontology is a module for a given vocabulary is undecidable for OWL DL. Hence we propose sufficient conditions for an ontology to be a module: if an ontology satisfies our conditions then we can guarantee that it is a module, but not vice-versa. The conditions we present can be checked in polynomial time for OWL DL ontologies. We present our experimental results on a set of real-world ontologies of varying size and complexity. We show that the modules we obtain are much smaller than the ones computed using existing techniques.".
- paper-4 hasAuthorList authorList.
- paper-4 keyword "Description Logics".
- paper-4 keyword "Ontologies".
- paper-4 keyword "Semantic Web".
- paper-4 keyword "Web Ontology Language".
- paper-4 title "Extracting Modules from Ontologies: A Logic-based Approach".