Revision in networks of ontologies

Artificial Intelligence

Volumn 228, Issue , 2015, Pages 195-216

  Euzenat, Jérôme ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Alignment revision; Belief revision; Distributed system semantics; Network of ontologies; Ontology alignment; Partial meet revision

Indexed keywords

ARTIFICIAL INTELLIGENCE;

BELIEF REVISION; DISTRIBUTED SYSTEMS; IN NETWORKS; LOGIC THEORY; NETWORK CHARACTERISTICS; ONTOLOGY ALIGNMENT; PARTIAL MEET REVISION; REVISION OPERATOR;

SEMANTIC WEB;

EID: 84939551286     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2015.07.007     Document Type: Article

References (46)

1. C. Alchourrón, P. Gärdenfors, and D. Makinson On the logic of theory change: partial meet contraction and revision functions J. Symb. Log. 50 2 1985 510 530
2. G. Antoniou, P. Groth, F. van Harmelen, and R. Hoekstra A Semantic Web Primer 3rd edition 2012 The MIT Press Cambridge (MA US)
3. M. Atencia, J. Euzenat, G. Pirrò, and M.-C. Rousset Alignment-based trust for resource finding in semantic P2P networks Proc. 10th International Semantic Web Conference ISWC, Bonn (DE) Lecture Notes in Computer Science vol. 7031 2011 51 66
4. G. Aucher Internal models and private multi-agent belief revision Proc. 7th International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS, Estoril (PT) 2008 721 727
5. A. Binas, and S. McIlraith Peer-to-peer query answering with inconsistent knowledge Proc. 9th International Conference on Principles of Knowledge Representation and Reasoning KR, Sydney (AU) 2008 329 339
6. A. Borgida, and L. Serafini Distributed description logics: assimilating information from peer sources J. Data Semant. I 2003 153 184
7. D. Calvanese, E. Kharlamov, W. Nutt, and D. Zheleznyak Evolution of DL-lite knowledge bases Proc. 9th International Semantic Web Conference ISWC, Shanghai (CN) Lecture Notes in Computer Science vol. 6496 2010 112 128
8. J. Cantwell A model for updates in a multi-agent setting J. Appl. Non-Class. Log. 17 2 2007 183 196
9. P. Chatalic, G. Nguyen, and M.-C. Rousset Reasoning with inconsistencies in propositional peer-to-peer inference systems Proc. 9th European Conference on Artificial Intelligence ECAI, Riva del Garda (IT) 2006 352 357
10. B. Cuenca Grau, B. Parsia, and E. Sirin Combining OWL ontologies using E-connections J. Web Semant. 4 1 2006 40 59
11. M. Dalal Investigations into a theory of knowledge base revision: preliminary report Proc. 7th National Conference on Artificial Intelligence AAAI, Philadelphia (PA US) 1988 475 479
12. A. Dragoni, and P. Giorgini Distributed belief revision Auton. Agents Multi-Agent Syst. 6 2 2003 115 143
13. F. Ensan, and E. Bagheri A framework for handling revisions in distributed ontologies Proc. 25th ACM Symposium on Applied Computing Sierre (CH) 2010 1417 1422
14. J. Euzenat Semantic precision and recall for ontology alignment evaluation Proc. 20th International Joint Conference on Artificial Intelligence IJCAI, Hyderabad (IN) 2007 348 353
15. J. Euzenat Algebras of ontology alignment relations Proc. 7th International Semantic Web Conference ISWC, Karlsruhe (DE) 2008 387 402
16. J. Euzenat The category of networks of ontologies Research report 8652 2014 INRIA https://hal.inria.fr/hal-01093207
17. J. Euzenat, and P. Shvaiko Ontology Matching 2nd edition 2013 Springer Heidelberg (DE)
18. E. Fermé, and S. Hansson AGM 25 years J. Philos. Log. 40 2011 295 331
19. G. Flouris, Z. Huang, J. Pan, D. Plexousakis, and H. Wache Inconsistencies, negations and changes in ontologies Proc. 21st National Conference on Artificial Intelligence AAAI, Boston (MA US) 2006 1295 1300
20. G. Flouris, D. Plexousakis, and G. Antoniou On generalizing the AGM postulates Proc. 3rd European Starting AI Researcher Symposium STAIRS, Riva del Garda (IT) 2006 132 143
21. E. Franconi, G. Kuper, A. Lopatenko, and L. Serafini A robust logical and computational characterisation of peer-to-peer database systems Proc. VLDB Workshop on Databases, Information Systems and Peer-to-Peer Computing DBISP2P, Berlin (DE) 2003 64 76
22. P. Gärdenfors Belief Revision 1992 Cambridge University Press Cambridge (UK)
23. C. Ghidini, and F. Giunchiglia Local models semantics, or contextual reasoning = locality + compatibility Artif. Intell. 127 2 2001 221 259
24. C. Ghidini, and L. Serafini Distributed first order logics Proc. 2nd Conference on Frontiers of Combining Systems FroCoS, Amsterdam (NL) 1998 121 139
25. C. Gutierrez, C. Hurtado, and A. Vaisman The meaning of erasing in RDF under the Katsuno-Mendelzon approach Proc. 9th International Workshop on the Web and Databases WebDB, Chicago (IL US) 2006 32 37
26. S. Hansson A test battery for rational database updating Artif. Intell. 82 1-2 1996 341 352
27. P. Hitzler, M. Krötzsch, and S. Rudolph Foundations of Semantic Web Technologies 2009 Chapman & Hall/CRC
28. V. Ivanova, and P. Lambrix Unified approach for aligning taxonomies and debugging taxonomies and their alignments Proc. 10th European Semantic Web Conference ESWC, Montpellier (FR) Lecture Notes in Computer Science vol. 7881 2013 1 15
29. E. Jiménez Ruiz, B. Cuenca Grau, I. Horrocks, and R. Berlanga Ontology integration using mappings: towards getting the right logical consequences Proc. 6th European Semantic Web Conference ESWC, Hersounisous (GR) Lecture Notes in Computer Science vol. 5554 2009 173 188
30. E. Jiménez Ruiz, C. Meilicke, B. Cuenca Grau, and I. Horrocks Evaluating mapping repair systems with large biomedical ontologies Proc. 26th Description Logics DL, Ulm (DE) 2013 246 257
31. H. Katsuno, and A. Mendelzon On the difference between updating a knowledge base and revising it Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning KR, Cambridge (MA US) 1991 387 394
32. M. Lenzerini Data integration: a theoretical perspective Proc. 21st Symposium on Principles of Database Systems PODS, Madison (WI US) 2002 233 246
33. B. Malheiro, N. Jennings, and E. Oliveira Belief revision in multi-agent systems Proc. 11th European Conference on Artificial Intelligence ECAI, Amsterdam (NL) 1994 294 298
34. C. Meilicke Alignment incoherence in ontology matching Ph.D. thesis 2011 Universität Mannheim
35. C. Meilicke, H. Stuckenschmidt, and A. Tamilin Reasoning support for mapping revision J. Log. Comput. 19 5 2009 807 829
36. B. Nebel Base revision operations and schemes: semantics, representation, and complexity Proc. 11th European Conference on Artificial Intelligence ECAI, Amsterdam (NL) 1994 341 345
37. N. Nikitina, S. Rudolph, and B. Glimm Interactive ontology revision J. Web Semant. 12 2012 118 130
38. A. Pedersen, and H. Arló-Costa Belief revision L. Horsten, R. Pettigrew, Continuum Companion to Philosophical Logic 2011 Continuum Press London (UK) 450 502 Ch. 17
39. G. Qi, Q. Ji, and P. Haase A conflict-based operator for mapping revision Proc. 8th International Semantic Web Conference ISWC, Chantilly (VA US) Lecture Notes in Computer Science vol. 5823 2009 521 536
40. R. Reiter A theory of diagnosis from first principles Artif. Intell. 32 1 1987 57 95
41. M. Ribeiro, and R. Wassermann Base revision for ontology debugging J. Log. Comput. 19 5 2009 721 743
42. Z. Wang, K. Wang, and R. Topor A new approach to knowledge base revision in DL-Lite Proc. 24th National Conference on Artificial Intelligence AAAI, Atlanta (GA US) 2010 369 374
43. A. Zimmermann Sémantique des réseaux de connaissances: gestion de l'hétérogénéité fondée sur le principe de médiation Thèse d'informatique 2008 Université Joseph Fourier Grenoble (FR)
44. A. Zimmermann Logical formalisms for agreement technologies S. Ossowski, Agreement Technologies 2013 Springer Verlag Heidelberg (DE) 69 82 Ch. 5
45. A. Zimmermann, and J. Euzenat Three semantics for distributed systems and their relations with alignment composition Proc. 5th International Semantic Web Conference ISWC, Athens (GA US) Lecture Notes in Computer Science vol. 4273 2006 16 29
46. M. Zurawski, A. Smaill, and D. Robertson Bounded ontological consistency for scalable dynamic knowledge infrastructures Proc. 3rd Asian Semantic Web Conference ASWC, Bangkok (TH) Lecture Notes in Computer Science vol. 5367 2008 212 226