{"type":"ScholarlyArticle","title":"Open-World Probabilistic Databases: An Abridged Report","authors":[{"name":"Ismail Ilkan Ceylan","slug":"ismail-ilkan-ceylan","given":"İsmail İlkan","family":"Ceylan","affiliation":"Faculty of Computer Science Technische Universität Dresden , Germany"},{"name":"Adnan Darwiche","slug":"adnan-darwiche","given":"Adnan","family":"Darwiche","affiliation":"Computer Science Department University of California , Los Angeles"},{"name":"Guy Van den Broeck","slug":"guy-van-den-broeck","given":"Guy","family":"Van den Broeck","affiliation":"Computer Science Department University of California , Los Angeles"}],"abstract":"Large-scale probabilistic knowledge bases are becoming increasingly important in academia and industry alike. They are constantly extended with new data, powered by modern information extraction tools that associate probabilities with database tuples. In this paper, we revisit the semantics underlying such systems. In particular, the closed-world assumption of probabilistic databases, that facts not in the database have probability zero, clearly conflicts with their everyday use. To address this discrepancy, we propose an open-world probabilistic database semantics, which relaxes the probabilities of open facts to default intervals. For this open-world setting, we lift the existing data complexity dichotomy of probabilistic databases, and propose an efficient evaluation algorithm for unions of conjunctive queries. We also show that query evaluation can become harder for non-monotone queries.","doi":"10.24963/ijcai.2017/669","url":"https://ijcai.org/proceedings/2017/669","pdf":"https://ijcai.org/proceedings/2017/0669.pdf","markdown":"https://ijcai.org/proceedings/2017/669.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/669","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":"Best Sister Conferences","track":"Best Sister Conferences","number":669,"pages":{"first":4796,"last":4800},"keywords":["Artificial Intelligence: machine learning","Artificial Intelligence: artificial intelligence","Artificial Intelligence: uncertainty in artificial intelligence","Artificial Intelligence: knowledge representation and reasoning"],"videos":[],"references":[{"position":1,"raw":"[Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of databases, volume 8. Addison-Wesley Reading, 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":"[Beame et al., 2015] Paul Beame, Guy Van den Broeck, Dan Suciu, and Eric Gribkoff. Symmetric Weighted First- Order Model Counting. In Proceedings of PODS, 2015.","title":"Symmetric Weighted First-Order Model Counting","authors":"Paul Beame, Guy Van Den, Dan Broeck, Eric Suciu, Gribkoff","year":"2015","venue":"Proceedings of PODS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bollacker et al., 2008] Kurt Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, and Jamie Taylor. Freebase: a collaboratively created graph database for structuring human knowledge. In Proceedings of SIGMOD, 2008.","title":"Freebase: a collaboratively created graph database for structuring human knowledge","authors":"Kurt Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, Jamie Taylor","year":"2008","venue":"Proceedings of SIGMOD","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bordes et al., 2011] Antoine Bordes, Jason Weston, Ronan Collobert, and Yoshua Bengio. Learning structured em- beddings of knowledge bases. In Proceedings of AAAI, 2011.","title":"Learning structured embeddings of knowledge bases","authors":"Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio","year":"2011","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Borgwardt et al., 2017] Stefan Borgwardt, İsmail İlkan Ceylan, and Thomas Lukasiewicz. Ontology-mediated queries for probabilistic databases. In Proceedings of AAAI, 2017.","title":"Ontology-mediated queries for probabilistic databases","authors":"Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz","year":"2017","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Ceylan et al., 2016] İsmail İlkan Ceylan, Adnan Darwiche, and Guy Van Den Broeck. Open-World Probabilistic Data- bases. In Proceedings of KR, 2016.","title":"Open-World Probabilistic Databases","authors":"Adnan İsmail İlkan Ceylan, Guy Darwiche, Van Den, Broeck","year":"2016","venue":"Proceedings of KR","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cozman, 2000] Fabio G. Cozman. Credal networks. Artifi- cial Intelligence, 120(2):199-233, 2000.","title":"Credal networks","authors":"Fabio G Cozman","year":"2000","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Dalvi and Suciu, 2012] Nilesh Dalvi and Dan Suciu. The dichotomy of probabilistic inference for unions of con- junctive queries. Journal of ACM, 59(6):1-87, 2012.","title":"The dichotomy of probabilistic inference for unions of conjunctive queries","authors":"Nilesh Dalvi, Dan Suciu","year":"2012","venue":"Journal of ACM","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[De Raedt et al., 2015] Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, and Mathias Verbeke. In- ducing probabilistic relational rules from probabilistic ex- amples. In Proceedings of IJCAI, 2015.","title":"Inducing probabilistic relational rules from probabilistic examples","authors":"De Raedt","year":"2015","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/261"},{"position":10,"raw":"[Dong et al., 2014] Xin Luna Dong, Evgeniy Gabrilovich, Geremy Heitz, Wilko Horn, Ni Lao, Kevin Murphy, Thomas Strohmann, Shaohua Sun, and Wei Zhang. Know- ledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion. In Proceedings of ACM SIGKDD, 2014.","title":"Knowledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion","authors":"Xin Luna, Dong, Evgeniy Gabrilovich, Geremy Heitz, Wilko Horn, Ni Lao, Kevin Murphy, Thomas Strohmann, Shaohua Sun, Wei Zhang","year":"2014","venue":"Proceedings of ACM SIGKDD","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Ferrucci, 2012] David A. Ferrucci. Introduction to \"This is Watson\". IBM Journal of Research and Development, 56(3.4), 2012.","title":"Introduction to \"This is Watson","authors":"David A Ferrucci","year":"2012","venue":"IBM Journal of Research and Development","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Galárraga et al., 2013] Luis Antonio Galárraga, Christina Teflioudi, Katja Hose, and Fabian Suchanek. Amie: as- sociation rule mining under incomplete evidence in onto- logical knowledge bases. In Proceedings of WWW, 2013.","title":"Amie: association rule mining under incomplete evidence in ontological knowledge bases","authors":"Luis Antonio Galárraga, Christina Teflioudi, Katja Hose, Fabian Suchanek","year":"2013","venue":"Proceedings of WWW","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gill, 1977] John Gill. Computational complexity of prob- abilistic turing machines. SIAM Journal on Computing, 6(4):675-695, 1977.","title":"Computational complexity of probabilistic turing machines","authors":"John Gill, Gill","year":"1977","venue":"SIAM Journal on Computing","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Gribkoff et al., 2014] Eric Gribkoff, Guy Van den Broeck, and Dan Suciu. Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting. In Proceedings of UAI, 2014.","title":"Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting","authors":"Eric Gribkoff, Guy Van Den, Dan Broeck, Suciu","year":"2014","venue":"Proceedings of UAI","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Halpern, 2003] Joseph Y Halpern. Reasoning about uncer- tainty. MIT Press, 2003.","title":"Reasoning about uncertainty","authors":"Joseph Y Halpern","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Hinrichs and Genesereth, 2006] Timothy Hinrichs and Mi- chael Genesereth. Herbrand logic. Technical Report LG- 2006-02, Stanford University, 2006.","title":"Timothy Hinrichs and Mi","authors":"Genesereth ; Chael Hinrichs, Genesereth","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Hoffart et al., 2013] Johannes Hoffart, Fabian M. Suchanek, Klaus Berberich, and Gerhard Weikum. YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia. In Proceedings of IJCAI, 2013.","title":"YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia","authors":"Johannes Hoffart, Fabian M Suchanek, Klaus Berberich, Gerhard Weikum","year":"2013","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Levi, 1980] Isaac Levi. The Enterprise of Knowledge. MIT Press, 1980.","title":"Isaac Levi. The Enterprise of Knowledge","authors":"Levi","year":"1980","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Mintz et al., 2009] Mike Mintz, Steven Bills, Rion Snow, and Dan Jurafsky. Distant supervision for relation extrac- tion without labeled data. In Proceedings of ACL-IJCNLP, 2009.","title":"Distant supervision for relation extraction without labeled data","authors":"Mike Mintz, Steven Bills, Rion Snow, Dan Jurafsky","year":"2009","venue":"Proceedings of ACL-IJCNLP","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Mitchell et al., 2015] T Mitchell, W Cohen, E Hruschka, P Talukdar, J Betteridge, A Carlson, B Dalvi, and M Gard- ner. Never-Ending Learning. In Proceedings of AAAI, 2015.","title":"Never-Ending Learning","authors":"W Mitchell, E Cohen, P Hruschka, J Talukdar, Betteridge, B Carlson, M Dalvi, Gardner","year":"2015","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Munroe, 2015] Randall Munroe. Google's datacenters on punch cards, 2015.","title":"Google's datacenters on punch cards","authors":"Randall Munroe","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Reiter, 1978] Raymond Reiter. On closed world data bases. Logic and Data Bases, pages 55-76, 1978.","title":"On closed world data bases","authors":"Raymond Reiter","year":"1978","venue":"Logic and Data Bases","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Reiter, 1980] Raymond Reiter. A logic for default reason- ing. Artificial Intelligence, 13(1):81-132, 1980.","title":"A logic for default reasoning","authors":"Raymond Reiter","year":"1980","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Sa et al., 2017] Christopher De Sa, Alexander Ratner, Christopher Ré, Jaeho Shin, Feiran Wang, Sen Wu, and Ce Zhang. Incremental knowledge base construction us- ing deepdive. VLDB J., 26(1):81-105, 2017.","title":"Incremental knowledge base construction using deepdive","authors":"Christopher De Sa, Alexander Ratner, Christopher Ré, Jaeho Shin, Feiran Wang, Sen Wu, Ce Zhang","year":"2017","venue":"VLDB J","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Socher et al., 2013] Richard Socher, Danqi Chen, Chris- topher D Manning, and Andrew Ng. Reasoning with neural tensor networks for knowledge base completion. In Proceedings of NIPS, pages 926-934, 2013.","title":"Reasoning with neural tensor networks for knowledge base completion","authors":"Richard Socher, Danqi Chen, Christopher D Manning, Andrew Ng","year":"2013","venue":"Proceedings of NIPS","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Suciu et al., 2011] Dan Suciu, Dan Olteanu, Christopher Ré, and Christoph Koch. Probabilistic Databases, 2011.","title":"Probabilistic Databases","authors":"Dan Suciu, Dan Olteanu, Christopher Ré, Christoph Koch","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Sutton and McCallum, 2011] Charles Sutton and Andrew McCallum. An introduction to conditional random fields. Machine Learning, 4(4):267-373, 2011.","title":"An introduction to conditional random fields","authors":"Sutton, Mccallum, Charles Sutton, Andrew Mccallum","year":"2011","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Wang et al., 2013] William Yang Wang, Kathryn Mazaitis, and William W Cohen. Programming with personalized pagerank: a locally groundable first-order probabilistic lo- gic. In Proceedings of CIKM, 2013.","title":"Programming with personalized pagerank: a locally groundable first-order probabilistic logic","authors":"William Yang, Wang, Kathryn Mazaitis, William W Cohen","year":"2013","venue":"Proceedings of CIKM","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Wu et al., 2012] Wentao Wu, Hongsong Li, Haixun Wang, and Kenny Q. Zhu. Probase: A probabilistic taxonomy for text understanding. In Proceedings of SIGMOD, pages 481-492. ACM, 2012.","title":"Probase: A probabilistic taxonomy for text understanding","authors":"Wentao Wu, Hongsong Li, Haixun Wang, Kenny Q Zhu","year":"2012","venue":"Proceedings of SIGMOD","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}