D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra
Mathieu d’Aquin, Peter N. Haase, Sebastian Rudolph, Jérôme Euzenat, Antoine Zimmermann, Martin Džbor, Marta Iglesias, Yves Jacques, Caterina Caracciolo, Carlos Buil Aranda, Gomez Jose Manuel · HAL (Le Centre pour la Communication Scientifique Directe) · 2008
The goal of this document is to come up with a formalism for ontology modularization, including syntaxes andthe 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 semanticsof ontology modules. The definition of the NeOn formalism for modularization and of the operators to manipulateontology modules are guided by a number of use cases and examples, from NeOn cases studies and other workpackages.