{"type":"ScholarlyArticle","title":"On Concept Forgetting in Description Logics with Qualified Number Restrictions","authors":[{"name":"Yizheng Zhao","slug":"yizheng-zhao","given":"Yizheng","family":"Zhao","affiliation":"School of Computer Science , The University of Manchester , UK"},{"name":"Renate Schmidt","slug":"renate-schmidt","given":"Renate","family":"Schmidt","affiliation":"School of Computer Science , The University of Manchester , UK"}],"abstract":"This paper presents a practical method for computing solutions of concept forgetting in the description logic ALCOQ(neg,and,or), basic ALC extended with nominals, qualified number restrictions, role negation, role conjunction and role disjunction. The method is based on a non-trivial generalisation of Ackermann's Lemma, and attempts to compute either semantic solutions of concept forgetting or uniform interpolants in ALCOQ(neg,and,or). It is so far the only approach to concept forgetting in description logics with number restrictions plus nominals, as well as in description logics with ABoxes. Results of an evaluation with a prototypical implementation have shown that the method was successful in more than 90% of the test cases from a large corpus of biomedical ontologies. In only 13.2% of these cases the solutions were semantic solutions.","doi":"10.24963/ijcai.2018/274","url":"https://ijcai.org/proceedings/2018/274","pdf":"https://ijcai.org/proceedings/2018/0274.pdf","markdown":"https://ijcai.org/proceedings/2018/274.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/274","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":274,"pages":{"first":1984,"last":1990},"keywords":["Knowledge Representation and Reasoning: Automated Reasoning and Theorem Proving","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Ackermann, 1935] W. Ackermann. Untersuchungen über das Eliminationsproblem der mathematischen Logik. Mathematische Annalen, 110(1):390-413, 1935.","title":"Untersuchungen über das Eliminationsproblem der mathematischen Logik","authors":"W Ackermann","year":"1935","venue":"Mathematische Annalen","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bicarregui et al., 2001] J. Bicarregui, T. Dimitrakos, D. M. Gab- bay, and T. S. E. Maibaum. Interpolation in practical formal de- velopment. Logic Journal of the IGPL, 9(2):231-244, 2001.","title":"Interpolation in practical formal development","authors":"J Bicarregui, T Dimitrakos, D M Gabbay, T S E Maibaum","year":"2001","venue":"Logic Journal of the IGPL","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Botoeva et al., 2016] E. Botoeva, B. Konev, C. Lutz, V. Ryzhikov, F. Wolter, and M. Zakharyaschev. Inseparability and conservative extensions of description logic ontologies: A survey. In Proc. RW'14, volume 9885 of LNCS, pages 27-89. Springer, 2016.","title":"Inseparability and conservative extensions of description logic ontologies: A survey","authors":"E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev","year":"2016","venue":"Proc. RW'14","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Doherty et al., 1997] P. Doherty, W. Lukaszewicz, and A. Szalas. Computing circumscription revisited: A reduction algorithm. J. Autom. Reasoning, 18(3):297-336, 1997.","title":"Computing circumscription revisited: A reduction algorithm","authors":"P Doherty, W Lukaszewicz, A Szalas","year":"1997","venue":"J. Autom. Reasoning","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Gabbay and Ohlbach, 1992] D. M. Gabbay and H. J. Ohlbach. Quantifier elimination in second-order predicate logic. In Proc. KR'92, pages 425-435.","title":"Quantifier elimination in second-order predicate logic","authors":"D M Gabbay, H J Ohlbach","year":null,"venue":"Proc. KR'92","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Morgan Kaufmann, 1992.","title":null,"authors":"Morgan Kaufmann","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gabbay et al., 2008] D. M. Gabbay, R. A. Schmidt, and A. Szałas. Second-Order Quantifier Elimination. College Publi., 2008.","title":"Second-Order Quantifier Elimination","authors":"D M Gabbay, R A Schmidt, A Szałas","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Ghilardi et al., 2006] S. Ghilardi, C. Lutz, and F. Wolter. Did i damage my ontology? A case for conservative extensions in de- scription logics. In Proc. KR'06, pages 187-197. AAAI Press, 2006.","title":"Did i damage my ontology? A case for conservative extensions in description logics","authors":"S Ghilardi, C Lutz, F Wolter","year":"2006","venue":"Proc. KR'06","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Grädel et al., 1997] E. Grädel, M. Otto, and E. Rosen. Two- variable logic with counting is decidable. In Proc. LICS'97, pages 306-317. IEEE Computer Society, 1997.","title":"Twovariable logic with counting is decidable","authors":"E Grädel, M Otto, E Rosen","year":"1997","venue":"Proc. LICS'97","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Grau and Motik, 2012] B. C. Grau and B. Motik. Reasoning over ontologies with hidden content: The import-by-query approach. J. Artif. Intell. Res., 45:197-255, 2012.","title":"Reasoning over ontologies with hidden content: The import-by-query approach","authors":"B C Grau, B Motik","year":"2012","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Konev et al., 2008] B. Konev, D. Walther, and F. Wolter. The logical difference problem for description logic terminologies. In Proc. IJCAR'08, volume 5195 of LNCS, pages 259-274. Springer, 2008.","title":"The logical difference problem for description logic terminologies","authors":"B Konev, D Walther, F Wolter","year":"2008","venue":"Proc. IJCAR'08","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Konev et al., 2009] B. Konev, D. Walther, and F. Wolter. Forget- ting and uniform interpolation in large-scale description logic terminologies. In Proc. IJCAI'09, pages 830-835. IJCAI/AAAI Press, 2009.","title":"Forgetting and uniform interpolation in large-scale description logic terminologies","authors":"B Konev, D Walther, F Wolter","year":"2009","venue":"Proc. IJCAI'09","doi":null,"url":null,"internal_url":"/proceedings/2009/142"},{"position":13,"raw":"[Konev et al., 2013] B. Konev, C. Lutz, D. Walther, and F. Wolter. Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell., 203:66-103, 2013.","title":"Model-theoretic inseparability and modularity of description logic ontologies","authors":"B Konev, C Lutz, D Walther, F Wolter","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Koopmann and Schmidt, 2013a] P. Koopmann and R. A. Schmidt. Forgetting concept and role symbols in ALCH-ontologies. In Proc. LPAR'13, volume 8312 of LNCS, pages 552-567. Springer, 2013.","title":"Forgetting concept and role symbols in ALCH-ontologies","authors":"Schmidt Koopmann, P Koopmann, R A Schmidt","year":"2013","venue":"Proc. LPAR'13","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Koopmann and Schmidt, 2013b] P. Koopmann and R. A. Schmidt. Uniform interpolation of ALC-ontologies using fixpoints. In Proc. FroCoS'13, volume 8152 of LNCS, pages 87-102. Springer, 2013.","title":"Uniform interpolation of ALC-ontologies using fixpoints","authors":"Schmidt Koopmann, P Koopmann, R A Schmidt","year":"2013","venue":"Proc. FroCoS'13","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Koopmann and Schmidt, 2014] P. Koopmann and R. A. Schmidt. Count and forget: Uniform interpolation of SHQ-ontologies. In Proc. IJCAR'14, volume 8562 of LNCS, pages 434-448. Springer, 2014.","title":"Count and forget: Uniform interpolation of SHQ-ontologies","authors":"P Koopmann, R A Schmidt","year":"2014","venue":"Proc. IJCAR'14","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Koopmann and Schmidt, 2015a] P. Koopmann and R. A. Schmidt. Saturated-based forgetting in the description logic SIF . In Proc. DL'15, volume 1350 of CEUR Workshop Proceedings, 2015.","title":"Saturated-based forgetting in the description logic SIF","authors":"Schmidt Koopmann, P Koopmann, R A Schmidt","year":"2015","venue":"CEUR Workshop Proceedings","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Koopmann and Schmidt, 2015b] P. Koopmann and R. A. Schmidt. Uniform interpolation and forgetting for ALC ontologies with aboxes. In Proc. AAAI'15, pages 175-181. AAAI Press, 2015.","title":"Uniform interpolation and forgetting for ALC ontologies with aboxes","authors":"Schmidt Koopmann, P Koopmann, R A Schmidt","year":"2015","venue":"Proc. AAAI'15","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Koopmann, 2015] P. Koopmann. Practical Uniform Interpolation for expressive Description Logics. PhD thesis, The University of Manchester, UK, 2015.","title":"Practical Uniform Interpolation for expressive Description Logics","authors":"P Koopmann","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Lang et al., 2003] J. Lang, P. Liberatore, and P. Marquis. Proposi- tional independence: Formula-variable independence and forget- ting. J. Artif. Intell. Res., 18:391-443, 2003.","title":"Propositional independence: Formula-variable independence and forgetting","authors":"J Lang, P Liberatore, P Marquis","year":"2003","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Lin and Reiter, 1994] F. Lin and R. Reiter. Forget It! In Proc. AAAI Fall Symposium on Relevance, pages 154-159. AAAI Press, 1994.","title":"Forget It!","authors":"F Lin, R Reiter","year":"1994","venue":"Proc. AAAI Fall Symposium on Relevance","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Ludwig and Konev, 2014] M. Ludwig and B. Konev. Practical uni- form interpolation and forgetting for ALC TBoxes with applica- tions to logical difference. In Proc. KR'14, pages 318-327. AAAI Press, 2014.","title":"Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference","authors":"M Ludwig, B Konev","year":"2014","venue":"Proc. KR'14","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Lutz and Wolter, 2010] C. Lutz and F. Wolter. Deciding insepara- bility and conservative extensions in the description logic EL. J. Symb. Comput., 45(2):194-228, 2010.","title":"Deciding inseparability and conservative extensions in the description logic EL","authors":"C Lutz, F Wolter","year":"2010","venue":"J. Symb. Comput","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Lutz and Wolter, 2011] C. Lutz and F. Wolter. Foundations for uni- form interpolation and forgetting in expressive description logics. In Proc. IJCAI'11, pages 989-995. IJCAI/AAAI Press, 2011.","title":"Foundations for uniform interpolation and forgetting in expressive description logics","authors":"C Lutz, F Wolter","year":"2011","venue":"Proc. IJCAI'11","doi":null,"url":null,"internal_url":"/proceedings/2011/170"},{"position":25,"raw":"[Lutz et al., 2007] C. Lutz, D. Walther, and F. Wolter. Conservative extensions in expressive description logics. In Proc. IJCAI'07, pages 453-458, 2007.","title":"Conservative extensions in expressive description logics","authors":"C Lutz, D Walther, F Wolter","year":"2007","venue":"Proc. IJCAI'07","doi":null,"url":null,"internal_url":"/proceedings/2007/71"},{"position":26,"raw":"[Lutz et al., 2012] C. Lutz, I. Seylan, and F. Wolter. An automata- theoretic approach to uniform interpolation and approximation in the description logic EL. In Proc. KR'12. AAAI Press, 2012.","title":"An automatatheoretic approach to uniform interpolation and approximation in the description logic EL","authors":"C Lutz, I Seylan, F Wolter","year":"2012","venue":"Proc. KR'12","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Matentzoglu and Parsia, 2017] N. Matentzoglu and B. Parsia. Bio- Portal Snapshot 30.03.2017, March 2017.","title":"Bio-Portal Snapshot","authors":"N Matentzoglu, B Parsia","year":"2017","venue":"Bio-Portal Snapshot","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Nikitina and Rudolph, 2014] N. Nikitina and S. Rudolph. (Non- )Succinctness of uniform interpolants of general terminologies in the description logic EL. Artif. Intell., 215:120-140, 2014.","title":"Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL","authors":"N Nikitina, S Rudolph","year":"2014","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Schmidt, 2012] R. A. Schmidt. The Ackermann approach for modal logic, correspondence theory and second-order reduction. J. Applied Logic, 10(1):52-74, 2012.","title":"The Ackermann approach for modal logic, correspondence theory and second-order reduction","authors":"R A Schmidt","year":"2012","venue":"J. Applied Logic","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Szałas, 2006] A. Szałas. Second-order reasoning in description logics. Journal of Applied Non-Classical Logics, 16(3-4):517- 530, 2006.","title":"Second-order reasoning in description logics","authors":"A Szałas","year":"2006","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Visser, 1996] A. Visser. Bisimulations, Model Descriptions and Propositional Quantifiers. Logic Group Preprint Series. Depart- ment of Philosophy, Utrecht Univ., 1996.","title":"Bisimulations, Model Descriptions and Propositional Quantifiers","authors":"A Visser","year":"1996","venue":"Logic Group Preprint Series","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Wang et al., 2014] K. Wang, Z. Wang, R. W. Topor, J. Z. Pan, and G. Antoniou. Eliminating concepts and roles from ontolo- gies in expressive descriptive logics. Computational Intelligence, 30(2):205-232, 2014.","title":"Eliminating concepts and roles from ontologies in expressive descriptive logics","authors":"K Wang, Z Wang, R W Topor, J Z Pan, G Antoniou","year":"2014","venue":"Computational Intelligence","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Wernhard, 2013] C. Wernhard. Abduction in logic programming as second-order quantifier elimination. In Proc. FroCoS'13, vol- ume 8152 of LNCS, pages 103-119. Springer, 2013.","title":"Abduction in logic programming as second-order quantifier elimination","authors":"C Wernhard","year":"2013","venue":"Proc. FroCoS'13","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Zhang and Zhou, 2010] Y. Zhang and Y. Zhou. Forgetting Revis- ited. In Proc. KR'10, pages 602-604. AAAI Press, 2010.","title":"Forgetting Revisited","authors":"Y Zhang, Y Zhou","year":"2010","venue":"Proc. KR'10","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Zhao and Schmidt, 2015] Y. Zhao and R. A. Schmidt. Concept for- getting in ALCOI-ontologies using an Ackermann approach. In Proc. ISWC'15, volume 9366 of LNCS, pages 587-602. Springer, 2015.","title":"Concept forgetting in ALCOI-ontologies using an Ackermann approach","authors":"Y Zhao, R A Schmidt","year":"2015","venue":"Proc. ISWC'15","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Zhao and Schmidt, 2016] Y. Zhao and R. A. Schmidt. Forgetting concept and role symbols in ALCOIHµ + ( , ) ontologies. In Proc. IJCAI'16, pages 1345-1352. IJCAI/AAAI Press, 2016.","title":"Forgetting concept and role symbols in ALCOIHµ + ( , ) ontologies","authors":"Y Zhao, R A Schmidt","year":"2016","venue":"Proc. IJCAI'16","doi":null,"url":null,"internal_url":"/proceedings/2016/194"},{"position":37,"raw":"[Zhao and Schmidt, 2017] Y. Zhao and R. A. Schmidt. Role forget- ting for ALCOQH( )-ontologies using an Ackermann-based approach. In Proc. IJCAI'17, pages 1354-1361. IJCAI/AAAI Press, 2017.","title":"Role forgetting for ALCOQH( )-ontologies using an Ackermann-based approach","authors":"Y Zhao, R A Schmidt","year":"2017","venue":"Proc. IJCAI'17","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}