Show simple item record

dc.contributor.authorMossakowski, T
dc.contributor.authorLange, C
dc.contributor.authorKutz, O
dc.contributor.editorDonnelly, M
dc.contributor.editorGuizzardi, G
dc.date.accessioned2017-05-19T15:09:38Z
dc.date.available2017-05-19T15:09:38Z
dc.date.issued2012
dc.identifier.isbn978-1-61499-083-3
dc.identifier.urihttp://dx.doi.org/10.3233/978-1-61499-084-0-337
dc.identifier.urihttp://hdl.handle.net/10863/2214
dc.description.abstractThe Distributed Ontology Language DOL, which is currently being standardised as ISO WD 17347 within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3, aims at providing a unified framework for (1) ontologies formalised in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. A DOL ontology consists of modules formalised in basic ontology languages, such as OWL or Common Logic, which are serialised in the existing syntaxes of these languages. On top of this, DOL provides a meta-level which allows for expressing heterogeneous ontologies and links between ontologies. Such links include (heterogeneous) imports and alignments, conservative extensions, and theory interpretations. This paper focuses on the abstract syntax and semantics of these meta-level constructs. It introduces three alternative semantics for the meta-level, namely direct, translational, and collapsed semantics (the latter is only briefly sketched), and studies their respective pros and cons.en_US
dc.language.isoenen_US
dc.publisherIOS Pressen_US
dc.relation.ispartofseriesFrontiers in Artificial Intelligence and Applications;
dc.titleThree Semantics for the Core of the Distributed Ontology Languageen_US
dc.typeBook chapteren_US
dc.date.updated2016-02-25T14:20:30Z
dc.publication.titleFormal Ontology in Information Systems: Proceedings of the Seventh International Conference (FOIS 2012), Graz, Austria, July 24-27, 2012
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record