{"type":"ScholarlyArticle","title":"Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies","authors":[{"name":"Stefan Borgwardt","slug":"stefan-borgwardt","given":"Stefan","family":"Borgwardt","affiliation":"Chair for Automata Theory , Technische Universität Dresden , Germany"},{"name":"Walter Forkel","slug":"walter-forkel","given":"Walter","family":"Forkel","affiliation":"Chair for Automata Theory , Technische Universität Dresden , Germany"}],"abstract":"Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. \r\nFor querying the absence of information, however, there exist only few ontology-based approaches. \r\nMoreover, these proposals conflate the closed-domain and closed-world assumption, and therefore are not suited to deal with the anonymous objects that are common in ontological reasoning. \r\nWe propose a new closed-world semantics for answering conjunctive queries with negation over ontologies formulated in the description logic ELH-bottom, based on the minimal canonical model. \r\nWe propose a rewriting strategy for dealing with negated query atoms, which shows that query answering is possible in polynomial time in data complexity.","doi":"10.24963/ijcai.2019/849","url":"https://ijcai.org/proceedings/2019/849","pdf":"https://ijcai.org/proceedings/2019/0849.pdf","markdown":"https://ijcai.org/proceedings/2019/849.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/849","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Best Sister Conferences","track":"Best Sister Conferences","number":849,"pages":{"first":6131,"last":6135},"keywords":["Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Knowledge Representation Languages"],"videos":[],"references":[{"position":1,"raw":"[Ahmetaj et al., 2016] Shqiponja Ahmetaj, Magdalena Ortiz, and Mantas Simkus. Polynomial datalog rewritings for expressive description logics with closed predicates. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI'16), pages 878-885. AAAI Press, 2016.","title":"Shqiponja Ahmetaj, Magdalena Ortiz, and Mantas Simkus. Polynomial datalog rewritings for expressive description logics with closed predicates","authors":"Ahmetaj","year":"2016","venue":"Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI'16)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Aronson, 2001] Alan R Aronson. Effective mapping of biomedical text to the UMLS Metathesaurus: The MetaMap program. In Proceedings of the AMIA Symposium, pages 17-21. American Medical Informatics Association, 2001.","title":"Effective mapping of biomedical text to the UMLS Metathesaurus: The MetaMap program","authors":"Alan R Aronson","year":"2001","venue":"Proceedings of the AMIA Symposium","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2005] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI'05), pages 364-369. Professional Book Center, 2005.","title":"Pushing the EL envelope","authors":"Baader","year":"2005","venue":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI'05)","doi":null,"url":null,"internal_url":null},{"position":4,"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 Univer- sity Press, 2nd edition, 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":5,"raw":"[Bárány et al., 2012] Vince Bárány, Balder ten Cate, and Mar- tin Otto. Queries with guarded negation. Proc. of the VLDB Endowment, 5(11):1328-1339, 2012.","title":"Queries with guarded negation","authors":"Vince Bárány, Martin Balder Ten Cate, Otto","year":"2012","venue":"Proc. of the VLDB Endowment","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Besana et al., 2010] Paolo Besana, Marc Cuggia, Oussama Zekri, Annabel Bourde, and Anita Burgun. Using semantic web technologies for clinical trial recruitment. In Proc. of the 9th Int. Semantic Web Conf. (ISWC'10), pages 34-49. Springer, 2010.","title":"Using semantic web technologies for clinical trial recruitment","authors":"Paolo Besana, Marc Cuggia, Oussama Zekri, Annabel Bourde, Anita Burgun","year":"2010","venue":"Proc. of the 9th Int. Semantic Web Conf. (ISWC'10)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bienvenu and Ortiz, 2015] Meghyn Bienvenu and Mag- dalena Ortiz. Ontology-mediated query answering with data-tractable description logics. In Reasoning Web 11th Int. Summer School, pages 218-307. Springer, 2015.","title":"Meghyn Bienvenu and Magdalena Ortiz. Ontology-mediated query answering with data-tractable description logics","authors":"Ortiz Bienvenu","year":"2015","venue":"Reasoning Web 11th Int. Summer School","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Borgwardt and Forkel, 2019] Stefan Borgwardt and Walter Forkel. Closed-world semantics for conjunctive queries with negation over ELH ⊥ ontologies. In Proc. of the 16th European Conf. on Logics in Artificial Intelligence (JELIA'19), Rende, Italy, 2019. Springer.","title":"Closed-world semantics for conjunctive queries with negation over ELH ⊥ ontologies","authors":"Forkel Borgwardt, Stefan Borgwardt, Walter Forkel","year":"2019","venue":"Proc. of the 16th European Conf. on Logics in Artificial Intelligence (JELIA'19)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Calvanese et al., 2006] Diego Calvanese, Giuseppe De Gia- como, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Epistemic first-order queries over description logic knowledge bases. In Proc. of the 19th Int. Workshop on Description Logics (DL'06), pages 51-61, 2006.","title":"Epistemic first-order queries over description logic knowledge bases","authors":"Calvanese","year":"2006","venue":"Proc. of the 19th Int. Workshop on Description Logics (DL'06)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Cresswell and Sheikh, 2017] Kathrin M. Cresswell and Aziz Sheikh. Inpatient clinical information systems. In Key Advances in Clinical Informatics, chapter 2, pages 13-29. Academic Press, 2017.","title":"Inpatient clinical information systems","authors":"Kathrin M Cresswell, Aziz Sheikh","year":"2017","venue":"Key Advances in Clinical Informatics","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Deutsch et al., 2008] Alin Deutsch, Alan Nash, and Jef- frey B. Remmel. The chase revisited. In Proc. of the 27th ACM Symp. on Principles of Database Systems (PODS'08), pages 149-158. ACM, 2008.","title":"The chase revisited","authors":"Alin Deutsch, Alan Nash, Jeffrey B Remmel","year":"2008","venue":"Proc. of the 27th ACM Symp. on Principles of Database Systems (PODS'08)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Eiter et al., 2012] Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao. Query rewrit- ing for horn-SHIQ plus rules. In Proc. of the 26th AAAI Conf. on Artificial Intelligence (AAAI'12), pages 726-733. AAAI Press, 2012. Fagin et al., 2005]","title":"Query rewriting for horn-SHIQ plus rules","authors":"Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, Guohui Xiao","year":"2005","venue":"Proc. of the 26th AAAI Conf. on Artificial Intelligence (AAAI'12)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa. Data exchange: Seman- tics and query answering. Theoretical Computer Science, 336(1):89-124, 2005.","title":"Data exchange: Semantics and query answering","authors":"Ronald Fagin, G Phokion, Renée J Kolaitis, Lucian Miller, Popa","year":"2005","venue":"Theoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Hernich et al., 2013] André Hernich, Clemens Kupke, Thomas Lukasiewicz, and Georg Gottlob. Well-founded semantics for extended datalog and ontological reasoning. In Proc. of the 32nd Symp. on Principles of Database Systems (PODS'13), pages 225-236. ACM, 2013.","title":"Well-founded semantics for extended datalog and ontological reasoning","authors":"Hernich","year":"2013","venue":"Proc. of the 32nd Symp. on Principles of Database Systems (PODS'13)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Johnson et al., 2016] Alistair E. W. Johnson, Tom J. Pollard, Lu Shen, Li-wei H. Lehman, Mengling Feng, Mohammad Ghassemi, Benjamin Moody, Peter Szolovits, Leo Anthony Celi, and Roger G. Mark. MIMIC-III, a freely accessible critical care database. Scientific Data, 3(160035):1-9, 2016.","title":"MIMIC-III, a freely accessible critical care database","authors":"E W Alistair, Tom J Johnson, Lu Pollard, Shen, H Li-Wei, Mengling Lehman, Mohammad Feng, Benjamin Ghassemi, Peter Moody, Leo Szolovits, Roger G Anthony Celi, Mark","year":"2016","venue":"Scientific Data","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Kontchakov et al., 2011] Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael Zakharyaschev. The combined approach to ontology-based data access. In Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI'11), pages 2656-2661. AAAI Press, 2011.","title":"The combined approach to ontology-based data access","authors":"Kontchakov","year":"2011","venue":"Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI'11)","doi":null,"url":null,"internal_url":"/proceedings/2011/442"},{"position":17,"raw":"[Köpcke and Prokosch, 2014] Felix Köpcke and Hans-Ulrich Prokosch. Employing computers for the recruitment into clinical trials: A comprehensive systematic review. Journal of Medical Internet Research, 16(7):e161, 2014.","title":"Employing computers for the recruitment into clinical trials: A comprehensive systematic review","authors":"Prokosch Köpcke","year":"2014","venue":"Journal of Medical Internet Research","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lutz et al., 2009] Carsten Lutz, David Toman, and Frank Wolter. Conjunctive query answering in the description logic EL using a relational database system. In Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI'09), pages 2070-2075. AAAI Press, 2009.","title":"Conjunctive query answering in the description logic EL using a relational database system","authors":"Carsten Lutz, David Toman, Frank Wolter","year":"2009","venue":"Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI'09)","doi":null,"url":null,"internal_url":"/proceedings/2009/341"},{"position":19,"raw":"[Lutz et al., 2013] Carsten Lutz, Inanc Seylan, and Frank Wolter. Ontology-based data access with closed predicates is inherently intractable (sometimes). In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI'13), pages 1024-1030. AAAI Press, 2013.","title":"Ontology-based data access with closed predicates is inherently intractable (sometimes)","authors":"Carsten Lutz, Inanc Seylan, Frank Wolter","year":"2013","venue":"Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI'13)","doi":null,"url":null,"internal_url":"/proceedings/2013/156"},{"position":20,"raw":"[Marnette, 2009] Bruno Marnette. Generalized schema map- pings: From termination to tractability. In Proc. of the 28th Symp. on Principles of Database Systems (PODS'09), pages 13-22. ACM, 2009.","title":"Generalized schema mappings: From termination to tractability","authors":"Bruno Marnette","year":"2009","venue":"Proc. of the 28th Symp. on Principles of Database Systems (PODS'09)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Ni et al., 2015] Yizhao Ni, Jordan Wright, John Perentesis, Todd Lingren, Louise Deleger, Megan Kaiser, Isaac Kohane, and Imre Solti. Increasing the efficiency of trial-patient matching: Automated clinical trial eligibility pre-screening for pediatric oncology patients. BMC Medical Informatics and Decision Making, 15:1-10, 2015.","title":"Increasing the efficiency of trial-patient matching: Automated clinical trial eligibility pre-screening for pediatric oncology patients","authors":"Ni","year":"2015","venue":"BMC Medical Informatics and Decision Making","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Patel et al., 2007] Chintan Patel, James Cimino, Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Ker- shenbaum, Li Ma, Edith Schonberg, and Kavitha Srinivas. Matching patient records to clinical trials using ontologies. In Proc. of the 6th Int. Semantic Web Conf. (ISWC'07), pages 816-829. Springer, 2007.","title":"Matching patient records to clinical trials using ontologies","authors":"Chintan Patel, James Cimino, Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, Edith Schonberg, Kavitha Srinivas","year":"2007","venue":"Proc. of the 6th Int. Semantic Web Conf. (ISWC'07)","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Wolter, 2000] Frank Wolter. First order common knowledge logics. Studia Logica, 65(2):249-271, 2000.","title":"First order common knowledge logics","authors":"Frank Wolter","year":"2000","venue":"Studia Logica","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}