Modular Reuse of Ontologies: Theory and Practice

Abstract

In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions of conservative extension, safety and module for a very general class of logic-based ontology languages. We investigate the general properties of and relationships between these notions and study the relationships between the relevant reasoning problems we have previously identified. To study the computability of these problems, we consider, in particular, Description Logics (DLs), which provide the formal underpinning of the W3C Web Ontology Language (OWL), and show that all the problems we consider are undecidable or algorithmically unsolvable for the description logic underlying OWL DL. In order to achieve a practical solution, we identify conditions sufficient for an ontology to reuse a set of symbols “safely”—that is, without changing their meaning. We provide the notion of a safety class, which characterizes any sufficient condition for safety, and identify a family of safety classes–called locality—which enjoys a collection of desirable properties. We use the notion of a safety class to extract modules from ontologies, and we provide various modularization algorithms that are appropriate to the properties of the particular safety class in use. Finally, we show practical benefits of our safety checking and module extraction algorithms.

DOI: 10.1613/jair.2375

Extracted Key Phrases

12 Figures and Tables

02040602008200920102011201220132014201520162017
Citations per Year

391 Citations

Semantic Scholar estimates that this publication has 391 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Grau2008ModularRO, title={Modular Reuse of Ontologies: Theory and Practice}, author={Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler}, journal={J. Artif. Intell. Res.}, year={2008}, volume={31}, pages={273-318} }