{"type":"ScholarlyArticle","title":"Deductive Module Extraction for Expressive Description Logics","authors":[{"name":"Patrick Koopmann","slug":"patrick-koopmann","given":"Patrick","family":"Koopmann","affiliation":"Institute for Theoretical Computer Science , Technische Universität Dresden , Germany"},{"name":"Jieying Chen","slug":"jieying-chen","given":"Jieying","family":"Chen","affiliation":"SIRIUS Centre , Department of Informatics , University of Oslo , Norway"}],"abstract":"In deductive module extraction, we determine a small subset of an ontology for a given vocabulary that preserves all logical entailments that can be expressed in that vocabulary. While in the literature stronger module notions have been discussed, we argue that for applications in ontology analysis and ontology reuse, deductive modules, which are decidable and potentially smaller, are often sufficient. We present methods based on uniform interpolation for extracting different variants of deductive modules, satisfying properties such as completeness, minimality and robustness under replacements, the latter being particularly relevant for ontology reuse. An evaluation of our implementation shows that the modules computed by our method are often significantly smaller than those computed by existing methods.","doi":"10.24963/ijcai.2020/227","url":"https://ijcai.org/proceedings/2020/227","pdf":"https://ijcai.org/proceedings/2020/0227.pdf","markdown":"https://ijcai.org/proceedings/2020/227.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/227","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":227,"pages":{"first":1636,"last":1643},"keywords":["Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/25553/file_25553.m3u8","length_sec":296,"provider":"hls"}],"references":[{"position":1,"raw":"[Baader and Peñaloza, 2007] Franz Baader and Rafael Peñaloza. Axiom pinpointing in general tableaux. In Proc. of TABLEAUX'07, pages 11-27. Springer, 2007.","title":"Axiom pinpointing in general tableaux","authors":"Peñaloza Baader, Franz Baader, Rafael Peñaloza","year":"2007","venue":"Proc. of TABLEAUX'07","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 2007] Franz Baader, Diego Calvanese, Deb- orah L. McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The description logic handbook: the- ory, implementation, and applications. Cambridge Uni- versity Press, 2007.","title":"The description logic handbook: theory, implementation, and applications","authors":"Franz Baader, Diego Calvanese, L Deborah","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Calvanese and De Giacomo, 2003] Diego Calvanese and Giuseppe De Giacomo. Expressive description logics. In The Description Logic Handbook: Theory, Implementa- tion, and Applications, pages 178-218. Cambridge Uni- versity Press, 2003.","title":"Diego Calvanese and Giuseppe De Giacomo","authors":"Calvanese, De Giacomo","year":"2003","venue":"The Description Logic Handbook: Theory, Implementation, and Applications","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Chen et al., 2017] Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther. Zooming in on ontologies: Minimal modules and best excerpts. In Proc. of ISWC'17, pages 173-189. Springer, 2017.","title":"Zooming in on ontologies: Minimal modules and best excerpts","authors":"Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther","year":"2017","venue":"Proc. of ISWC'17","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chen et al., 2018] Jieying Chen, Michel Ludwig, and Dirk Walther. Computing minimal subsumption modules of on- tologies. In Proc. of GCAI'18, pages 41-53. EasyChair, 2018.","title":"Computing minimal subsumption modules of ontologies","authors":"Chen","year":"2018","venue":"Proc. of GCAI'18","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Chen et al., 2019] Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther. Computing minimal projection modules for ELH r -terminologies. In Proc. of JELIA'19, volume 11468, pages 355-370. Springer, 2019.","title":"Computing minimal projection modules for ELH r -terminologies","authors":"Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther","year":"2019","venue":"Proc. of JELIA'19","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gatens et al., 2014] William Gatens, Boris Konev, and Frank Wolter. Lower and upper approximations for de- pleting modules of description logic ontologies. In Proc. of ECAI'14, pages 345-350. IOS Press, 2014.","title":"Lower and upper approximations for depleting modules of description logic ontologies","authors":"Gatens","year":"2014","venue":"Proc. of ECAI'14","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Ghilardi et al., 2006] Silvio Ghilardi, Carsten Lutz, and Frank Wolter. Did I damage my ontology? A case for conservative extensions in description logics. In Proc. of KR'06, pages 187-197. AAAI Press, 2006.","title":"Did I damage my ontology? A case for conservative extensions in description logics","authors":"Silvio Ghilardi, Carsten Lutz, Frank Wolter","year":"2006","venue":"Proc. of KR'06","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Glimm et al., 2014] Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. HermiT: An OWL 2 reasoner. J. Autom. Reasoning, 53(3):245-269, 2014.","title":"HermiT: An OWL 2 reasoner","authors":"Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang","year":"2014","venue":"J. Autom. Reasoning","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Grau et al., 2008] Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Modular reuse of ontologies: Theory and practice. J. Artif. Intell. Res., 31:273-318, 2008.","title":"Modular reuse of ontologies: Theory and practice","authors":"Cuenca Bernardo, Ian Grau, Yevgeny Horrocks, Ulrike Kazakov, Sattler","year":"2008","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Grimm and Wissmann, 2011] Stephan Grimm and Jens Wissmann. Elimination of redundancy in ontologies. In Proceedings of ESWC 2011, volume 6643 of LNCS, pages 260-274. Springer, 2011.","title":"Elimination of redundancy in ontologies","authors":"Wissmann Grimm, Stephan Grimm, Jens Wissmann","year":"2011","venue":"Proceedings of ESWC 2011","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Horridge et al., 2008] Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Laconic and precise justifications in OWL. In Proc. of ISWC'08, volume 5318 of LNCS, pages 323- 338. Springer, 2008.","title":"Laconic and precise justifications in OWL","authors":"Matthew Horridge, Bijan Parsia, Ulrike Sattler","year":"2008","venue":"Proc. of ISWC'08","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Jiménez-Ruiz and Grau, 2011] Ernesto Jiménez-Ruiz and Bernardo Cuenca Grau. Logmap: Logic-based and scal- able ontology matching. In Proc. of ISWC'11, pages 273- 288. Springer, 2011.","title":"Logmap: Logic-based and scalable ontology matching","authors":"Jiménez-Ruiz, Grau, Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau","year":"2011","venue":"Proc. of ISWC'11","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Jiménez-Ruiz et al., 2008] Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, and Rafael Berlanga Llavori. Safe and economic re-use of ontologies: A logic-based methodology and tool support. In Proc. of ESWC'08, pages 185-199.","title":"Safe and economic re-use of ontologies: A logic-based methodology and tool support","authors":"Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga, Llavori","year":null,"venue":"Proc. of ESWC'08","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"STII, 2008.","title":null,"authors":"Stii","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Konev et al., 2009] Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Formal properties of modular- isation. In Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, volume 5445 of LNCS, pages 25-66. Springer, 2009.","title":"Formal properties of modularisation","authors":"Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter","year":"2009","venue":"Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Konev et al., 2012] Boris Konev, Michel Ludwig, Dirk Walther, and Frank Wolter. The logical difference for the lightweight description logic EL. J. Artif. Intell. Res., 44:633-708, 2012.","title":"The logical difference for the lightweight description logic EL","authors":"Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter","year":"2012","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Konev et al., 2013] Boris Konev, Carsten Lutz, Dirk Walther, and Frank 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":"Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Kontchakov et al., 2010] Roman Kontchakov, Frank Wolter, and Michael Zakharyaschev. Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell., 174(15):1093-1141, 2010.","title":"Roman Kontchakov, Frank Wolter, and Michael Zakharyaschev. Logic-based ontology comparison and module extraction, with an application to DL-Lite","authors":"Kontchakov","year":"2010","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Koopmann and Chen, 2020] Patrick Koopmann and Jieying Chen. Deductive module extraction for expressive de- scription logics (extended version). LTCS-Report 20-06, Chair for Automata Theory, Institute for Theoretical Com- puter Science, Technische Universität Dresden, Dresden, Germany, 2020. See https://lat.inf.tu-dresden.de/research/ reports.html.","title":"Deductive module extraction for expressive description logics (extended version)","authors":"Chen ; Koopmann, Patrick Koopmann, Jieying Chen","year":"2020","venue":null,"doi":null,"url":"https://lat.inf.tu-dresden.de/research/reports.html","internal_url":null},{"position":21,"raw":"[Koopmann and Schmidt, 2013] Patrick Koopmann and Re- nate A. Schmidt. Forgetting concept and role symbols in ALCH-ontologies. In Proc. of LPAR'13, pages 552-567. Springer, 2013.","title":"Forgetting concept and role symbols in ALCH-ontologies","authors":"Schmidt Koopmann, Patrick Koopmann, Renate A Schmidt","year":"2013","venue":"Proc. of LPAR'13","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Koopmann and Schmidt, 2014] Patrick Koopmann and Re- nate A. Schmidt. Count and forget: Uniform interpolation of SHQ-ontologies. In Proc. of IJCAR'14, volume 8562 of LNCS, pages 434-448. Springer, 2014.","title":"Count and forget: Uniform interpolation of SHQ-ontologies","authors":"Schmidt Koopmann, Patrick Koopmann, Renate A Schmidt","year":"2014","venue":"Proc. of IJCAR'14","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Koopmann, 2020] Patrick Koopmann. LETHE: Forgetting and uniform interpolation for expressive description log- ics. KI -Künstliche Intelligenz, German Journal of Artifi- cial Intelligence, 2020.","title":"LETHE: Forgetting and uniform interpolation for expressive description logics","authors":"Patrick Koopmann","year":"2020","venue":"KI -Künstliche Intelligenz","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Ludwig, 2014] Michel Ludwig. Just: a tool for computing justifications w.r.t. ELH ontologies. In Proc. of ORE'14, pages 1-7. CEUR-WS.org, 2014.","title":"Just: a tool for computing justifications w.r.t. ELH ontologies","authors":"Ludwig ;, Michel Ludwig","year":"2014","venue":"Proc. of ORE'14","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Lutz and Wolter, 2007] Carsten Lutz and Frank Wolter. Conservative extensions in the lightweight description logic EL. In Proc. of CADE'07, volume 4603, pages 84- 99. Springer, 2007.","title":"Conservative extensions in the lightweight description logic EL","authors":"Wolter Lutz, Carsten Lutz, Frank Wolter","year":"2007","venue":"Proc. of CADE'07","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Lutz and Wolter, 2011] Carsten Lutz and Frank Wolter. Foundations for uniform interpolation and forgetting in ex- pressive description logics. In Proc. of IJCAI'11, pages 989-995. AAAI Press, 2011.","title":"Foundations for uniform interpolation and forgetting in expressive description logics","authors":"Wolter Lutz, Carsten Lutz, Frank Wolter","year":"2011","venue":"Proc. of IJCAI'11","doi":null,"url":null,"internal_url":"/proceedings/2011/170"},{"position":27,"raw":"[Parsia et al., 2017] Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonc ¸alves, Birte Glimm, and Andreas Steigmiller. The OWL Reasoner Evaluation (ORE) 2015 competition report. J. Autom. Reasoning, 59(4):455-482, 2017.","title":"The OWL Reasoner Evaluation (ORE) 2015 competition report","authors":"Bijan Parsia, Nicolas Matentzoglu, Rafael S Gonc, Birte Glimm, Andreas Steigmiller","year":"2017","venue":"J. Autom. Reasoning","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Romero et al., 2012] Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks. MORe: Modular combination of OWL reasoners for ontology classification. In Proc. of ISWC'12, pages 1-16. Springer, 2012.","title":"MORe: Modular combination of OWL reasoners for ontology classification","authors":"Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks","year":"2012","venue":"Proc. of ISWC'12","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Romero et al., 2016] Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, and Ian Horrocks. Module extrac- tion in expressive ontology languages via datalog reason- ing. J. Artif. Intell. Res., 55:499-564, 2016.","title":"Module extraction in expressive ontology languages via datalog reasoning","authors":"Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks","year":"2016","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Vescovo et al., 2011] Chiara Del Vescovo, Bijan Parsia, Ul- rike Sattler, and Thomas Schneider. The modular struc- ture of an ontology: Atomic decomposition. In Proc. of IJCAI'11, pages 2232-2237. AAAI Press, 2011.","title":"The modular structure of an ontology: Atomic decomposition","authors":"Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider","year":"2011","venue":"Proc. of IJCAI'11","doi":null,"url":null,"internal_url":"/proceedings/2011/372"},{"position":31,"raw":"[Zhao and Schmidt, 2018] Yizheng Zhao and Renate A. Schmidt. FAME: an automated tool for semantic forget- ting in expressive description logics. In Proc. of IJCAR'18, volume 10900 of LNCS, pages 19-27. Springer, 2018.","title":"FAME: an automated tool for semantic forgetting in expressive description logics","authors":"Schmidt ; ] Yizheng Zhao, Renate A Zhao, Schmidt","year":"2018","venue":"Proc. of IJCAR'18","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}