| Publication type: |
Article in Proceedings |
| Author: |
Till Mossakowski, Christoph Lange, Oliver Kutz |
| Editor: |
Maureen Donnelly, Giancarlo Guizzardi |
| Title: |
Three Semantics for the Core of the Distributed Ontology Language |
| Book / Collection title: |
FOIS 2012: 7th International Conference on Formal Ontology in Information Systems |
| Page(s): |
337 – 352 |
| Year published: |
2012 |
| Publisher: |
IOS Press, Amsterdam |
| Abstract: |
The Distributed Ontology Language DOL, which is currently being standardised as ISO WD 17347 within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3, aims at providing a unified framework for
* ontologies formalised in heterogeneous logics,
* modular ontologies,
* links between ontologies, and
* annotation of ontologies.
A DOL ontology consists of modules formalised in basic ontology languages, such as OWL or Common Logic, which are serialised in the existing syntaxes of these languages. On top of this, DOL provides a meta-level which allows for expressing heterogeneous ontologies and links between ontologies. Such links include (heterogeneous) imports and alignments, conservative extensions, and theory interpretations.
This paper focuses on the abstract syntax and semantics of these meta-level constructs. It introduces three alternative semantics for the meta-level, namely direct, translational, and collapsed semantics (the latter is only briefly sketched), and studies their respective pros and cons. |
| Internet: |
http://www.iospress.nl/book/formal-ontology-in-information-systems-6/ |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/DOLsemantics.pdf |
| Keywords: |
ontology language heterogeneous semantics translation |
| Note / Comment: |
Best paper award |
| Status: |
Reviewed |
| Last updated: |
04. 09. 2012 |
|
 |
