Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A vision for management of complex models
ACM SIGMOD Record
Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Representing and reasoning about mappings between domain models
Eighteenth national conference on Artificial intelligence
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Conceptual graphs for a data base interface
IBM Journal of Research and Development
Ontology-based context synchronization for ad hoc social collaborations
Knowledge-Based Systems
Reasoning with a Network of Aligned Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Ten Challenges for Ontology Matching
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Package-Based Description Logics
Modular Ontologies
Towards Principles for Ontology Integration
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
A Conflict-Based Operator for Mapping Revision
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Boosting social collaborations based on contextual synchronization: An empirical study
Expert Systems with Applications: An International Journal
Ontology alignment evaluation initiative: six years of experience
Journal on data semantics XV
Semantic flow networks: semantic interoperability in networks of ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
A formal semantics for weighted ontology mappings
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Contextual synchronization for social collaboration in enterprises
Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics
| Hi-index | 0.00 |
An ontology alignment explicitly describes the relations holding between two ontologies. A system composed of ontologies and alignments interconnecting them is herein called a distributed system. We give three different semantics of a distributed system, that do not interfere with the semantics of ontologies. Their advantages are compared with respect to allowing consistent merge of ontologies, managing heterogeneity and complying with an alignment composition operation. We show that only the first two variants, which differ from other proposed semantics, can offer a sound composition operation.