| Autor: |
d'Aquin, Mathieu, Haase, Peter, Rudolph, Sebastian, Euzenat, Jérôme, Zimmermann, Antoine, Dzbor, Martin, Iglesias, Marta, Jacques, Yves, Caracciolo, Caterina, Buil Aranda, Carlos, Jose Manuel, Gomez |
| Přispěvatelé: |
Knowledge representation, reasonning (ORPAILLEUR), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP), Universität Karlsruhe (TH), Department of Computer Science [Dresden], Technische Universität Dresden = Dresden University of Technology (TU Dresden), Computer mediated exchange of structured knowledge (EXMO), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria Grenoble - Rhône-Alpes, Laboratoire de Tribologie et Dynamique des Systèmes (LTDS), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-École Nationale des Travaux Publics de l'État (ENTPE)-Ecole Nationale d'Ingénieurs de Saint Etienne-Centre National de la Recherche Scientifique (CNRS), Universität Karlsruhe, NeOn Integrated Project EU-IST-027595, Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université de Lyon-Université de Lyon-École Nationale des Travaux Publics de l'État (ENTPE)-Ecole Nationale d'Ingénieurs de Saint Etienne (ENISE)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]) |
| Jazyk: |
angličtina |
| Rok vydání: |
2008 |
| Předmět: |
|
| Zdroj: |
[Research Report] Universität Karlsruhe. 2008, 49p |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
