| Publication type: |
Article in Proceedings |
| Author: |
Christoph Lange, Till Mossakowski, Oliver Kutz |
| Editor: |
Thomas Schneider, Dirk Walther |
| Title: |
LoLa: A Modular Ontology of Logics, Languages, and Translations |
| Book / Collection title: |
Workshop on modular ontologies |
| Volume: |
875 |
| Series: |
CEUR-WS online proceedings |
| Year published: |
2012 |
| Abstract: |
The Distributed Ontology Language (DOL) is currently being
standardised within the OntoIOp (Ontology Integration and
Interoper ability) activity of ISO/TC 37/SC 3. It aims at
providing a unified framework for ontologies formalised in
heterogeneous logics, modular ontologies, links between
ontologies, and annotation of ontologies.
This paper focuses on building an ontology that formally
describes DOL's vocabulary for logics, ontology languages (and
their serialisations), as well as logic translations, called
LoLa. Interestingly, to adequately formalise the logical
relationships between these notions, LoLa itself needs to be
axiomatised heterogeneously - a task for which we choose
DOL. Namely, we use the logic RDF for Abox assertions, OWL for
basic axiomatisations of various modules concerning logics,
languages, and translations, FOL for capturing certain closure
rules that are not expressible in OWL, and circumscription for
minimising the extension of concepts describing default
translations. |
| Internet: |
http://ceur-ws.org/Vol-875/ |
| PDF Version: |
http://ceur-ws.org/Vol-875/regular_paper_5.pdf |
| Keywords: |
distributed heterogeneous ontology DOL |
| Status: |
Reviewed |
| Last updated: |
04. 09. 2012 |
|
 |
