D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra

Abstract : The goal of this document is to come up with a formalism for ontology modularization, including syntaxes and the fundamental properties of a semantics of such a formalism. Furthermore we introduce operators to create, combine and manipulate ontology modules and give formal definitions for these operators based on the semantics of ontology modules. The definition of the NeOn formalism for modularization and of the operators to manipulate ontology modules are guided by a number of use cases and examples, from NeOn cases studies and other work packages.
Document type :
Complete list of metadatas

Contributor : Florent Breuil <>
Submitted on : Monday, December 14, 2015 - 10:47:55 AM
Last modification on : Thursday, May 2, 2019 - 10:24:38 AM


  • HAL Id : hal-01242833, version 1



Mathieu d'Aquin, Peter Haase, Sebastian Rudolph, Jérôme Euzenat, Antoine Zimmermann, et al.. D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra. [Research Report] Universität Karlsruhe. 2008, 49p. ⟨hal-01242833⟩



Record views