D1.1.4: NeOn Formalism for Modularization: Implementation and Evaluation - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2008

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01242824 , version 1 (14-12-2015)

Identifiants

  • HAL Id : hal-01242824 , version 1

Citer

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⟩
98 Consultations
0 Téléchargements

Partager

More