| Publication type: |
Article in Proceedings |
| Author: |
Till Mossakowski, Oliver Kutz, Christoph Lange |
| Editor: |
Francesca Rossi |
| Title: |
Three Semantics for the Core of the Distributed Ontology Language |
| Book / Collection title: |
IJCAI 2013 |
| Year published: |
2013 |
| Abstract: |
The Distributed Ontology Language DOL, currently being standardized as ISO WD 17347 within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37, provides a unified framework for
ontologies formalized in heterogeneous logics,
modular ontologies,
links between ontologies, and
ontology annotation.
A DOL ontology consists of modules formalized in languages such as OWL or Common Logic, serialized in the existing syntaxes of these languages. On top, DOL's meta level allows for expressing heterogeneous ontologies and links between ontologies, including (heterogeneous) imports and alignments, conservative extensions, and theory interpretations. We present the abstract syntax of these meta-level constructs, with three alternative semantics: direct, translational, and collapsed semantics. |
| Internet: |
http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6611 |
| Keywords: |
Distributed Ontology Language DOL semantics |
| Note / Comment: |
IJCAI 2013 track on Best Papers in Sister Conferences |
| Status: |
Reviewed |
| Last updated: |
17. 01. 2014 |
|
 |
