A framework for handling revisions in distributed ontologies

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 1417-1422

  Ensan, Faezeh ^a   Bagheri, Ebrahim ^b  

^a UNIVERSITY OF NEW BRUNSWICK   (Canada)

^b NATIONAL RESEARCH COUNCIL CANADA   (Canada)

Author keywords

description logic; modular ontologies; revision

Indexed keywords

DESCRIPTION LOGIC; DISTRIBUTED REPRESENTATION; KNOWLEDGE BASE; ONTOLOGY MANAGEMENT; ONTOLOGY REVISION; REVISION OPERATOR; SIDE EFFECT; TABLEAU ALGORITHM;

DATA DESCRIPTION; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL OPERATORS;

ONTOLOGY;

EID: 77954711242     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774388     Document Type: Conference Paper

References (21)

1. On the formalization of interface-based modular ontologies under the closed-world assumption, Tech. report, 2008.
2. C.E. Alchourron, P. Gärdenfors, and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, Journal of symbolic logic (1985), 510-530.
3. F. Baader and U. Sattler, An overview of tableau algorithms for description logics, Studia Logica 69 (2001), no. 1, 5-40.
4. S. Benferhat, S. Kaci, D. Le Berre, and M.A. Williams, Weakening conflicting information for iterated revision and knowledge integration, Artificial Intelligence 153 (2004), no. 1, 339-371.
5. Alexander Borgida and Luciano Serafini, Distributed description logics: Assimilating information from peer sources., J. Data Semantics 1 (2003), 153-184.
6. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati, On the update of description logic ontologies at the instance level, PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, vol. 21, Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 2006, p. 1271.
7. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati, -, On the approximation of instance level update and erasure in description logics, PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, vol. 22, Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 2007, p. 403.
8. G. Flouris, Z. Huang, J.Z. Pan, D. Plexousakis, and H. Wache, Inconsistencies, negations and changes in ontologies, Proceedings of the National Conference on Artificial Intelligence, vol. 21, Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 2006, p. 1295.
9. G. Flouris, D. Plexousakis, and G. Antoniou, On applying the AGM theory to DLs and OWL, Lecture notes in computer science 3729 (2005), 216.
10. B.C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler, A logical framework for modularity of ontologies, Proc. IJCAI, 2007, pp. 298-304.
11. Bernardo Cuenca Grau and Oliver Kutz, Modular ontology languages revisited, Proceedings of the IJCAI'07 Workshop on Semantic Web for Collaborative Knowledge Acquisition,, 2007.
12. A. Kalyanpur, B. Parsia, and E. Sirin, Repairing unsatisfiable concepts in owl ontologies, 3rd European Semantic Web Conference, ESWC 2006, 2006.
13. H. Katsuno and A.O. Mendelzon, On the difference between updating a knowledge base and revising it, In Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR91, 1991.
14. H. Katsuno and A.O. Mendelzon, -, Propositional knowledge base revision and minimal change, Artificial Intelligence 52 (1991), no. 3, 263-294.
15. Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev, E-connections of abstract description systems, Artif. Intell. 156 (2004), no. 1, 1-73.
16. D. Lehmann, M. Magidor, and K. Schlechta, Distance semantics for belief revision, Journal of Symbolic Logic (2001), 295-317.
17. H. Liu, C. Lutz, M. Milicic, and F. Wolter, Updating description logic aboxes, International Conference of Principles of Knowledge Representation and Reasoning (KR), 2006.
18. T. Meyer, K. Lee, and R. Booth, Knowledge integration for description logics, PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, vol. 20, Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 2005, p. 645.
19. Guilin Qi, Peter Haase, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, and Johanna Völker, A kernel revision operator for terminologies - algorithms and evaluation, ISWC '08: Proceedings of the 7th International Conference on The Semantic Web (Berlin, Heidelberg), Springer-Verlag, 2008, pp. 419-434.
20. S. Schlobach, Z. Huang, R. Cornet, and F. van Harmelen, Debugging incoherent terminologies, Journal of Automated Reasoning 39 (2007), no. 3, 317-349.
21. Heiner Stuckenschmidt and Michel C. A. Klein, Integrity and change in modular ontologies, IJCAI, 2003, pp. 900-908.