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

Mathieu d'Aquin (1) , Peter Haase (2) , Sebastian Rudolph (3) , Jérôme Euzenat (4) , Antoine Zimmermann (4) , Martin Dzbor , Marta Iglesias , Yves Jacques (5) , Caterina Caracciolo , Carlos Buil Aranda , Gomez Jose Manuel

1 ORPAILLEUR - Knowledge representation, reasonning
2 TH - Universität Karlsruhe
3 Department of Computer Science [Dresden]
4 EXMO - Computer mediated exchange of structured knowledge
5 LTDS - Laboratoire de Tribologie et Dynamique des Systèmes

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.

Domaines: Modélisation et simulation

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⟩