{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:25:17Z","timestamp":1758273917152,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030862046"},{"type":"electronic","value":"9783030862053"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-86205-3_7","type":"book-chapter","created":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T08:02:57Z","timestamp":1630396977000},"page":"118-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Semantic Forgetting in Expressive Description Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4296-5831","authenticated-orcid":false,"given":"Mostafa","family":"Sakr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6673-3333","authenticated-orcid":false,"given":"Renate A.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/BF01448035","volume":"110","author":"W Ackermann","year":"1935","unstructured":"Ackermann, W.: Untersuchungen \u00fcber das Eliminationsproblem der mathematischen Logik. Math. Ann. 110, 390\u2013413 (1935)","journal-title":"Math. Ann."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Handbook of Knowledge Representation, pp. 135\u2013179. Elsevier, San Diego (2007)","DOI":"10.1016\/S1574-6526(07)03003-9"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Baaz, M., Egly, U., Leitsch, A.: Normal form transformations. In: Handbook of Automated Reasoning, pp. 275\u2013332. North-Holland (12 2001)","DOI":"10.1016\/B978-044450813-3\/50007-2"},{"key":"7_CR4","volume-title":"An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities","author":"G Boole","year":"1854","unstructured":"Boole, G.: An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities. Cambridge University Press, Cambridge (1854)"},{"issue":"1\u20132","key":"7_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82(1\u20132), 353\u2013367 (1996)","journal-title":"Artif. Intell."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Inseparability and conservative extensions of description logic ontologies: A survey. In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School. pp. 27\u201389. Springer (2017)","DOI":"10.1007\/978-3-319-49493-7_2"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Chen, J., Alghamdi, G., Schmidt, R.A., Walther, D., Gao, Y.: Ontology extraction for large ontologies via modularity and forgetting. In: Proceedings of the 10th International Conference on Knowledge Capture (K-CAP 2019), pp. 45\u201352. ACM (2019)","DOI":"10.1145\/3360901.3364424"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1613\/jair.5530","volume":"60","author":"J Delgrande","year":"2017","unstructured":"Delgrande, J.: A knowledge level account of forgetting. J. Artif. Intell. Res. 60, 1165\u20131213 (2017)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR9","unstructured":"Delgrande, J.P.: Towards a knowledge level analysis of forgetting. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, pp. 606\u2013609. AAAI Press, Palo Alto (2014)"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Ditmarsch, H., Herzig, A., Lang, J., Marquis, P.: Introspective forgetting. In: Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence. pp. 18\u201329. Springer (2008). https:\/\/doi.org\/10.1007\/s11229-009-9554-4","DOI":"10.1007\/s11229-009-9554-4"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s13218-018-0564-6","volume":"33","author":"T Eiter","year":"2019","unstructured":"Eiter, T., Kern-Isberner, G.: A brief survey on forgetting from a knowledge representation and reasoning perspective. KI - K\u00fcnstliche Intelligenz 33(1), 9\u201333 (2019)","journal-title":"KI - K\u00fcnstliche Intelligenz"},{"key":"7_CR12","unstructured":"Gabbay, D.M., Ohlbach, H.J.: Quantifier elimination in second-order predicate logic. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 425\u2013435. Morgan Kaufmann, San Mateo (1992)"},{"key":"7_CR13","unstructured":"Gabbay, D.M., Schmidt, R.A., Sza\u0142as, A.: Second-Order Quantifier Elimination: Foundations. College Publications, Computational Aspects and Applications (2008)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-87803-2_19","volume-title":"Logics in Artificial Intelligence","author":"A Herzig","year":"2008","unstructured":"Herzig, A., Mengin, J.: Uniform interpolation by resolution in modal logic. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 219\u2013231. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87803-2_19"},{"key":"7_CR15","first-page":"251","volume":"1","author":"U Hustadt","year":"2004","unstructured":"Hustadt, U., Schmidt, R.A., Georgieva, L.: A survey of decidable first-order fragments and description logics. J. Relat. Methods Comput. Sci. 1, 251\u2013276 (2004)","journal-title":"J. Relat. Methods Comput. Sci."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Jung, J., Lutz, C., Pulcini, H., Wolter, F.: Logical separability of incomplete data under ontologies. In: 17th International Conference on Principles of Knowledge Representation and Reasoning, pp. 517\u2013528 (2020)","DOI":"10.24963\/kr.2020\/52"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-01907-4_3","volume-title":"Modular Ontologies","author":"B Konev","year":"2009","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Formal properties of modularisation. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 25\u201366. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01907-4_3"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.artint.2013.07.004","volume":"203","author":"B Konev","year":"2013","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203, 66\u2013103 (2013)","journal-title":"Artif. Intell."},{"key":"7_CR19","unstructured":"Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 830\u2013835. Morgan Kaufmann (2009)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-40885-4_7","volume-title":"Frontiers of Combining Systems","author":"P Koopmann","year":"2013","unstructured":"Koopmann, P., Schmidt, R.A.: Uniform interpolation of $$\\cal{ALC}$$-ontologies using fixpoints. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 87\u2013102. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40885-4_7"},{"key":"7_CR21","doi-asserted-by":"publisher","unstructured":"Koopmann, P., Schmidt, R.A.: Count and forget: uniform interpolation of $$\\cal{SHQ}$$-ontologies. In: Automated Reasoning. Lecture Notes in Artificial Intelligence, vol. 8562, pp. 434\u2013448. Springer, Berlin (2014). https:\/\/doi.org\/10.1007\/3-540-45470-5","DOI":"10.1007\/3-540-45470-5"},{"key":"7_CR22","unstructured":"Koopmann, P., Schmidt, R.A.: Saturation-based forgetting in the description logic $$\\cal{SIF}$$. In: Proceedings of the 28th International Workshop on Description Logics, vol. 1350. CEUR-WS.org (2015)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Kushida, T., Kozaki, K., Kawamura, T., Tateisi, Y., Yamamoto, Y., Takagi, T.: Interconnection of biological knowledge using NikkajiRDF and interlinking ontology for biological concepts. New Gen. Compu. 37, 1\u201325 (2019)","DOI":"10.1007\/s00354-019-00074-y"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: formula-variable independence and forgetting. J. Artif. Intell. Res. 18, 391\u2013443 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR25","first-page":"154","volume":"1994","author":"F Lin","year":"1994","unstructured":"Lin, F., Reiter, R.: Forget it!. Proc. AAAI 1994, 154\u2013159 (1994)","journal-title":"Proc. AAAI"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Lin, F., Reiter, R.: How to progress a database (and why) I. logical foundations. In: Principles of Knowledge Representation and Reasoning, pp. 425\u2013436. Morgan Kaufmann, Cambridge (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50135-4"},{"key":"7_CR27","unstructured":"Ludwig, M., Konev, B.: Towards practical uniform interpolation and forgetting for $$\\cal{ALC}$$ tboxes. In: Proceedings of the 26th International Workshop on Description Logics. CEUR-WS (2013)"},{"key":"7_CR28","unstructured":"Lutz, C., Wolter, F.: Foundations for uniform interpolation and forgetting in expressive description logics. In: IJCAI International Joint Conference on Artificial Intelligence. AAAI Press (2011)"},{"key":"7_CR29","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic $$\\cal{EL}$$. J. Symbol. Comput. 45, 194\u2013228 (2010)"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Matentzoglu, N., Bail, S., Parsia, B.: A snapshot of the OWL web. In: The Semantic Web - ISWC 2013, pp. 331\u2013346. Springer (2013)","DOI":"10.1007\/978-3-642-41335-3_21"},{"key":"7_CR31","unstructured":"Nonnengart, A., Szalas, A.: A fixpoint approach to second-order quantifier elimination with applications to correspondence theory. In: Orlowska, E. (ed.) Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (1999) vol. 24, January 1998"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Nonnengart, A., Weidenbach, C.: Computing small clause normal forms. In: Handbook of Automated Reasoning, pp. 335\u2013367. North-Holland, Amsterdam (2001)","DOI":"10.1016\/B978-044450813-3\/50008-4"},{"key":"7_CR33","unstructured":"Sakr, M., Schmidt, R.A.: Fine-grained forgetting for the description logic $$\\cal{ALC}$$ (2021). http:\/\/www.cs.man.ac.uk\/~schmidt\/publications\/SakrSchmidt21a.pdf."},{"issue":"1","key":"7_CR34","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jal.2012.01.001","volume":"10","author":"RA Schmidt","year":"2012","unstructured":"Schmidt, R.A.: The Ackermann approach for modal logic, correspondence theory and second-order reduction. J. Appl. Logic 10(1), 52\u201374 (2012)","journal-title":"J. Appl. Logic"},{"issue":"2","key":"7_CR35","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacif. J. Math. 5(2), 285\u2013309 (1955)","journal-title":"Pacif. J. Math."},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1016\/j.jsc.2011.12.034","volume":"47","author":"C Wernhard","year":"2012","unstructured":"Wernhard, C.: Projection and scope-determined circumscription. J. Symbol. Comput. 47, 1089\u20131108 (2012)","journal-title":"J. Symbol. Comput."},{"key":"7_CR37","unstructured":"Wernhard, C.: Application patterns of projection\/forgetting. In: Workshop on Interpolation: From Proofs to Applications (iPRA 2014) (2014)"},{"key":"7_CR38","unstructured":"Zhang, Y., Zhou, Y.: Forgetting revisited. In: Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (2010)"},{"key":"7_CR39","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Schmidt, R.A.: Concept forgetting in $$\\cal{ALCOI}$$-ontologies using an Ackermann approach. In: The Semantic Web, 14th International Semantic Web Conference. Lecture Notes in Computer Science, vol. 9366, pp. 587\u2013602. Springer (2015). https:\/\/doi.org\/10.1007\/b102467","DOI":"10.1007\/b102467"},{"key":"7_CR40","unstructured":"Zhao, Y., Schmidt, R.A.: Forgetting concept and role symbols in $$\\cal{ALCOIH}\\mu ^+(\\nabla ,\\sqcap )$$-ontologies. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, pp. 1345\u20131352. AAAI Press\/IJCAI (2016)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Schmidt, R.A.: Role forgetting for $$\\cal{ALCOQH}(\\nabla )$$-ontologies using an Ackermann approach. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp. 1354\u20131361. AAAI Press\/IJCAI (2017)","DOI":"10.24963\/ijcai.2017\/188"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Schmidt, R.A.: On concept forgetting in description logics with qualified number restrictions. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 1984\u20131990. AAAI Press\/IJCAI (2018)","DOI":"10.24963\/ijcai.2018\/274"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1007\/978-3-030-29436-6_34","volume-title":"Automated Deduction \u2013 CADE 27","author":"Y Zhao","year":"2019","unstructured":"Zhao, Y., Schmidt, R.A.: FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 568\u2013579. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29436-6_34"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86205-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T23:06:58Z","timestamp":1630537618000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86205-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030862046","9783030862053"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86205-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"1 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FroCoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Frontiers of Combining Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Birmingham","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"frocos2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/frocos2021.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"70% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}