Ontology evolution under semantic constraints

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 137-147

  Cuenca Grau, B ^a   Jimenez Ruiz, E ^a   Kharlamov, E ^a,b   Zheleznyakov, D ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; ONTOLOGY; SEMANTICS;

BELIEF REVISION; DESCRIPTION LOGIC; EVOLUTION PROBLEM; FORMAL STUDIES; LOGICAL FRAMEWORKS; ONTOLOGY DEVELOPMENT; ONTOLOGY EVOLUTION; SEMANTIC CONSTRAINTS;

KNOWLEDGE REPRESENTATION;

EID: 84893346454     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Alchourrón, C. E.; Gärdenfors, P.; and Makinson, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2):510-530.
2. Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
3. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In Proc. of IJCAI, 364-369.
4. Cadoli, M.; Donini, F. M.; Liberatore, P.; and Schaerf, M. 1999. The size of a revised knowledge base. Artif. Intell. 115(1):25-64.
5. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in Description Logics: The DL-Lite family. Journal of Automated Reasoning 39(3):385-429.
6. Calvanese, D.; Kharlamov, E.; Nutt, W.; and Zheleznyakov, D. 2010. Evolution of DL-Lite knowledgebases. In International Semantic Web Conference (1), 112-128.
7. Cuenca Grau, B.; Horrocks, I.; Kazakov, Y.; and Sattler, U. 2008a. Modular reuse of ontologies: Theory and practice. J. Artif. Intell. Res. (JAIR) 31:273-318.
8. Cuenca Grau, B.; Horrocks, I.; Motik, B.; Parsia, B.; Patel-Schneider, P.; and Sattler, U. 2008b. OWL 2: The next step for OWL. Journal of Web Semantics 6(4):309-322.
9. Flouris, G.; Manakanatas, D.; Kondylakis, H.; Plexousakis, D.; and Antoniou, G. 2008. Ontology change: classification and survey. Knowledge Eng. Review 23(2):117-152.
10. Fridman Noy, N.; Kunnatur, S.; Klein, M.; and Musen, M. 2004. Tracking changes during ontology evolution. In Proc. of ISWC, 259-273.
11. Giacomo, G. D.; Lenzerini, M.; Poggi, A.; and Rosati, R. 2009. On instance-level update and erasure in Description Logic ontologies. Journal Logic and Computation 19(5):745-770.
12. Gonçalves, R. S.; Parsia, B.; and Sattler, U. 2011. Analysing the evolution of the NCI thesaurus. In Proc. of CBMS, 1-6.
13. Haase, P., and Stojanovic, L. 2005. Consistent evolution of OWL ontologies. In Proc. of ESWC, 182-197.
14. Hartung, M.; Kirsten, T.; and Rahm, E. 2008. Analyzing the evolution of life science ontologies and mappings. In Proc. of DILS, 11-27.
15. Horrocks, I.; Patel-Schneider, P. F.; and van Harmelen, F. 2003. From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 1(1):7-26.
16. Horrocks, I.; Sattler, U.; and Tobies, S. 2000. Practical reasoning for very expressive Description Logics. Logic Journal of the IGPL 8(3):239-263.
17. Jiménez-Ruiz, E.; Grau, B. C.; Horrocks, I.; and Llavori, R. B. 2011. Supporting concurrent ontology development: Framework, algorithms and tool. Data Knowl. Eng. 70(1):146-164.
18. Kalyanpur, A.; Parsia, B.; Sirin, E.; and Hendler, J. A. 2005. Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics 3(4):268-293.
19. Kalyanpur, A.; Parsia, B.; Sirin, E.; and Grau, B. C. 2006. Repairing unsatisfiable concepts in OWL ontologies. In Proc. of ESWC, 170-184.
20. Kalyanpur, A.; Parsia, B.; Horridge, M.; and Sirin, E. 2007. Finding all justifications of OWL DL entailments. In Proc. of ISWC, 267-280.
21. Katsuno, H., and Mendelzon, A. O. 1991. On the difference between updating a knowledge base and revising it. In Proc. of KR, 387-394.
22. Kharlamov, E., and Zheleznyakov, D. 2011. Capturing instance level ontology evolution for DL-Lite. In International Semantic Web Conference (1), 321-337.
23. Konev, B.; Walther, D.; and Wolter, F. 2008. The logical difference problem for Description Logic terminologies. In Proc. of IJCAR, 259-274.
24. Lenzerini, M., and Savo, D. F. 2011. On the evolution of the instance level of DL-Lite knowledge bases. In Description Logics.
25. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2011. Foundations of instance level updates in expressive Description Logics. Artificial Intelligence 175(18):2170-2197.
26. Motik, B.; Shearer, R.; and Horrocks, I. 2009. Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research 36:165-228.
27. Peñaloza, R., and Sertkaya, B. 2010. On the complexity of axiom pinpointing in the EL family of description logics. In Proc. of KR.
28. Peppas, P. 2007. Belief revision. In F. van Harmelen, V. L., and Porter, B., eds., Handbook of Knowledge Representation. Elsevier.
29. Qi, G., and D.u., J. 2009. Model-based revision operators for terminologies in Description Logics. In Proc. of IJCAI, 891-897.
30. Schlobach, S.; Huang, Z.; Cornet, R.; and van Harmelen, F. 2007. Debugging incoherent terminologies. J. Automated Reasoning 39(3):317-349.
31. Suntisrivaraporn, B.; Qi, G.; Ji, Q.; and Haase, P. 2008. A modularization-based approach to finding all justifications for OWL DL entailments. In Proc. of ASWC, 1-15.
32. Wang, Z.; Wang, K.; and Topor, R. W. 2010a. A new approach to knowledge base revision in DL-Lite. In Proc. of AAAI.
33. Wang, Z.; Wang, K.; and Topor, R. W. 2010b. Revising general knowledge bases in Description Logics. In Proc. of KR.