ePrints Repository

LoLa: a modular ontology of logics, languages and translations

Lange, Christoph and Mossakowski, Till and Kutz, Oliver (2012) LoLa: a modular ontology of logics, languages and translations. In: Modular Ontologies, 2012-07-24, Graz, Austria.

Loading
PDF (696Kb)Published Version

URL of Published Version: http://CEUR-WS.org/Vol-875/

The Distributed Ontology Language (DOL), currently being standardised within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3, aims at providing a unified framework for (i) ontologies formalised in heterogeneous logics, (ii) modular ontologies, (iii) links between ontologies, and (iv) annotation of ontologies.

This paper focuses on the LoLa ontology, which formally describes DOL's vocabulary for logics, ontology languages (and their serialisations), as well as logic translations. 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 (For the sake of tool availability it is still helpful not to map everything to FOL.), and circumscription for minimising the extension of concepts describing default translations.

Type of Work:Conference or Workshop Item
Date:2012 (Publication)
School/Faculty:Colleges (2008 onwards) > College of Engineering & Physical Sciences
Department:School of Computer Science
Subjects:BC Logic
QA75 Electronic computers. Computer science
Institution:University of Birmingham, Research Centre on Spatial Cognition, University of Bremen, DFKI GmbH Bremen
Copyright Holders:University of Birmingham
ID Code:1242
Refereed:YES
Export Reference As : ASCII + BibTeX + Dublin Core + EndNote + HTML + METS + MODS + OpenURL Object + Reference Manager + Refer + RefWorks
Share this item :
QR Code for this page

Repository Staff Only: item control page