PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
The description logic handbook
Artificial Intelligence - Special issue on nonmonotonic reasoning
Ontology change: Classification and survey
The Knowledge Engineering Review
Inconsistencies, negations and changes in ontologies
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Base Revision for Ontology Debugging
Journal of Logic and Computation
Complexity of judgment aggregation: safety of the agenda
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Applications of logic in social choice theory
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Voting theory for concept detection
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
| Hi-index | 0.00 |
The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering, and other domains where information from several distinct sources needs to be integrated in a coherent manner. We propose to treat ontology merging as a problem of social choice, i.e., as a problem of aggregating the input of a set of individuals into an adequate collective decision, and we show how to apply the methodology of social choice theory in this new domain. We do this for the case of ontologies that are modelled using description logics. Specifically, we formulate a number of desirable properties for ontology merging procedures, we identify the incompatibility of some of these properties, and we define and analyse several concrete procedures.