{"type":"ScholarlyArticle","title":"Improving Data Management using Domain Knowledge","authors":[{"name":"Magdalena Ortiz","slug":"magdalena-ortiz","given":"Magdalena","family":"Ortiz","affiliation":"Faculty of Informatics , TU Wien , Austria"}],"abstract":"The development of tools and techniques for flexible and reliable data management is a long-standing challenge, ever more pressing in today’s data-rich world. We advocate using domain knowledge expressed in ontologies to  tackle it, and summarize some research efforts to this aim that follow two directions. First, we consider the problem of ontology-mediated query answering (OMQA), where queries in a standard database query language are enriched with an ontology expressing background knowledge about the domain of interest, used to retrieve more complete answers when querying incomplete data. We discuss some of our contributions to OMQA, focusing on (i) expressive languages for OMQA, with emphasis on combining the open- and closed-world assumptions to reason about partially complete data; and (ii) OMQA algorithms based on rewriting techniques. The second direction we discuss proposes to use ontologies to manage evolving data. In particular, we use ontologies to model and reason about constraints on datasets, effects of operations that modify data, and the integrity of the data as it evolves.","doi":"10.24963/ijcai.2018/814","url":"https://ijcai.org/proceedings/2018/814","pdf":"https://ijcai.org/proceedings/2018/0814.pdf","markdown":"https://ijcai.org/proceedings/2018/814.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/814","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Early Career","track":"Early Career","number":814,"pages":{"first":5709,"last":5713},"keywords":["Knowledge Representation and Reasoning: Description Logics and Ontologies","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Multidisciplinary Topics and Applications: Databases","Knowledge Representation and Reasoning: Knowledge Representation Languages"],"videos":[],"references":[{"position":1,"raw":"[Ahmetaj et al., 2016] Shqiponja Ahmetaj, Magdalena Or- tiz, and Mantas Simkus. Polynomial datalog rewritings for expressive description logics with closed predicates. In IJ- CAI, 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":"IJ-CAI","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Ahmetaj et al., 2017] Shqiponja Ahmetaj, Diego Cal- vanese, Magdalena Ortiz, and Mantas Simkus. Managing change in graph-structured data using description logics. ACM Trans. Comput. Log., 18(4):27:1-27:35, 2017.","title":"Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus. Managing change in graph-structured data using description logics","authors":"Ahmetaj","year":"2017","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bienvenu and Ortiz, 2015] Meghyn Bienvenu and Mag- dalena Ortiz. Ontology-mediated query answering with data-tractable description logics. In Reasoning Web, vol- ume 9203 of Lecture Notes in Computer Science, 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","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bienvenu et al., 2014] Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus. Nested regular path queries in description logics. In KR. AAAI Press, 2014.","title":"Nested regular path queries in description logics","authors":"Bienvenu","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bienvenu et al., 2015] Meghyn Bienvenu, Magdalena Ortiz, and Mantas Simkus. Regular path queries in lightweight description logics: Complexity and algorithms. J. Artif. Intell. Res., 53:315-374, 2015.","title":"Regular path queries in lightweight description logics: Complexity and algorithms","authors":"Bienvenu","year":"2015","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bienvenu, 2016] Meghyn Bienvenu. Ontology-mediated query answering: Harnessing knowledge to get more from data. In IJCAI, pages 4058-4061. IJCAI/AAAI Press, 2016.","title":"Ontology-mediated query answering: Harnessing knowledge to get more from data","authors":"Meghyn Bienvenu, Bienvenu","year":"2016","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2016/600"},{"position":7,"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. of Automated 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. of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Calvanese et al., 2009] Diego Calvanese, Thomas Eiter, and Magdalena Ortiz. Regular path queries in expressive de- scription logics with nominals. In IJCAI, pages 714-720, 2009.","title":"Regular path queries in expressive description logics with nominals","authors":"Calvanese","year":"2009","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2009/124"},{"position":9,"raw":"[Calvanese et al., 2011] Diego Calvanese, Magdalena Ortiz, and Mantas Simkus. Containment of regular path queries under description logic constraints. In IJCAI, pages 805- 812. IJCAI/AAAI, 2011.","title":"Containment of regular path queries under description logic constraints","authors":"Calvanese","year":"2011","venue":"IJCAI/AAAI","doi":null,"url":null,"internal_url":"/proceedings/2011/141"},{"position":10,"raw":"[Calvanese et al., 2014] Diego Calvanese, Thomas Eiter, and Magdalena Ortiz. Answering regular path queries in ex- pressive description logics via alternating tree-automata. Inf. Comput., 237:12-55, 2014.","title":"Answering regular path queries in expressive description logics via alternating tree-automata","authors":"Calvanese","year":"2014","venue":"Inf. Comput","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Calvanese et al., 2016] Diego Calvanese, Magdalena Ortiz, and Mantas Simkus. Verification of evolving graph- structured data under expressive path constraints. In ICDT, volume 48 of LIPIcs, pages 15:1-15:19. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2016.","title":"Verification of evolving graphstructured data under expressive path constraints","authors":"Calvanese","year":"2016","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Franconi et al., 2011] Enrico Franconi, Yazmin Angélica Ibáñez-García, and Inanc ¸Seylan. Query answering with dboxes is hard. Electr. Notes Theor. Comput. Sci., 278:71- 84, 2011.","title":"Query answering with dboxes is hard","authors":"Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanc ¸seylan","year":"2011","venue":"Electr. Notes Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Hitzler et al., 2009] Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, and Sebastian Rudolph, editors. OWL 2 Web Ontology Language: Primer. W3C Recommendation, 2009. 27 October 2009, Available at http://www.w3.org/TR/owl2-primer/.","title":"OWL 2 Web Ontology Language: Primer. W3C Recommendation","authors":"Pascal Hitzler, Markus Krötzsch, Bijan Parsia, F Peter, Sebastian Patel-Schneider, Rudolph","year":"2009","venue":null,"doi":null,"url":"http://www.w3.org/TR/owl2-primer/","internal_url":null},{"position":14,"raw":"[Lenzerini, 2011] Maurizio Lenzerini. Ontology-based data management. In Proceedings of the 20th ACM Interna- tional Conference on Information and Knowledge Man- agement, CIKM '11, pages 5-6, New York, NY, USA, 2011. ACM.","title":"Ontology-based data management","authors":"Maurizio Lenzerini","year":"2011","venue":"Proceedings of the 20th ACM International Conference on Information and Knowledge Management, CIKM '11","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lutz et al., 2013] Carsten Lutz, Inanc ¸Seylan, and Frank Wolter. Ontology-based data access with closed predi- cates is inherently intractable(sometimes). In IJCAI, pages 1024-1030. IJCAI/AAAI, 2013.","title":"Ontology-based data access with closed predicates is inherently intractable(sometimes)","authors":"Carsten Lutz, Frank Inanc ¸seylan, Wolter","year":"2013","venue":"IJCAI/AAAI","doi":null,"url":null,"internal_url":"/proceedings/2013/156"},{"position":16,"raw":"[Lutz et al., 2015] Carsten Lutz, Inanc ¸Seylan, and Frank Wolter. Ontology-mediated queries with closed predicates. In IJCAI, pages 3120-3126. AAAI Press, 2015.","title":"Ontology-mediated queries with closed predicates","authors":"Carsten Lutz, Frank Inanc ¸seylan, Wolter","year":"2015","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/440"},{"position":17,"raw":"[Ngo et al., 2016] Nhung Ngo, Magdalena Ortiz, and Man- tas Simkus. Closed predicates in description logics: Re- sults on combined complexity. In AMW, volume 1644 of CEUR Workshop Proceedings. CEUR-WS.org, 2016.","title":"Closed predicates in description logics: Results on combined complexity","authors":"Nhung Ngo, Magdalena Ortiz, Mantas Simkus","year":"2016","venue":"CEUR Workshop Proceedings. CEUR-WS.org","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Ortiz and Simkus, 2012] Magdalena Ortiz and Mantas Simkus. Reasoning and query answering in description logics. In Reasoning Web, volume 7487 of Lecture Notes in Computer Science, pages 1-53. Springer, 2012.","title":"Magdalena Ortiz and Mantas Simkus. Reasoning and query answering in description logics","authors":"Simkus Ortiz","year":"2012","venue":"Reasoning Web","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Ortiz et al., 2011] Magdalena Ortiz, Sebastian Rudolph, and Mantas Simkus. Query answering in the horn frag- ments of the description logics SHOIQ and SROIQ. In IJCAI, pages 1039-1044. IJCAI/AAAI, 2011.","title":"Query answering in the horn fragments of the description logics SHOIQ and SROIQ","authors":"Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus","year":"2011","venue":"IJCAI/AAAI","doi":null,"url":null,"internal_url":"/proceedings/2011/178"},{"position":20,"raw":"[Rosati, 2006a] Riccardo Rosati. Dl+log: Tight integration of description logics and disjunctive datalog. In KR, pages 68-78. AAAI Press, 2006.","title":"Dl+log: Tight integration of description logics and disjunctive datalog","authors":"Riccardo Rosati, Rosati","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Rosati, 2006b] Riccardo Rosati. The limits and possibilities of combining description logics and datalog. In RuleML, pages 3-4. IEEE Computer Society, 2006.","title":"The limits and possibilities of combining description logics and datalog","authors":"Riccardo Rosati, Rosati","year":"2006","venue":"RuleML","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Rosati, 2007] Riccardo Rosati. The limits of querying on- tologies. In ICDT, volume 4353 of Lecture Notes in Com- puter Science, pages 164-178. Springer, 2007.","title":"The limits of querying ontologies","authors":"Riccardo Rosati","year":"2007","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Sakr and Pardede, 2011] Sherif Sakr and Eric Pardede, edi- tors. Graph Data Management: Techniques and Applica- tions. IGI Global, 2011.","title":"Graph Data Management: Techniques and Applications","authors":"Pardede Sakr, Sherif Sakr, Eric Pardede","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Seylan et al., 2009] Inanc ¸Seylan, Enrico Franconi, and Jos de Bruijn. Effective query rewriting with ontologies over dboxes. In IJCAI, pages 923-925, 2009.","title":"Effective query rewriting with ontologies over dboxes","authors":"Seylan","year":"2009","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2009/157"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}