{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T22:19:04Z","timestamp":1790288344888,"version":"4.1.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T00:00:00Z","timestamp":1363910400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s10472-013-9342-1","type":"journal-article","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T09:20:21Z","timestamp":1363857621000},"page":"37-72","source":"Crossref","is-referenced-by-count":25,"title":["Query answering under probabilistic uncertainty in Datalog+\u2009\/\u2009\u2212 ontologies"],"prefix":"10.1007","volume":"69","author":[{"given":"Georg","family":"Gottlob","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Lukasiewicz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria Vanina","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gerardo I.","family":"Simari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,3,22]]},"reference":[{"key":"9342_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings PODS-1999, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"key":"9342_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"issue":"1","key":"9342_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reason. 14(1), 149\u2013180 (1995)","journal-title":"J. Autom. Reason."},{"key":"9342_CR4","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Rushton, J.N.: Probabilistic reasoning with answer sets. In: Proc. of LPNMR, pp. 21\u201333 (2004)","DOI":"10.1007\/978-3-540-24609-1_5"},{"key":"9342_CR5","doi-asserted-by":"crossref","unstructured":"Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Proceedings ICALP-1981. LNCS, vol.\u00a0115, pp.\u00a073\u201385. Springer (1981)","DOI":"10.1007\/3-540-10843-2_7"},{"issue":"5","key":"9342_CR6","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2002","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Sci. Am. 284(5), 34\u201343 (2002)","journal-title":"Sci. Am."},{"key":"9342_CR7","doi-asserted-by":"crossref","unstructured":"Bohannon, P., Flaster, M., Fan, W., Rastogi, R.: A cost-based model and effective heuristic for repairing constraints by value modification. In: Proceedings SIGMOD-2005, pp.\u00a0143\u2013154. ACM Press (2005)","DOI":"10.1145\/1066157.1066175"},{"key":"9342_CR8","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. In: Proceedings KR-2008, pp.\u00a070\u201380. AAAI Press (2008)"},{"key":"9342_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. J. Web Sem. 14, 57\u201383 (2012)","journal-title":"J. Web Sem."},{"key":"9342_CR10","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\u2009\/\u2009\u2212: a family of logical knowledge representation and query languages for new applications. In: Proceedings LICS-2010, pp.\u00a0228\u2013242. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.27"},{"issue":"1","key":"9342_CR11","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1(1), 146\u2013166 (1989)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9342_CR12","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proceedings STOC-1977, pp.\u00a077\u201390. ACM Press (1977)","DOI":"10.1145\/800105.803397"},{"key":"9342_CR13","doi-asserted-by":"crossref","unstructured":"Chomicki, J.: Consistent query answering: five easy pieces. In: Proceedings ICDT-2007. LNCS, vol.\u00a04353, pp.\u00a01\u201317. Springer (2007)","DOI":"10.1007\/11965893_1"},{"key":"9342_CR14","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.B.: The chase revisited. In: Proceedings PODS-2008, pp.\u00a0149\u2013158. ACM Press (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"9342_CR15","doi-asserted-by":"crossref","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Ma\u0142uszy\u0144ski, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Ma\u0142uszy\u0144ski, J. (eds.) Semantic Techniques for the Web. LNCS, vol.\u00a05500, pp.\u00a01\u201349. Springer (2009)","DOI":"10.1007\/978-3-642-04581-3_1"},{"issue":"1","key":"9342_CR16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"9342_CR17","doi-asserted-by":"crossref","unstructured":"Fink, R., Olteanu, D., Rath, S.: Providing support for full relational algebra in probabilistic databases. In: Proceedings ICDE-2011, pp.\u00a0315\u2013326. IEEE Computer Society (2011)","DOI":"10.1109\/ICDE.2011.5767912"},{"key":"9342_CR18","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Lukasiewicz, T., Simari, G.I.: Answering threshold queries in probabilistic Datalog+\u2009\/\u2009\u2212 ontologies. In: Proceedings SUM-2011. LNCS, vol.\u00a06929, pp.\u00a0401\u2013414. Springer (2011)","DOI":"10.1007\/978-3-642-23963-2_31"},{"issue":"3","key":"9342_CR19","doi-asserted-by":"crossref","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. J. Symb. Log. 59(3), 845\u2013859 (1994)","journal-title":"J. Symb. Log."},{"issue":"2","key":"9342_CR20","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.O.: Semi-revision. J. Appl. Non-Class. Log. 7(2), 151\u2013175 (1997)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9342_CR21","doi-asserted-by":"crossref","unstructured":"Heinsohn, J.: Probabilistic description logics. In: Proceedings UAI-1994, pp.\u00a0311\u2013318 (1994)","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"key":"9342_CR22","doi-asserted-by":"crossref","unstructured":"Huang, J., Antova, L., Koch, C., Olteanu, D.: MayBMS: A probabilistic database management system. In: Proceedings SIGMOD-2009, pp.\u00a01071\u20131074. ACM Press (2009)","DOI":"10.1145\/1559845.1559984"},{"issue":"1","key":"9342_CR23","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"DS Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28(1), 167\u2013189 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"9342_CR24","unstructured":"Koch, C., Olteanu, D., Re, C., Suciu, D.: Probabilistic Databases. Morgan-Claypool (2011)"},{"key":"9342_CR25","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: a tractable probabilistic description logic. In: Proceedings AAAI-1997, pp.\u00a0390\u2013397. AAAI Press \/ MIT Press (1997)"},{"key":"9342_CR26","doi-asserted-by":"crossref","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Proceedings RR-2010. LNCS, vol.\u00a06333, pp.\u00a0103\u2013117. Springer (2010)","DOI":"10.1007\/978-3-642-15918-3_9"},{"key":"9342_CR27","doi-asserted-by":"crossref","unstructured":"Lopatenko, A., Bertossi, L.E.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Proceedings ICDT-2007. LNCS, vol.\u00a04353, pp.\u00a0179\u2013193. Springer (2007)","DOI":"10.1007\/11965893_13"},{"issue":"6\/7","key":"9342_CR28","doi-asserted-by":"crossref","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6\/7), 852\u2013883 (2008)","journal-title":"Artif. Intell."},{"key":"9342_CR29","unstructured":"Lukasiewicz, T., Martinez, M.V., Orsi, G., Simari, G.I.: Heuristic ranking in tightly coupled probabilistic description logics. In: Proc. of UAI, pp.\u00a0554\u2013563. AUAI (2012)"},{"issue":"4","key":"9342_CR30","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. J. Web Sem. 6(4), 291\u2013308 (2008)","journal-title":"J. Web Sem."},{"issue":"4","key":"9342_CR31","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst. 4(4), 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"9342_CR32","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language: Semantics and Abstract Syntax. W3C Recommendation (2004). http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"9342_CR33","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"issue":"1\u20132","key":"9342_CR34","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1\u20132), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1","key":"9342_CR35","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"1\/2","key":"9342_CR36","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62(1\/2), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"9342_CR37","unstructured":"Schlobach, S.: Diagnosing terminologies. In: Proceedings AAAI-2005, pp.\u00a0670\u2013675. AAAI Press \/ MIT Press (2005)"},{"key":"9342_CR38","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings IJCAI-2003, pp.\u00a0355\u2013362. Morgan Kaufmann (2003)"},{"issue":"1","key":"9342_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.is.2009.03.004","volume":"35","author":"S Staworko","year":"2010","unstructured":"Staworko, S., Chomicki, J.: Consistent query answers in the presence of universal constraints. Inf. Syst. 35(1), 1\u201322 (2010)","journal-title":"Inf. Syst."},{"key":"9342_CR40","unstructured":"Yang, Y., Calmet, J.: OntoBayes: an ontology-driven uncertainty model. In: Proceedings IAWTIC-2005, pp.\u00a0457\u2013463. IEEE Computer Society (2005)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9342-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9342-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9342-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T05:47:30Z","timestamp":1562824050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9342-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,22]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["9342"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9342-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,22]]}}}