D1.1.4: NeOn Formalism for Modularization: Implementation and Evaluation

Mathieu d'Aquin 1 Peter Haase 2 Chan Le Duc 3 Antoine Zimmermann 4
1 ORPAILLEUR - Knowledge representation, reasonning
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : The topic of ontology modularization corresponds to a variety of tasks including the design of modular ontologies and the modularization of existing ontologies. In a previous deliverable, we defined the formal foundation for the support of some of these activities within NeOn, in the form of a formalism and a set of operators for defining, creating, combining and manipulating modules. In this document, we describe the implementation of a set of plugins for the NeOn Toolkit, particularly focusing on the task of specifying modules, combining modules, partitioning ontologies into a set of modules and extracting modules from ontologies. This set of interoperable plugins provide an interactive environment for ontology engineers to cope with ontology modularization. Other aspects related to ontology modularization, namely methodologies and reasoning for modular ontologies, will be treated in different deliverables and are therefore only briefly considered in this document.
Document type :
Complete list of metadatas

Contributor : Florent Breuil <>
Submitted on : Monday, December 14, 2015 - 10:37:24 AM
Last modification on : Friday, May 3, 2019 - 1:37:29 AM


  • HAL Id : hal-01242824, version 1



Mathieu d'Aquin, Peter Haase, Chan Le Duc, Antoine Zimmermann. D1.1.4: NeOn Formalism for Modularization: Implementation and Evaluation. [Research Report] Universität Karlsruhe. 2008, 44p. ⟨hal-01242824⟩



Record views