{"type":"ScholarlyArticle","title":"A Journey into Ontology Approximation: From Non-Horn to Horn","authors":[{"name":"Anneke Haga","slug":"anneke-haga","given":"Anneke","family":"Haga","affiliation":"Universität Bremen , Germany"},{"name":"Carsten Lutz","slug":"carsten-lutz","given":"Carsten","family":"Lutz","affiliation":"Universität Bremen , Germany"},{"name":"Johannes Marti","slug":"johannes-marti","given":"Johannes","family":"Marti","affiliation":"Universiteit van Amsterdam , Netherlands"},{"name":"Frank Wolter","slug":"frank-wolter","given":"Frank","family":"Wolter","affiliation":"University of Liverpool , UK"}],"abstract":"We study complete approximations of an ontology formulated in a\r\n  non-Horn description logic (DL) such as ALC in a Horn DL such\r\n  as EL. We provide concrete approximation schemes that are\r\n  necessarily infinite and observe that in the ELU-to-EL case\r\n  finite approximations tend to exist in practice and are guaranteed to\r\n  exist when the source ontology is acyclic. In contrast, neither of\r\n  this is the case for ELU_bot-to-EL_bot and for\r\n  ALC-to-EL_bot approximations. We also define a notion of\r\n  approximation tailored towards ontology-mediated querying, connect\r\n  it to subsumption-based approximations, and identify a case where\r\n  finite approximations are guaranteed to exist.","doi":"10.24963/ijcai.2020/253","url":"https://ijcai.org/proceedings/2020/253","pdf":"https://ijcai.org/proceedings/2020/0253.pdf","markdown":"https://ijcai.org/proceedings/2020/253.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/253","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":253,"pages":{"first":1827,"last":1833},"keywords":["Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/24800/file_24800.m3u8","length_sec":300,"provider":"hls"}],"references":[{"position":1,"raw":"[Baader et al., 2017] Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. An Introduction to Description Logic. Cambridge University Press, 2017.","title":"An Introduction to Description Logic","authors":"Baader","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bienvenu et al., 2014] Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter. Ontology-based data ac- cess: A study through disjunctive datalog, CSP, and MM- SNP. ACM Trans. Database Syst., 39(4):33:1-33:44, 2014.","title":"Ontology-based data access: A study through disjunctive datalog, CSP, and MM-SNP","authors":"Bienvenu","year":"2014","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bötcher et al., 2019] Anneke Bötcher, Carsten Lutz, and Frank Wolter. Ontology approximation in Horn description logics. In Proc. of IJCAI, pages 1574-1580. ijcai.org, 2019.","title":"Ontology approximation in Horn description logics","authors":"Anneke Bötcher, Carsten Lutz, Frank Wolter","year":"2019","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/218"},{"position":4,"raw":"[Botoeva et al., 2010] Elena Botoeva, Diego Calvanese, and Mariano Rodriguez-Muro. Expressive approximations in DL-Lite ontologies. In Proc. of AIMSA, volume 6304 of LNCS, pages 21-31. Springer, 2010.","title":"Expressive approximations in DL-Lite ontologies","authors":"Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro","year":"2010","venue":"Proc. of AIMSA","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Calvanese et al., 2007] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, and Ric- cardo Rosati. Tractable reasoning and efficient query an- swering in description logics: The DL-Lite family. J. Autom. Reasoning, 39(3):385-429, 2007.","title":"Tractable reasoning and efficient query answering in description logics: The DL-Lite family","authors":"Calvanese","year":"2007","venue":"J. Autom. Reasoning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Calvanese et al., 2009] Diego Calvanese, Giuseppe De Gia- como, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, and Riccardo Rosati. On- tologies and databases: The DL-Lite approach. In Reason- ing Web, volume 5689 of LNCS, pages 255-356. Springer, 2009.","title":"Ontologies and databases: The DL-Lite approach","authors":"Calvanese","year":"2009","venue":"Reasoning Web","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Carral et al., 2014] David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, and Ian Hor- rocks. EL-ifying ontologies. In Proc. of IJCAR, pages 464-479, 2014.","title":"EL-ifying ontologies","authors":"David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks","year":"2014","venue":"Proc. of IJCAR","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Cucala et al., 2019] David Tena Cucala, Bernardo Cuenca Grau, and Ian Horrocks. 15 years of consequence-based reasoning. In Description Logic, Theory Combination, and All That -Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, pages 573-587. Springer, 2019.","title":"15 years of consequence-based reasoning","authors":"David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks","year":"2019","venue":"Description Logic, Theory Combination, and All That -Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Feier et al., 2018] Cristina Feier, Carsten Lutz, and Frank Wolter. From conjunctive queries to instance queries in ontology-mediated querying. In Proc. of IJCAI, pages 1810-1816. ijcai.org, 2018.","title":"From conjunctive queries to instance queries in ontology-mediated querying","authors":"Cristina Feier, Carsten Lutz, Frank Wolter","year":"2018","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2018/250"},{"position":10,"raw":"[Feier et al., 2019] Cristina Feier, Antti Kuusisto, and Carsten Lutz. Rewritability in monadic disjunctive dat- alog, MMSNP, and expressive description logics. Logical Methods in Computer Science, 15(2), 2019.","title":"Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics","authors":"Cristina Feier, Antti Kuusisto, Carsten Lutz","year":"2019","venue":"Logical Methods in Computer Science","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gottlob et al., 2014] Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, and Michael Zakharyaschev. The price of query rewriting in ontology-based data access. Artif. Intell., 213:42-59, 2014.","title":"The price of query rewriting in ontology-based data access","authors":"Gottlob","year":"2014","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Haga et al., 2020] Anneke Haga, Carsten Lutz, Johannes Marti, and Frank Wolter. A journey into ontology approxi- mation: From Non-Horn to Horn. CoRR, abs/2001.07754, 2020.","title":"A journey into ontology approximation: From Non-Horn to Horn","authors":"Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Kaminski et al., 2016] Mark Kaminski, Yavor Nenov, and Bernardo Cuenca Grau. Datalog rewritability of disjunctive datalog programs and non-Horn ontologies. Artif. Intell., 236:90-118, 2016.","title":"Datalog rewritability of disjunctive datalog programs and non-Horn ontologies","authors":"Kaminski","year":"2016","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lutz and Wolter, 2010] Carsten Lutz and Frank Wolter. De- ciding inseparability 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":"Wolter Lutz, Carsten Lutz, Frank Wolter","year":"2010","venue":"J. Symb. Comput","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lutz et al., 2012] Carsten Lutz, Inanc ¸Seylan, and Frank Wolter. An automata-theoretic approach to uniform in- terpolation and approximation in the description logic EL. In Proc. of KR. AAAI Press, 2012.","title":"An automata-theoretic approach to uniform interpolation and approximation in the description logic EL","authors":"Carsten Lutz, Frank Inanc ¸seylan, Wolter","year":"2012","venue":"Proc. of KR","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Pan and Thomas, 2007] Jeff Z. Pan and Edward Thomas. Approximating OWL-DL ontologies. In AAAI, pages 1434- 1439, 2007.","title":"Approximating OWL-DL ontologies","authors":"Jeff Z Pan, Edward Thomas","year":"2007","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Ren et al., 2010] Yuan Ren, Jeff Z. Pan, and Yuting Zhao. Soundness preserving approximation for tbox reasoning. In Proc. of AAAI. AAAI Press, 2010.","title":"Soundness preserving approximation for tbox reasoning","authors":"Jeff Z Yuan Ren, Yuting Pan, Zhao","year":"2010","venue":"Proc. of AAAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Zhou et al., 2015] Yujiao Zhou, Bernardo Cuenca Grau, Ya- vor Nenov, Mark Kaminski, and Ian Horrocks. Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner. J. Artif. Intell. Res., 54:309-367, 2015.","title":"Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner","authors":"Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks","year":"2015","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}