Forgetting for knowledge bases in DL-Lite

Annals of Mathematics and Artificial Intelligence

Volumn 58, Issue 1, 2010, Pages 117-151

  Wang, Zhe ^a   Wang, Kewen ^a   Topor, Rodney ^a   Pan, Jeff Z ^b  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Description logics; Forgetting; Ontology

Indexed keywords

EID: 78649517777     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-010-9187-9     Document Type: Article

References (35)

1. Antoniou, G., van Harmelen, F.: A Semantic Web Primer, 2 edn. The MIT Press (2004).
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pp. 361-366 (2007).
3. Baader, F., Brandt, S., Lutz, C.: Pushing the e{open} envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 364-369 (2005).
4. Baader, F., Calvanese, D., D. McGuinness, Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press (2003).
5. Calvanese, D., Giacomo, G. D., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05), pp. 602-607 (2005).
6. Calvanese, D., Giacomo, G. D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06), pp. 260-270 (2006).
7. Calvanese, D., Giacomo, G. D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385-429 (2007).
8. ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06), pp. 79-89 (2006).
9. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in managing rules and ontologies. In: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), pp. 411-419 (2006).
10. Eiter, T., Wang, K.: Forgetting and conflict resolving in disjunctive logic programming. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06), pp. 238-243 (2006).
11. Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artif. Intell. 14, 1644-1672 (2008).
12. Ghilardi, S., Lutz, C., Wolter, F.: Did i damage my ontology? A case for conservative extensions in description logics. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06), pp. 187-197 (2006).
13. Giacomo, G. D., Lenzerini, M., Poggi, A., Rosati, R.: On the approximation of instance level update and erasure in description logics. In: Proceedings of the 22th National Conference on Artificial Intelligence (AAAI-07), pp. 403-408 (2007).
14. Grau, B. C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of the 16th International Conference on World Wide Web (WWW-07), pp. 717-726 (2007).
15. Group, O. M.: Unified modeling language (UML). http://www. omg. org/spec/UML/ (2009).
16. Gruber, T.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199-220 (1993).
17. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B. C.: Repairing unsatisfiable concepts in OWL ontologies. In: Proceedings of the 3rd European Semantic Web Conference (ESWC-06), pp. 170-184 (2006).
18. Konev, B., Wolter, F., Zakharyaschev, M.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-09), pp. 830-835 (2009).
19. Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., Zakharyaschev, M.: Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-09), pp. 836-841 (2009).
20. Kontchakov, R., Wolter, F., Zakharyaschev, M.: Modularity in DL-Lite. In: Proceedings of the 2007 International Workshop on Description Logics (DL-07) (2007).
21. Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), pp. 285-295 (2008).
22. Lam, S. C., Pan, J. Z., Sleeman, D. H., Vasconcelos, W. W.: A fine-grained approach to resolving unsatisfiable ontologies. In: Proceedings of Web Intelligence, pp. 428-434 (2006).
23. Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. (JAIR) 18, 391-443 (2003).
24. Lin, F., Reiter, R.: Forget it. In: Proceedings of the AAAI Fall Symposium on Relevance, pp. 154-159. New Orleans (LA) (1994).
25. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06), pp. 46-56 (2006).
26. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp. 453-458 (2007).
27. Meyer, T., Lee, K., Booth, R., Pan, J. Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: Proceedings of The 21st National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI-06) (2006).
28. Recommendation, W.: OWL 2 web ontology language. http://www. w3. org/TR/owl2-overview/ (2009).
29. Schlobach, S.: Debugging and semantic clarification by pinpointing. In: Proceedings of the 2nd European Semantic Web Conference (ESWC-05), pp. 226-240 (2005).
30. Schlobach, S.: Diagnosing terminologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05), pp. 670-675 (2005).
31. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI03), pp. 355-362 (2003).
32. Visser, A.: Uniform interpolation and layered bisimulation. In: Hájek, P. (ed.) Proceedings of Gödel'96: Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy, Brno, Czech Republic, Lecture Notes Logic, vol. 6, pp. 139-164 (1996).
33. Wang, K., Sattar, A., Su, K.: A theory of forgetting in logic programming. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05), pp. 682-687 (2005).
34. Wang, Z., Wang, K., Topor, R., Pan, J. Z.: Forgetting concepts in DL-Lite. In: Proceedings of the 5th European Semantic Web Conference (ESWC-08), pp. 245-257 (2008).
35. Wang, Z., Wang, K., Topor, R., Pan, J. Z., Antoniou, G.: Concepts and role forgetting in ALC ontologies. In: Proceedings of the 8th International Semantic Web Conference (ISWC-09), pp. 666-681 (2009).