D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra
Résumé
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.