{"type":"ScholarlyArticle","title":"Query Rewriting for DL-Lite with n-ary Concrete Domains","authors":[{"name":"Franz Baader","slug":"franz-baader","given":"Franz","family":"Baader","affiliation":"Faculty of Computer Science Technische Universität Dresden , Germany"},{"name":"Stefan Borgwardt","slug":"stefan-borgwardt","given":"Stefan","family":"Borgwardt","affiliation":"Faculty of Computer Science Technische Universität Dresden , Germany"},{"name":"Marcel Lippmann","slug":"marcel-lippmann","given":"Marcel","family":"Lippmann","affiliation":"TNG Technology Consulting GmbH Unterföhring , Germany"}],"abstract":"We investigate ontology-based query answering (OBQA) in a setting where both the ontology and the query can refer to concrete values such as numbers and strings. In contrast to previous work on this topic, the built-in predicates used to compare values are not restricted to being unary. We introduce restrictions on these predicates and on the ontology language that allow us to reduce OBQA to query answering in databases using the so-called combined rewriting approach. Though at first sight our restrictions are different from the ones used in previous work, we show that our results strictly subsume some of the existing first-order rewritability results for unary predicates.","doi":"10.24963/ijcai.2017/109","url":"https://ijcai.org/proceedings/2017/109","pdf":"https://ijcai.org/proceedings/2017/0109.pdf","markdown":"https://ijcai.org/proceedings/2017/109.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/109","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":109,"pages":{"first":786,"last":792},"keywords":["Knowledge Representation, Reasoning, and Logic: Computational Complexity of Reasoning","Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.","title":"Foundations of Databases","authors":"Serge Abiteboul, Richard Hull, Victor Vianu","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Afrati et al., 2006] Foto Afrati, Chen Li, and Prasenjit Mi- tra. Rewriting queries using views in the presence of arith- metic comparisons. Theor. Comput. Sci., 368(1-2):88-123, 2006.","title":"Foto Afrati, Chen Li, and Prasenjit Mitra. Rewriting queries using views in the presence of arithmetic comparisons","authors":"Afrati","year":"2006","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Artale et al., 2009] Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev. The DL- Lite family and relations. J. Artif. Intell. Res., 36:1-69, 2009.","title":"The DL-Lite family and relations","authors":"Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev","year":"2009","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Artale et al., 2012] Alessandro Artale, Vladislav Ryzhikov, and Roman Kontchakov. DL-Lite with attributes and datatypes. In Proc. of the 20th Eur. Conf. on Artificial In- telligence (ECAI), pages 61-66, 2012.","title":"DL-Lite with attributes and datatypes","authors":"Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov","year":"2012","venue":"Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baader and Hanschke, 1991] Franz Baader and Philipp Hanschke. A scheme for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 452-457, 1991.","title":"A scheme for integrating concrete domains into concept languages","authors":"Hanschke Baader, Franz Baader, Philipp Hanschke","year":"1991","venue":"Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/1991/68"},{"position":6,"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), pages 364-369, 2005.","title":"Pushing the EL envelope","authors":"Baader","year":"2005","venue":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baader et al., 2017] Franz Baader, Stefan Borgwardt, and Marcel Lippmann. Query rewriting for DL-Lite with n- ary concrete domains (extended version). LTCS-Report 17-04, TU Dresden, Germany, 2017. see https://lat.inf.tu- dresden.de/research/reports.html.","title":"Query rewriting for DL-Lite with nary concrete domains (extended version)","authors":"Baader","year":"2017","venue":null,"doi":null,"url":"https://lat.inf.tu-dresden.de/research/reports.html","internal_url":null},{"position":8,"raw":"[Bienvenu et al., 2013] Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter. Ontology-based data ac- cess: A study through disjunctive datalog, CSP, and MM- SNP. In Proc. of the 32nd Symp. on Principles of Database Systems (PODS), pages 213-224, 2013.","title":"Ontology-based data access: A study through disjunctive datalog, CSP, and MM-SNP","authors":"Bienvenu","year":"2013","venue":"Proc. of the 32nd Symp. on Principles of Database Systems (PODS)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Brisaboa et al., 1998] Nieves R. Brisaboa, Héctor J. Her- nández, José R. Paramá, and Miguel R. Penabad. Contain- ment of conjunctive queries with built-in predicates with variables and constants over any ordered domain. In Proc. of the 2nd East Eur. Symp. on Advances in Databases and Information Systems (ADBIS), pages 46-57, 1998.","title":"Containment of conjunctive queries with built-in predicates with variables and constants over any ordered domain","authors":"Nieves R Brisaboa, J Héctor, José R Hernández, Miguel R Paramá, Penabad","year":"1998","venue":"Proc. of the 2nd East Eur. Symp. on Advances in Databases and Information Systems (ADBIS)","doi":null,"url":null,"internal_url":null},{"position":10,"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. Au- tom. Reas., 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. Reas","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Calvanese et al., 2008] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, and Ric- cardo Rosati. Path-based identification constraints in de- scription logics. In Proc. of the 11th Int. Conf. on Prin- ciples of Knowledge Representation and Reasoning (KR), pages 231-241, 2008.","title":"Path-based identification constraints in description logics","authors":"Calvanese","year":"2008","venue":"Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Calvanese et al., 2011] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo. The MASTRO system for ontology-based data access. Sem. Web, 2:43-53, 2011.","title":"The MASTRO system for ontology-based data access","authors":"Calvanese","year":"2011","venue":"Sem. Web","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Hernich et al., 2017] André Hernich, Julio Lemos, and Frank Wolter. Query answering in DL-Lite with datatypes: A non-uniform approach. In Proc. of the 31st AAAI Conf. on Artificial Intelligence (AAAI), pages 1142-1148, 2017.","title":"Query answering in DL-Lite with datatypes: A non-uniform approach","authors":"Hernich","year":"2017","venue":"Proc. of the 31st AAAI Conf. on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Klug, 1988] Anthony Klug. On conjunctive queries con- taining inequalities. J. ACM, 35(1):146-160, 1988.","title":"On conjunctive queries containing inequalities","authors":"Anthony Klug","year":"1988","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Kontchakov et al., 2010] Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael Zakharyaschev. The combined approach to query answering in DL-Lite. In Proc. of the 12th Int. Conf. on Principles of Knowl- edge Representation and Reasoning (KR), pages 247-257, 2010.","title":"The combined approach to query answering in DL-Lite","authors":"Kontchakov","year":"2010","venue":"Proc. of the 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR)","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), pages 2656-2661, 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)","doi":null,"url":null,"internal_url":"/proceedings/2011/442"},{"position":17,"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), pages 2070-2075, 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)","doi":null,"url":null,"internal_url":"/proceedings/2009/341"},{"position":18,"raw":"[Lutz, 2002] Carsten Lutz. The Complexity of Descrip- tion Logics with Concrete Domains. PhD thesis, RWTH Aachen, Germany, 2002.","title":"The Complexity of Description Logics with Concrete Domains","authors":"Carsten Lutz","year":"2002","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lutz, 2003] Carsten Lutz. Description logics with concrete domains -a survey. In Advances in Modal Logic 4 (AiML), pages 265-296. King's College Publications, 2003.","title":"Description logics with concrete domains -a survey","authors":"Carsten Lutz, Lutz","year":"2003","venue":"Advances in Modal Logic 4 (AiML)","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Ortiz, 2013] Magdalena Ortiz. Ontology based query an- swering: The story so far. In Proc. of the 7th Alberto Mendelzon Int. Workshop on Foundations of Data Man- agement (AMW), 2013.","title":"Ontology based query answering: The story so far","authors":"Magdalena Ortiz","year":"2013","venue":"Proc. of the 7th Alberto Mendelzon Int. Workshop on Foundations of Data Management","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Poggi et al., 2008] Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenz- erini, and Riccardo Rosati. Linking data to ontologies. J. Data Semant., X:133-173, 2008.","title":"Linking data to ontologies","authors":"Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati","year":"2008","venue":"J. Data Semant","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Poggi, 2006] Antonella Poggi. Structured and Semi- Structured Data Integration. PhD thesis, Università degli Studi di Roma \"La Sapienza\" and Université de Paris Sud, Italy/France, 2006.","title":"Structured and Semi-Structured Data Integration","authors":"Antonella Poggi","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Rosati and Almatelli, 2010] Riccardo Rosati and Alessan- dro Almatelli. Improving query answering over DL-Lite ontologies. In Proc. of the 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), pages 290-300, 2010.","title":"Improving query answering over DL-Lite ontologies","authors":"Riccardo Rosati, Alessandro Almatelli","year":"2010","venue":"Proc. of the 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Savković and Calvanese, 2012] Ognjen Savković and Die- go Calvanese. Introducing datatypes in DL-Lite. In Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI), pages 720-725, 2012.","title":"Ognjen Savković and Diego Calvanese. Introducing datatypes in DL-Lite","authors":"Calvanese Savković","year":"2012","venue":"Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Savković, 2011] Ognjen Savković. Managing data types in ontology-based data access. Master's thesis, Free Univer- sity of Bozen-Bolzano, Italy, 2011.","title":"Managing data types in ontology-based data access","authors":"Ognjen Savković","year":"2011","venue":"Master's thesis","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}