{"type":"ScholarlyArticle","title":"Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach","authors":[{"name":"Yizheng Zhao","slug":"yizheng-zhao","given":"Yizheng","family":"Zhao","affiliation":"School of Computer Science , The University of Manchester , UK"},{"name":"Renate A. Schmidt","slug":"renate-a-schmidt","given":"Renate A.","family":"Schmidt","affiliation":"School of Computer Science , The University of Manchester , UK"}],"abstract":"Forgetting refers to a non-standard reasoning problem concerned with eliminating concept and role symbols from description logic-based ontologies while preserving all logical consequences up to the remaining symbols. Whereas previous research has primarily focused on forgetting concept symbols, in this paper, we turn our attention to role symbol forgetting. In particular, we present a practical method for semantic role forgetting for ontologies expressible in the description logic ALCOQH(universal role), i.e., the basic description logic ALC extended with nominals, qualified number restrictions, role inclusions and the universal role. Being based on an Ackermann approach, the method is the only approach so far for forgetting role symbols in description logics with qualified number restrictions. The method is goal-oriented and incremental. It always terminates and is sound in the sense that the forgetting solution is equivalent to the original ontology up to the forgotten symbols possibly with new concept definer symbols. Despite our method not being complete, performance results of an evaluation with a prototypical implementation have shown very good success rates on real-world ontologies.","doi":"10.24963/ijcai.2017/188","url":"https://ijcai.org/proceedings/2017/188","pdf":"https://ijcai.org/proceedings/2017/0188.pdf","markdown":"https://ijcai.org/proceedings/2017/188.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/188","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":188,"pages":{"first":1354,"last":1361},"keywords":["Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies","Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving","Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"i7-4790 processor, four cores running at up to 3.60 GHz and 8 GB of DDR3-1600 MHz RAM. References","title":"i7-4790 processor, four cores running at up to 3.60 GHz and 8 GB of DDR3-1600 MHz RAM","authors":null,"year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"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":3,"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":4,"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'16, vol. 9885 of LNCS, pp. 27-89. Springer, 2016.","title":"Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey","authors":"E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M","year":"2016","venue":"Proc. RW'16","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Conradie et al., 2006] W. Conradie, V. Goranko, and D. Vakarelov. Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Logical Methods in Computer Science, 2(1), 2006.","title":"Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA","authors":"W Conradie, V Goranko, D Vakarelov","year":"2006","venue":"Logical Methods in Computer Science","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[D'Agostino and Hollenberg, 2000] G. D'Agostino and M. Hollen- berg. Logical Questions Concerning the µ-Calculus: Interpo- lation, Lyndon and Los-Tarski. Journal of Symbolic Logic, 65(1):310-332, 2000.","title":"Logical Questions Concerning the µ-Calculus: Interpolation, Lyndon and Los-Tarski","authors":"D'agostino And Hollenberg, ; G D'agostino, M Hollenberg","year":"2000","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Delgrande and Wang, 2015] J. P. Delgrande and K. Wang. A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs. In Proc. AAAI'15, pp. 1482-1488. AAAI Press, 2015.","title":"A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs","authors":"J P Delgrande, K Wang","year":"2015","venue":"Proc. AAAI'15","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Doherty et al., 1997] P. Doherty, W. Łukaszewicz, and A. Szałas. Computing Circumscription Revisited: A Reduction Algorithm. Journal of Automated Reasoning, 18(3):297-336, 1997.","title":"Computing Circumscription Revisited: A Reduction Algorithm","authors":"P Doherty, W Łukaszewicz, A Szałas","year":"1997","venue":"Journal of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":9,"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":10,"raw":"[Grau and Motik, 2012] B. C. Grau and B. Motik. Reasoning over Ontologies with Hidden Content: The Import-by-Query Ap- proach. 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":"[Herzig and Mengin, 2008] A. Herzig and J. Mengin. Uniform In- terpolation by Resolution in Modal Logic. In Proc. JELIA'08, vol. 5293 of LNCS, pp. 219-231. Springer, 2008.","title":"Uniform Interpolation by Resolution in Modal Logic","authors":"A Herzig, J Mengin","year":"2008","venue":"Proc. JELIA'08","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Konev et al., 2009a] B. Konev, C. Lutz, D. Walther and F. Wolter. Formal Properties of Modularisation. In Modular Ontologies, vol. 5445 of LNCS, pp. 25-66. Springer, 2009.","title":"Formal Properties of Modularisation","authors":"Konev","year":"2009","venue":"Modular Ontologies","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Konev et al., 2009b] B. Konev, D. Walther and F. Wolter. Forget- ting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Proc. IJCAI'09, pp. 830-835. IJCAI/AAAI Press, 2009.","title":"Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies","authors":"Konev","year":"2009","venue":"Proc. IJCAI'09","doi":null,"url":null,"internal_url":"/proceedings/2009/142"},{"position":14,"raw":"[Konev et al., 2013] B. Konev, C. Lutz, D. Walther and F. Wolter. Model-theoretic inseparability and modularity of description logic ontologies. Artificial Intelligence, 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":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Koopmann and Schmidt, 2013a] P. Koopmann and R. A. Schmidt. Forgetting Concept and Role Symbols in ALCH-Ontologies. In Proc. LPAR'13, vol. 8312 of LNCS, pp. 552-567. Springer, 2013.","title":"Forgetting Concept and Role Symbols in ALCH-Ontologies","authors":"Koopmann, R A Schmidt ; A] P. Koopmann, Schmidt","year":"2013","venue":"Proc. LPAR'13","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Koopmann and Schmidt, 2013b] P. Koopmann and R. A. Schmidt. Uniform Interpolation of ALC-Ontologies Using Fixpoints. In Proc. FroCoS'13, vol. 8152 of LNCS, pp. 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":17,"raw":"[Koopmann and Schmidt, 2014] P. Koopmann and R. A. Schmidt. Count and Forget: Uniform Interpolation of SHQ-Ontologies. In Proc. IJCAR'14, vol. 8562 of LNCS, pp. 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":18,"raw":"[Koopmann and Schmidt, 2015b] P. Koopmann and R. A. Schmidt. Saturated-Based Forgetting in the Description Logic SIF . In Proc. DL'15, vol. 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":19,"raw":"[Koopmann and Schmidt, 2015a] P. Koopmann and R. A. Schmidt. Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. In Proc. AAAI'15, pp. 175-181. AAAI Press, 2015.","title":"Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes","authors":"Koopmann, R A Schmidt ; A] P. Koopmann, Schmidt","year":"2015","venue":"Proc. AAAI'15","doi":null,"url":null,"internal_url":null},{"position":20,"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":21,"raw":"[Lang et al., 2003] J. Lang, P. Liberatore and P. Marquis. Propo- sitional Independence: Formula-Variable Independence and For- getting. 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":22,"raw":"[Lin and Reiter, 1994] F. Lin and R. Reiter. Forget it! In Proc. AAAI Fall Symposium on Relevance, pp. 154-159, 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":23,"raw":"[Ludwig and Konev, 2014] M. Ludwig and B. Konev. Practical Uniform Interpolation and Forgetting for ALC TBoxes with Ap- plications to Logical Difference. In Proc. KR'14, pp. 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":24,"raw":"[Lutz and Wolter, 2011] C. Lutz and F. Wolter. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. In Proc. IJCAI'11, pp. 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., 2012] C. Lutz, I. Seylan, and F. Wolter. An Automata- Theoretic Approach to Uniform Interpolation and Approxima- tion in the Description Logic EL. In Proc. KR'12, pp. 286-297. AAAI Press, 2012.","title":"An Automata-Theoretic 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":26,"raw":"[Nikitina and Rudolph, 2014] N. Nikitina and S. Rudolph. (Non-)Succinctness of uniform interpolants of general termi- nologies in the description logic EL. Artificial Intelligence, 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":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Nonnengart and Szałas, 1999] A. Nonnengart and A. Szałas. A fixpoint approach to second-order quantifier elimination with ap- plications to correspondence theory. In E. Orlowska, editor, Logic at Work, pp. 307-328. Springer, 1999.","title":"A fixpoint approach to second-order quantifier elimination with applications to correspondence theory","authors":"A Nonnengart, A Szałas","year":"1999","venue":"Logic at Work","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Schmidt, 2012] R. A. Schmidt. The Ackermann approach for modal logic, correspondence theory and second-order reduction. Journal of 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":"Journal of Applied Logic","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Szałas, 1993] A. Szałas. On the Correspondence between Modal and Classical Logic: An Automated Approach. Journal of Logic and Computation, 3:605-620, 1993.","title":"On the Correspondence between Modal and Classical Logic: An Automated Approach","authors":"A Szałas","year":"1993","venue":"Journal of Logic and Computation","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 University, 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., 2008] Z. Wang, K. Wang, R. W. Topor, and J. Z. Pan. Forgetting Concepts in DL-Lite. In Proc. ESWC'08, vol. 5021 of LNCS, pp. 245-257. Springer, 2008.","title":"Forgetting Concepts in DL-Lite","authors":"Z Wang, K Wang, R W Topor, J Z Pan","year":"2008","venue":"Proc. ESWC'08","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Wang et al., 2010] Z. Wang, K. Wang, R. W. Topor and J. Z. Pan. Forgetting for Knowledge Bases in DL-Lite. Annals of Math. Artif. Intell., 58(1-2):117-151, 2010.","title":"Forgetting for Knowledge Bases in DL-Lite","authors":"Z Wang, K Wang, R W Topor, J Z Pan","year":"2010","venue":"Annals of Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Wang et al., 2014] K. Wang, Z. Wang, R. Topor, J. Z. Pan, and G. Antoniou. Eliminating concepts and roles from ontologies in expressive description logics. Computational Intelligence, 30(2):205-232, 2014.","title":"Eliminating concepts and roles from ontologies in expressive description logics","authors":"K Wang, Z Wang, R Topor, J Z Pan, G Antoniou","year":"2014","venue":"Computational Intelligence","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Zhao and Schmidt, 2015] Y. Zhao and R. A. Schmidt. Concept Forgetting in ALCOI-Ontologies Using an Ackermann Ap- proach. In Proc. ISWC'15, vol. 9366 of LNCS, pp. 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, pp. 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"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}