Abstract
The notion of uniform interpolation for description logic \(\mathcal{ALC}\) has been introduced in [9]. In this paper, we reformulate the uniform interpolation for \(\mathcal{ALC}\) from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for \(\mathcal{ALC}\). Our results have been used to compute forgetting for \(\mathcal{ALC}\) knowledge bases.
This work was partially supported by the Australia Research Council (ARC) Discovery Project 0666107.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artificial Intelligence 172(14), 1644–1672 (2008)
Ghilardi, S.: An algebraic theory of normal forms. Annals Pure Appl. Logic 71(3), 189–245 (1995)
Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 259–274. Springer, Heidelberg (2008)
Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proc. IJCAI 2009 (2009)
Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proc. KR 2008, pp. 285–295 (2008)
Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. 18, 391–443 (2003)
Lin, F., Reiter, R.: Forget it. In: Proc. AAAI Fall Symposium on Relevance, pp. 154–159 (1994)
ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Proc. KR 2006, pp. 79–89 (2006)
Visser, A.: Uniform interpolation and layered bisimulation. In: Proc. of Gödel 1996, pp. 139–164 (1996)
Wang, Z., Wang, K., Topor, R., Pan, J.Z.: Forgetting concepts in DL-Lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 245–257. Springer, Heidelberg (2008)
Wang, Z., Wang, K., Topor, R., Pan, J.Z., Antoniou, G.: Concept and Role Forgetting in \(\mathcal{ALC}\) Ontologies. In: Proc. ISWC 2009, pp. 666–681 (2009)
Zhang, Y., Zhou, Y.: Knowledge Forgetting: Properties and Applications. Artificial Intelligence 173, 1525–1537 (2009)
Tsarkov, D., Horrocks, I.: Description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)
Bechhofer, S., et al.: OWL (Web Ontology Language) Reference (2004), http://www.w3.org/TR/2004/REC-owl-ref-20040210/
Systematized Nomenclature of Medicine-Clinical Terms, http://www.ihtsdo.org/snomed-ct/
NCI Wiki, http://ncicb.nci.nih.gov/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Z., Wang, K., Topor, R., Pan, J.Z., Antoniou, G. (2009). Uniform Interpolation for \(\mathcal{ALC}\) Revisited. In: Nicholson, A., Li, X. (eds) AI 2009: Advances in Artificial Intelligence. AI 2009. Lecture Notes in Computer Science(), vol 5866. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10439-8_53
Download citation
DOI: https://doi.org/10.1007/978-3-642-10439-8_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10438-1
Online ISBN: 978-3-642-10439-8
eBook Packages: Computer ScienceComputer Science (R0)