{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:04:18Z","timestamp":1710248658141},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,12,13]],"date-time":"2013-12-13T00:00:00Z","timestamp":1386892800000},"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":[[2014,3]]},"DOI":"10.1007\/s10472-013-9396-0","type":"journal-article","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T12:34:16Z","timestamp":1386851656000},"page":"221-277","source":"Crossref","is-referenced-by-count":3,"title":["Why-provenance information for RDF, rules, and negation"],"prefix":"10.1007","volume":"70","author":[{"given":"Anastasia","family":"Analyti","sequence":"first","affiliation":[]},{"given":"Carlos V.","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Pachoulakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,12,13]]},"reference":[{"key":"9396_CR1","doi-asserted-by":"crossref","unstructured":"Amsterdamer, Y., Deutch, D., Tannen, V.: Provenance for aggregate queries. In: 13th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS-2011), pp. 153\u2013164 (2011)","DOI":"10.1145\/1989284.1989302"},{"key":"9396_CR2","doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Damasio, C.V.: A formal theory for modular ERDF ontologies. In: 3rd International Conference Web Reasoning and Rule Systems (RR 2009), pp. 212\u2013226 (2009)","DOI":"10.1007\/978-3-642-05082-4_15"},{"key":"9396_CR3","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: Computability and Complexity Issues of ERDF. Technical Report, FORTH-ICS, submitted for publication. Available at http:\/\/www.ics.forth.gr\/analyti\/Papers_2\/ERDF_Complexity.pdf (2010)"},{"issue":"2","key":"9396_CR4","first-page":"25","volume":"1","author":"A Analyti","year":"2004","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Negation and negative information in the w3c resource description framework. Ann. Math. Comput. Teleinformatics (AMCT). 1(2), 25\u201334 (2004)","journal-title":"Ann. Math. Comput. Teleinformatics (AMCT)"},{"key":"9396_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1613\/jair.2425","volume":"32","author":"A Analyti","year":"2008","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Extended RDF as a semantic foundation of rule markup languages. J. Artif. Intell. Res. (JAIR). 32, 37\u201394 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9396_CR6","unstructured":"Belhajjame, K., Cheney, J., Corsar, D., Garijo, D., Soiland-Reyes, S., Zednik, S., Zhao, J.: PROV-O: the PROV ontology. In: Lebo, T., Sahoo, S., McGuinness, D. (eds.) W3C Working Draft. Consulted http:\/\/www.w3.org\/TR\/2012\/WD-prov-o-20120724\/ (2012)"},{"key":"9396_CR7","unstructured":"Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D.: RIF Core Dialect, 2nd edn. W3C Recommendation. Latest version available at http:\/\/www.w3.org\/TR\/rif-core\/ (2013). Accessed 5 Feb 2013"},{"key":"9396_CR8","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), pp. 385\u2013390 (2007)"},{"key":"9396_CR9","doi-asserted-by":"crossref","unstructured":"Buneman, P., Khanna, S., Tan, W.C.: Why and where: a characterization of data provenance. In: 8th International Conference on Database Theory (ICDT-2001), pp. 316\u2013330 (2001)","DOI":"10.1007\/3-540-44503-X_20"},{"key":"9396_CR10","unstructured":"Buneman, P., Kostylev, E.V.: Annotation algebras for RDFS. In: 2nd International Workshop on the Role of Semantic Web in Provenance Management (SWPM-2010), pp. 316\u2013330 (2010)"},{"key":"9396_CR11","doi-asserted-by":"crossref","unstructured":"Carroll, J.J., Bizer, C., Hayes, P.J., Sticklerm, P.: Named graphs. J. Web Semant. 3(4) (2005)","DOI":"10.1016\/j.websem.2005.09.001"},{"key":"9396_CR12","doi-asserted-by":"crossref","unstructured":"Carroll, J.J., Bizer, C., Hayes, P.J., Stickler, P.: Named graphs, provenance and trust. In: 14th International Conference on World Wide Web (WWW-2005), pp. 613\u2013622 (2005)","DOI":"10.1145\/1060745.1060835"},{"key":"9396_CR13","doi-asserted-by":"crossref","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. J. ACM. 43(1) (1996)","DOI":"10.1145\/227595.227597"},{"issue":"4","key":"9396_CR14","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.C.: Provenance in databases: why, how, and where. Found. Trends Database. 1(4), 379\u2013474 (2009)","journal-title":"Found. Trends Database"},{"issue":"5","key":"9396_CR15","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1016\/j.jbi.2008.04.010","volume":"41","author":"P Ciccarese","year":"2008","unstructured":"Ciccarese, P., Wu, E., Wong, G., Ocana, M., Kinoshita, J., Ruttenberg, A., Clark, T.: The SWAN biomedical discourse ontology. J. Biomed. Inform. 41(5), 739\u2013751 (2008)","journal-title":"J. Biomed. Inform."},{"key":"9396_CR16","unstructured":"Cui, Y.: Lineage Tracing in Data Warehouses. Ph.D., Stanford InfoLab (2001)"},{"key":"9396_CR17","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Provenance for SPARQL queries. In: 11th International Semantic Web Conference (ISWC-2012). To appear (2012)","DOI":"10.1007\/978-3-642-35176-1_39"},{"key":"9396_CR18","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Justifications for logic programming. In: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013), pp. 530\u2013542 (2013)","DOI":"10.1007\/978-3-642-40564-8_53"},{"issue":"3","key":"9396_CR19","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"9396_CR20","unstructured":"de Bruijn, J., Franconi, E., Tessaris, S.: Logical reconstruction of normative RDF. In: OWL: Experiences and Directions Workshop (OWLED-2005). Ireland (2005)"},{"key":"9396_CR21","unstructured":"Decker, S., Sintek, M., Nejdl, W.: The Model-Theoretic Semantics of TRIPLE. Technical Report (2002)"},{"key":"9396_CR22","unstructured":"Ding, L., Finin, T., Peng, Y., Joshi, A., da Silva, P.P., McGuinness, D.L.: Tracking RDF Graph Provenance using RDF Molecules. Technical Report, UMBC TR-CS-05-06 (2005)"},{"key":"9396_CR23","doi-asserted-by":"crossref","unstructured":"Dividino, R.Q., Sizov, S., Staab, S., Schueler, B.: Querying for provenance, trust, uncertainty and other meta knowledge in RDF. J. Web Semant. 7(3) (2009)","DOI":"10.1016\/j.websem.2009.07.004"},{"issue":"2","key":"9396_CR24","doi-asserted-by":"crossref","first-page":"1654","DOI":"10.14778\/1687553.1687620","volume":"2","author":"XL Dong","year":"2009","unstructured":"Dong, X.L., Naumann, F.: Data fusion - resolving data conflicts for integration. Proc. VLDB Endowment. 2(2), 1654\u20131655 (2009)","journal-title":"Proc. VLDB Endowment"},{"key":"9396_CR25","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber,W., Fink, M.,Woltran, S.: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2\u20134) (2007)","DOI":"10.1007\/s10472-008-9086-5"},{"key":"9396_CR26","doi-asserted-by":"crossref","unstructured":"Flouris, G., Fundulaki, I., Pediaditis, P., Theoharis, Y., Christophides, V.: Coloring RDF triples to capture provenance. In: 8th International Semantic Web Conference (ISWC-2009), pp. 196\u2013212 (2009)","DOI":"10.1007\/978-3-642-04930-9_13"},{"key":"9396_CR27","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pp. 386\u2013392 (2007)"},{"key":"9396_CR28","doi-asserted-by":"crossref","unstructured":"Geerts, F., Karvounarakis, G., Christophides, V., Fundulaki, I.: Algebraic structures for capturing the provenance of SPARQL queries. In: 16th International Conference on Database Theory (ICDT-2013) (2013)","DOI":"10.1145\/2448496.2448516"},{"issue":"2","key":"9396_CR29","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.jal.2009.09.001","volume":"8","author":"F Geerts","year":"2010","unstructured":"Geerts, F., Poggi, A.: On database query languages for K-relations. J. Appl. Log. 8(2), 173\u2013185 (2010)","journal-title":"J. Appl. Log."},{"issue":"3","key":"9396_CR30","first-page":"620","volume":"38","author":"AV Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM. 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"9396_CR31","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press (1988)"},{"key":"9396_CR32","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: 7th International Conference on Logic Programming, pp. 579\u2013597 (1990)"},{"issue":"2","key":"9396_CR33","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/s00224-011-9323-x","volume":"49","author":"TJ Green","year":"2011","unstructured":"Green, T.J., Ives, Z.G., Tannen, V.: Reconcilable differences. Theor. Comput. Syst. 49(2), 460\u2013488 (2011)","journal-title":"Theor. Comput. Syst."},{"key":"9396_CR34","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: 26th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-2007), pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"9396_CR35","doi-asserted-by":"crossref","unstructured":"Guha, R.V., McCool, R., Fikes, R.: Contexts for the semantic web. In: 3rd International Semantic Web Conference (ISWC-2004), pp. 32\u201346 (2004)","DOI":"10.1007\/978-3-540-30475-3_4"},{"key":"9396_CR36","unstructured":"Hartig, O.: Provenance information in the web of data. In: WWW2008 Workshop on Linked Data on the Web (LDOW-2009) (2009)"},{"key":"9396_CR37","unstructured":"Hartig, O., Zhao, J.: Provenance Vocabulary Core Ontology Specification. Latest version available at http:\/\/trdf.sourceforge.net\/provenance\/ns.html (2012). Accessed 14 March 2012"},{"key":"9396_CR38","doi-asserted-by":"crossref","unstructured":"Hartig, O., Zhao, J.: Publishing and consuming provenance metadata on the web of linked data. In: 3rd International Provenance and Annotation Workshop (IPAW-2010), pp. 78\u201390 (2010)","DOI":"10.1007\/978-3-642-17819-1_10"},{"key":"9396_CR39","unstructured":"Hayes, P., Semantics, R.D.F.: W3C Recommendation. Available at http:\/\/www.w3.org\/TR\/2004\/REC-rdf-mt-20040210\/ (2004). Accessed 10 Feb 2004"},{"key":"9396_CR40","doi-asserted-by":"crossref","unstructured":"Heath, T., Bizer, C.: Linked Data: Evolving the Web into a Global Data Space. Morgan & Claypool (2011)","DOI":"10.1007\/978-3-642-24577-0_1"},{"key":"9396_CR41","doi-asserted-by":"crossref","unstructured":"Herre, H., Jaspars, J.,Wagner, G.: Partial logics with two kinds of negation as a foundation of knowledge-based reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation? Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-015-9309-0_7"},{"key":"9396_CR42","doi-asserted-by":"crossref","unstructured":"Karvounarakis, G., Ives, Z.G., Tannen, V.: Querying data provenance. In: Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD-2010), pp. 951\u2013962 (2010)","DOI":"10.1145\/1807167.1807269"},{"key":"9396_CR43","unstructured":"Kifer, M., Boley, H.: RIF Overview, 2nd edn. W3C Working Group Note 5. Latest version available at http:\/\/www.w3.org\/TR\/rif-overview\/ (2013)"},{"issue":"4","key":"9396_CR44","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM. 42(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"9396_CR45","unstructured":"Klyne, G., Carroll, J.J.: Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation. Available at http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210\/ (2004). Accessed 10 Feb 2004"},{"issue":"3","key":"9396_CR46","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3\u20134","key":"9396_CR47","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/j.artint.2009.11.016","volume":"174","author":"L Liu","year":"2010","unstructured":"Liu, L., Pontelli, E., Son, T.C., Truszczynski, M.: Logic programs with abstract constraint atoms: the role of computations. Artif. Intell. 174(3\u20134), 295\u2013315 (2010)","journal-title":"Artif. Intell."},{"key":"9396_CR48","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3","key":"9396_CR49","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W., Topor, R.W.: Making prolog more expressive. J. Log. Program. 1(3), 225\u2013240 (1984)","journal-title":"J. Log. Program."},{"key":"9396_CR50","unstructured":"MacGregor, R.M., Ko, I.-Y.: Representing contextualized data using semantic web tools. In: 1st International Workshop on Practical and Scalable Semantic Systems (PSSS-2003) (2003)"},{"key":"9396_CR51","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, S., Pe\u00b4rez, J., Gutie\u00b4rrez, C.: Minimal deductive systems for RDF. In: 4th European Semantic Web Conference (ESWC 2007), pp. 53\u201367 (2007)","DOI":"10.1007\/978-3-540-72667-8_6"},{"key":"9396_CR52","doi-asserted-by":"crossref","unstructured":"Niemela\u00a8, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal LP. In: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-1997), pp. 421\u2013430 (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"key":"9396_CR53","unstructured":"Paschke, A., Morgenstern, L., Hirtle, D., Ginsberg, A., Patranjan, P.-L., McCabe, F.: RIF Use Cases and Requirements, 2nd edn. W3C Working Group Note. Latest version available at http:\/\/www.w3.org\/TR\/rif-ucr\/ (2013)"},{"key":"9396_CR54","doi-asserted-by":"crossref","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: 3rd European Semantic Web Conference (ESWC-2006), pp. 332\u2013347 (2006)","DOI":"10.1007\/11762256_26"},{"key":"9396_CR55","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation. Available at http:\/\/www.w3.org\/TR\/rdf-sparql-query\/ (2008). Accessed 15 Jan 2008"},{"key":"9396_CR56","doi-asserted-by":"crossref","unstructured":"Ram, S., Liu, J.: Understanding the semantics of data provenance to support active conceptual modeling. In: 1st International ACM-L Workshop on Active Conceptual Modeling of Learning (ACM-L-2006), pp. 17\u201329 (2006)","DOI":"10.1007\/978-3-540-77503-4_3"},{"issue":"1","key":"9396_CR57","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0743-1066(94)90040-X","volume":"18","author":"KA Ross","year":"1994","unstructured":"Ross, K.A.: On negation in HiLog. J. Log. Program. 18(1), 27\u201353 (1994)","journal-title":"J. Log. Program."},{"key":"9396_CR58","doi-asserted-by":"crossref","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Snodgrass, R.T., Winslett, M. (eds.) Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, pp. 442\u2013453. ACM Press. Available at http:\/\/xsb.sourceforge.net\/ (1994)","DOI":"10.1145\/191843.191927"},{"key":"9396_CR59","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE - a query, inference, and transformation language for the semantic web. In: 1st International Semantic Web Conference (ISWC-2002), pp. 364\u2013378. Springer-Verlag (2002)","DOI":"10.1007\/3-540-48005-6_28"},{"issue":"1\u20132","key":"9396_CR60","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. Theory Pract. Log. Program. (TPLP). 12(1\u20132), 157\u2013187 (2012)","journal-title":"Theory Pract. Log. Program. (TPLP)"},{"issue":"2\u20133","key":"9396_CR61","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ ter Horst","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. J. Web Semant. 3(2\u20133), 79\u2013115 (2005)","journal-title":"J. Web Semant."},{"key":"9396_CR62","doi-asserted-by":"crossref","unstructured":"Yin, X., Han, J., Yu, P.S.: Truth discovery with multiple conflicting information providers on the web. In: 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2007), pp. 1048\u20131052 (2007)","DOI":"10.1145\/1281192.1281309"},{"key":"9396_CR63","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.websem.2011.08.006","volume":"11","author":"A Zimmermann","year":"2012","unstructured":"Zimmermann, A., Lopes, N., Polleres, A., Straccia, U.: A general framework for representing, reasoning and querying with annotated semantic web data. J. Web Semant. 11, 72\u201395 (2012)","journal-title":"J. Web Semant."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9396-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9396-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9396-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T17:02:51Z","timestamp":1564938171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9396-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,13]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9396"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9396-0","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,13]]}}}