Advertisement

Forgetting for knowledge bases in DL-Lite

  • Zhe Wang
  • Kewen WangEmail author
  • Rodney Topor
  • Jeff Z. Pan
Article

Abstract

To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, applications may require the omission of certain terms, e. g., concept names and role names, from an ontology. However, the task of omitting terms from an ontology is challenging because the omission of some terms may affect the relationships between the remaining terms in complex ways. We present the first solution to the problem of omitting concepts and roles from knowledge bases of description logics (DLs) by adapting the technique of forgetting, previously used in other domains. Specifically, we first introduce a model-theoretic definition of forgetting for knowledge bases (both TBoxes and ABoxes) in DL-Lite\(^{\ensuremath{{\mathcal N}}}_{{bool}}\), which is a non-trivial adaption of the standard definition for classical logic, and show that our model-based forgetting satisfies all major criteria of a rational forgetting operator, which in turn verifies the suitability of our model-based forgetting. We then introduce algorithms that implement forgetting operations in DL-Lite knowledge bases. We prove that the algorithms are correct with respect to the semantic definition of forgetting. We establish a general framework for defining and comparing different definitions of forgetting by introducing a parameterized family of forgetting operators called query-based forgetting operators. In this framework we identify three specific query-based forgetting operators and show that they form a hierarchy. In particular, we show that the model-based forgetting coincides with one of these query-based forgetting operators.

Keywords

Description logics Forgetting Ontology 

Mathematics Subject Classification (2010)

68T30 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Antoniou, G., van Harmelen, F.: A Semantic Web Primer, 2 edn. The MIT Press (2004)Google Scholar
  2. 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)Google Scholar
  3. 3.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 364–369 (2005)Google Scholar
  4. 4.
    Baader, F., Calvanese, D., D.McGuinness, Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press (2003)Google Scholar
  5. 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)Google Scholar
  6. 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)Google Scholar
  7. 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)zbMATHCrossRefGoogle Scholar
  8. 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)Google Scholar
  9. 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)Google Scholar
  10. 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)Google Scholar
  11. 11.
    Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artif. Intell. 14, 1644–1672 (2008)CrossRefMathSciNetGoogle Scholar
  12. 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)Google Scholar
  13. 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)Google Scholar
  14. 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)Google Scholar
  15. 15.
    Group, O.M.: Unified modeling language (UML). http://www.omg.org/spec/UML/ (2009)
  16. 16.
    Gruber, T.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)CrossRefGoogle Scholar
  17. 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)Google Scholar
  18. 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)Google Scholar
  19. 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)Google Scholar
  20. 20.
    Kontchakov, R., Wolter, F., Zakharyaschev, M.: Modularity in DL-Lite. In: Proceedings of the 2007 International Workshop on Description Logics (DL-07) (2007)Google Scholar
  21. 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)Google Scholar
  22. 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)Google Scholar
  23. 23.
    Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. (JAIR) 18, 391–443 (2003)zbMATHMathSciNetGoogle Scholar
  24. 24.
    Lin, F., Reiter, R.: Forget it. In: Proceedings of the AAAI Fall Symposium on Relevance, pp. 154–159. New Orleans (LA) (1994)Google Scholar
  25. 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)Google Scholar
  26. 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)Google Scholar
  27. 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)Google Scholar
  28. 28.
    Recommendation, W.: OWL 2 web ontology language. http://www.w3.org/TR/owl2-overview/ (2009)
  29. 29.
    Schlobach, S.: Debugging and semantic clarification by pinpointing. In: Proceedings of the 2nd European Semantic Web Conference (ESWC-05), pp. 226–240 (2005)Google Scholar
  30. 30.
    Schlobach, S.: Diagnosing terminologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05), pp. 670–675 (2005)Google Scholar
  31. 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)Google Scholar
  32. 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)Google Scholar
  33. 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)Google Scholar
  34. 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)Google Scholar
  35. 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)Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  • Zhe Wang
    • 1
  • Kewen Wang
    • 1
    Email author
  • Rodney Topor
    • 1
  • Jeff Z. Pan
    • 2
  1. 1.Griffith UniversityBrisbaneAustralia
  2. 2.The University of AberdeenAberdeenUK

Personalised recommendations