Three semantics for the core of the distributed ontology language (extended abstract)

Authors:
Till Mossakowski;Christoph Lange;Oliver Kutz
Affiliations:
Research Center on Spatial Cognition, University of Bremen and DFKI GmbH Bremen, Germany;University of Birmingham, UK;Research Center on Spatial Cognition, University of Bremen, Germany
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 6
Cited 0

Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Higher-Order Logic and Theorem Proving for Structured Specifications

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
ε-connections of abstract description systems

Artificial Intelligence
Conservative extensions in expressive description logics

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Deciding inseparability and conservative extensions in the description logic EL

Journal of Symbolic Computation
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

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 (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) 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.