ScholarLens Back to search
2012•University of Birmingham Institutional Research Archive (University of Birmingham)Requires access

LoLa: A Modular Ontology of Logics, Languages, and Translations.

Christoph Lange, Till Mossakowski, Oliver Kutz

Open publisher page 6 citations

Abstract

... ability) activity of ISO/TC 37/SC 3, aims at providing a unified frame-work for (1) ontologies formalised in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) 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 logi-cal 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 OWL4, and cir-cumscription for minimising the extension of concepts describing default translations.

Open-access reader

About this research paper

What this paper is about

... ability) activity of ISO/TC 37/SC 3, aims at providing a unified frame-work for (1) ontologies formalised in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) 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 logi-cal 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 OWL4, and cir-cumscription for minimising the extension of concepts describing default translations.

Why it matters

OpenAlex reports 6 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

... ability) activity of ISO/TC 37/SC 3, aims at providing a unified frame-work for (1) ontologies formalised in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) 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 logi-cal 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 OWL4, and cir-cumscription for minimising the extension of concepts describing default translations.

Key concepts: Web Ontology Language, Ontology, Ontology language, Computer science, Description logic, Ontology components, OWL-S, RDF

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
LoLa: A Modular Ontology of Logics, Languages, and Translations. — Research Paper | ScholarLens