Semantics of the distributed ontology language: Institutes and Institutions
T. Mossakowski, O. Kutz, и C. Lange. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 212-230. Springer, (2013)
Аннотация
The Distributed Ontology Language (DOL) is a recent development
within the ISO standardisation initiative 17347 Ontology Integration and
Interoperability (OntoIOp). In DOL, heterogeneous and distributed
ontologies can be expressed, i.e. ontologies that are made up of parts written in ontology languages based on various logics. In order to make the DOL meta-language and its semantics more easily accessible to
the wider ontology community, we have developed a notion of
institute which are like institutions but with signature
partial orders and based on standard set-theoretic semantics rather than category theory. We give an institute-based semantics for the kernel of DOL
and show that this is compatible with institutional semantics. Moreover, as it turns out, beyond their greater simplicity, institutes have some further surprising advantages over institutions.
%0 Conference Paper
%1 MossakowskiEtAl13a
%A Mossakowski, Till
%A Kutz, Oliver
%A Lange, Christoph
%B Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012
%D 2013
%E Martí-Oliet, Narciso
%E Palomino, Miguel
%I Springer
%K DOL institute institution ontologiy semantics
%P 212-230
%T Semantics of the distributed ontology language: Institutes and Institutions
%U http://link.springer.com/chapter/10.1007/978-3-642-37635-1_13
%V 7841
%X The Distributed Ontology Language (DOL) is a recent development
within the ISO standardisation initiative 17347 Ontology Integration and
Interoperability (OntoIOp). In DOL, heterogeneous and distributed
ontologies can be expressed, i.e. ontologies that are made up of parts written in ontology languages based on various logics. In order to make the DOL meta-language and its semantics more easily accessible to
the wider ontology community, we have developed a notion of
institute which are like institutions but with signature
partial orders and based on standard set-theoretic semantics rather than category theory. We give an institute-based semantics for the kernel of DOL
and show that this is compatible with institutional semantics. Moreover, as it turns out, beyond their greater simplicity, institutes have some further surprising advantages over institutions.
@inproceedings{MossakowskiEtAl13a,
abstract = { The Distributed Ontology Language (DOL) is a recent development
within the ISO standardisation initiative 17347 Ontology Integration and
Interoperability (OntoIOp). In DOL, heterogeneous and distributed
ontologies can be expressed, i.e. ontologies that are made up of parts written in ontology languages based on various logics. In order to make the DOL meta-language and its semantics more easily accessible to
the wider ontology community, we have developed a notion of
institute which are like institutions but with signature
partial orders and based on standard set-theoretic semantics rather than category theory. We give an institute-based semantics for the kernel of DOL
and show that this is compatible with institutional semantics. Moreover, as it turns out, beyond their greater simplicity, institutes have some further surprising advantages over institutions.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, Till and Kutz, Oliver and Lange, Christoph},
biburl = {https://www.bibsonomy.org/bibtex/22be876f614ef082cb3275e105cc7a470/tillmo},
booktitle = {Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012},
editor = {Mart{\'i}-Oliet, Narciso and Palomino, Miguel},
interhash = {871b340678af0bc6d0d283bebd38a48a},
intrahash = {2be876f614ef082cb3275e105cc7a470},
keywords = {DOL institute institution ontologiy semantics},
pages = {212-230},
pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/institutes.pdf},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Semantics of the distributed ontology language: Institutes and Institutions},
url = {http://link.springer.com/chapter/10.1007/978-3-642-37635-1_13},
volume = 7841,
year = 2013
}