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 :
Reports
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01242833
Contributor : Florent Breuil <>
Submitted on : Monday, December 14, 2015 - 10:47:55 AM
Last modification on : Thursday, May 2, 2019 - 10:24:38 AM

Identifiers

  • HAL Id : hal-01242833, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

290