{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:07:01Z","timestamp":1750309621465,"version":"3.41.0"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319610320"},{"type":"electronic","value":"9783319610337"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61033-7_5","type":"book-chapter","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T07:40:08Z","timestamp":1496994008000},"page":"121-166","source":"Crossref","is-referenced-by-count":1,"title":["Datalog Revisited for Reasoning in Linked Data"],"prefix":"10.1007","author":[{"given":"Marie-Christine","family":"Rousset","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Atencia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerome","family":"David","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Jouanot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Palombi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Ulliana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,10]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Abrams, Z., Haar, S., Milo, T.: Diagnosis of asynchronous discrete event systems: datalog to the rescue! In: Proceedings of the Twenty-Fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 13\u201315 June 2005, Baltimore, pp. 358\u2013367. ACM (2005)","DOI":"10.1145\/1065167.1065214"},{"key":"5_CR2","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"5_CR3","unstructured":"Al-Bakri, M., Atencia, M., David, J., Lalande, S., Rousset, M.-C.: Uncertainty-sensitive reasoning for inferring sameAS facts in linked data. In: Proceedings of the European Conference on Artificial Intelligence (ECAI 2016), August 2016, The Hague (2016)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Al-Bakri, M., Atencia, M., Lalande, S., Rousset, M.-C.: Inferring same-as facts from linked data: an iterative import-by-query approach. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 25\u201330 January 2015, Austin, pp. 9\u201315. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9174"},{"key":"5_CR5","volume-title":"Semantic Web for the Working Ontologist: Modeling in RDF, RDFS and OWL","author":"D Allemang","year":"2011","unstructured":"Allemang, D., Hendler, J.: Semantic Web for the Working Ontologist: Modeling in RDF, RDFS and OWL. Morgan Kaufmann, San Francisco (2011)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-662-47666-6_5","volume-title":"Automata, Languages, and Programming","author":"A Amarilli","year":"2015","unstructured":"Amarilli, A., Bourhis, P., Senellart, P.: Provenance circuits for trees and treelike instances. In: Halld\u00f3rsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9135, pp. 56\u201368. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-47666-6_5"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Arasu, A., R\u00e9, C., Suciu, D.: Large-scale deduplication with constraints using dedupalog. In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, 29 March 2009\u20132 April 2009, Shanghai, pp. 952\u2013963. IEEE Computer Society (2009)","DOI":"10.1109\/ICDE.2009.43"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. In: Proceedings of the International Conference on Principles of Database Systems (PODS 2014) (2014)","DOI":"10.1145\/2594538.2594555"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Atencia, M., Al-Bakri, M., Rousset, M.-C.: Trust in networks of ontologies and alignments. J. Knowl. Inf. Syst. (2013). doi: 10.1007\/s10115-013-0708-9","DOI":"10.1007\/s10115-013-0708-9"},{"key":"5_CR10","unstructured":"Atencia, M., David, J., Euzenat, J.: Data interlinking through robust linkkey extraction. In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18\u201322 August 2014, Prague, - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 15\u201320. IOS Press (2014)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-33876-2_14","volume-title":"Knowledge Engineering and Knowledge Management","author":"M Atencia","year":"2012","unstructured":"Atencia, M., David, J., Scharffe, F.: Keys and pseudo-keys detection for web datasets cleansing and interlinking. In: Teije, A., et al. (eds.) EKAW 2012. LNCS (LNAI), vol. 7603, pp. 144\u2013153. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33876-2_14"},{"key":"5_CR12","unstructured":"Br\u00f6cheler, M., Mihalkova, L., Getoor, L.: Probabilistic similarity logic. In: Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2010, Catalina Island, 8\u201311 July 2010, pp. 73\u201382. AUAI Press (2010)"},{"key":"5_CR13","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 Semant. 14, 57\u201383 (2012)","journal-title":"J. Web Semant."},{"issue":"3","key":"5_CR14","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational databases. In: Proceedings of the 9th ACM Symposium on Theory of Computing, pp. 77\u201390 (1975)","DOI":"10.1145\/800105.803397"},{"key":"5_CR16","series-title":"Data-Centric Systems and Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-31164-2","volume-title":"Data Matching - Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection","author":"P Christen","year":"2012","unstructured":"Christen, P.: Data Matching - Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection. Data-Centric Systems and Applications. Springer, Heidelberg (2012)"},{"issue":"6","key":"5_CR17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/2395116.2395119","volume":"59","author":"N Dalvi","year":"2012","unstructured":"Dalvi, N., Suciu, D.: The dichotomy of probabilistic inference for unions of conjunctive queries. J. ACM 59(6), 17\u201337 (2012)","journal-title":"J. ACM"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11) (2011)","DOI":"10.1609\/aaai.v25i1.7857"},{"key":"5_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-38721-0","volume-title":"Ontology Matching","author":"J Euzenat","year":"2013","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching, 2nd edn. Springer, Heidelberg (2013)","edition":"2"},{"issue":"3","key":"5_CR20","doi-asserted-by":"crossref","first-page":"46","DOI":"10.4018\/jswis.2011070103","volume":"7","author":"A Ferrara","year":"2011","unstructured":"Ferrara, A., Nikolov, A., Scharffe, F.: Data linking for the semantic web. Int. J. Semant. Web Inf. Syst. 7(3), 46\u201376 (2011)","journal-title":"Int. J. Semant. Web Inf. Syst."},{"issue":"1","key":"5_CR21","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C Forgy","year":"1982","unstructured":"Forgy, C.: Rete: a fast algorithm for the many patterns\/many objects match problem. Artif. Intell. 19(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"issue":"35","key":"5_CR22","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1093\/comjnl\/35.3.243","volume":"3","author":"N Fuhr","year":"1992","unstructured":"Fuhr, N.: Probabilistic models in information retrieval. Comput. J. 3(35), 243\u2013255 (1992)","journal-title":"Comput. J."},{"issue":"2","key":"5_CR23","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H","volume":"51","author":"N Fuhr","year":"2000","unstructured":"Fuhr, N.: Probabilistic datalog: implementing logical information retrieval for advanced applications. J. Am. Soc. Inf. Sci. 51(2), 95\u2013110 (2000)","journal-title":"J. Am. Soc. Inf. Sci."},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. J. Artif. Intell. Res. (JAIR-08) 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR-08)"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1613\/jair.3579","volume":"45","author":"BC Grau","year":"2012","unstructured":"Grau, B.C., Motik, B.: Reasoning over ontologies with hidden content: the import-by-query approach. J. Artif. Intell. Res. (JAIR) 45, 197\u2013255 (2012)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"5_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79432-2","volume-title":"Linked Data: Evolving the Web into a Global Data Space","author":"T Heath","year":"2011","unstructured":"Heath, T., Bizer, C.: Linked Data: Evolving the Web into a Global Data Space. Morgan and Claypool, Palo Alto (2011)"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-90-481-8847-5_14","volume-title":"Theory and Applications of Ontology","author":"H Herre","year":"2010","unstructured":"Herre, H.: General formal ontology (GFO): a foundational ontology for conceptual modelling. In: Poli, R., Healy, M., Healy, A. (eds.) Theory and Applications of Ontology, vol. 2, pp. 297\u2013345. Springer, Berlin (2010)"},{"key":"5_CR28","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0743-1066(95)00051-K","volume":"25","author":"GG Hillebrand","year":"1995","unstructured":"Hillebrand, G.G., Kanellakis, P.C., Mairson, H.G., Vardi, M.Y.: Undecidable boundedness problems for datalog programs. J. Log. Program. (JLP-95) 25, 163\u2013190 (1995)","journal-title":"J. Log. Program. (JLP-95)"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-58025-5_54","volume-title":"Extensions of Logic Programming","author":"K Hinkelmann","year":"1994","unstructured":"Hinkelmann, K., Hintze, H.: Computing cost estimates for proof strategies. In: Dyckhoff, R. (ed.) ELP 1993. LNCS, vol. 798, pp. 152\u2013170. Springer, Heidelberg (1994). doi: 10.1007\/3-540-58025-5_54"},{"issue":"4","key":"5_CR30","first-page":"1","volume":"1","author":"R Hoehndorf","year":"2010","unstructured":"Hoehndorf, R., Ngonga Ngomo, A.-C., Kelso, J.: Applying the functional abnormality ontology pattern to anatomical functions. J. Biomed. Semant. 1(4), 1\u201315 (2010)","journal-title":"J. Biomed. Semant."},{"key":"5_CR31","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.websem.2011.11.002","volume":"10","author":"A Hogan","year":"2012","unstructured":"Hogan, A., Zimmermann, A., Umbrich, J., Polleres, A., Decker, S.: Scalable and distributed methods for entity matching, consolidation and disambiguation over linked data corpora. J. Web Semant. 10, 76\u2013110 (2012)","journal-title":"J. Web Semant."},{"key":"5_CR32","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Proceedings of the European Conference on Artificial Intelligence (ECAI-08) (2008)"},{"key":"5_CR33","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L.: Wonder-web deliverable D17. The WonderWeb library of foundational ontologies and the DOLCE ontology. Technical report, ISTC-CNR (2002)"},{"key":"5_CR34","unstructured":"Ngonga Ngomo, A.-C., Auer, S.: LIMES - a time-efficient approach for large-scale link discovery on the web of data. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, 16\u201322 July 2011, pp. 2312\u20132317. IJCAI\/AAAI (2011)"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/978-3-540-30475-3_49","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"NF Noy","year":"2004","unstructured":"Noy, N.F., Musen, M.A.: Specifying ontology views by traversal. In: McIlraith, S.A., Plexousakis, D., Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 713\u2013725. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30475-3_49"},{"key":"5_CR36","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1186\/2041-1480-5-20","volume":"5","author":"O Palombi","year":"2014","unstructured":"Palombi, O., Ulliana, F., Favier, V., Rousset, M.-C.: My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models. J. Biomed. Semant. (JOBS 2014) 5, 20 (2014)","journal-title":"J. Biomed. Semant. (JOBS 2014)"},{"key":"5_CR37","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1186\/s13326-015-0034-0","volume":"6","author":"P-Y Rabattu","year":"2015","unstructured":"Rabattu, P.-Y., Masse, B., Ulliana, F., Rousset, M.-C., Rohmer, D., Leon, J.-C., Palombi, O.: My Corporis Fabrica embryo: an ontology-based 3D spatio-temporal modeling of human embryo development. J. Biomed. Semant. (JOBS 2015) 6, 36 (2015)","journal-title":"J. Biomed. Semant. (JOBS 2015)"},{"key":"5_CR38","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1016\/j.jbi.2003.11.007","volume":"36","author":"C Rosse","year":"2003","unstructured":"Rosse, C., Mejino, J.L.V.: A reference ontology for biomedical informatics: the foundational model of anatomy. J. Biomed. Inform. 36, 500 (2003)","journal-title":"J. Biomed. Inform."},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Rousset, M.-C., Ulliana, F.: Extractiong bounded-level modules from deductive triplestores. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 25\u201330 January 2015, Austin. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9176"},{"key":"5_CR40","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-642-00685-2_3","volume":"12","author":"F Sa\u00efs","year":"2009","unstructured":"Sa\u00efs, F., Pernelle, N., Rousset, M.-C.: Combining a logical and a numerical method for data reconciliation. J. Data Semant. 12, 66\u201394 (2009)","journal-title":"J. Data Semant."},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Singla, P., Domingos, P.M.: Entity resolution with Markov logic. In: Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 18\u201322 December 2006, Hong Kong, pp. 572\u2013582. IEEE Computer Society (2006)","DOI":"10.1109\/ICDM.2006.65"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Suchanek, F.M., Kasneci, G., Weikum, G.: Yago: a core of semantic knowledge. In: Proceedings of the World Wide Web Conference (WWW-07) (2007)","DOI":"10.1145\/1242572.1242667"},{"key":"5_CR43","volume-title":"Probabilistic Databases","author":"D Suciu","year":"1995","unstructured":"Suciu, D., Olteanu, D., R\u00e9, C., Koch, C.: Probabilistic Databases. Morgan & Claypool, San Francisco (1995)"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-11964-9_3","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"D Symeonidou","year":"2014","unstructured":"Symeonidou, D., Armant, V., Pernelle, N., Sa\u00efs, F.: SAKey: scalable almost key discovery in RDF data. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8796, pp. 33\u201349. Springer, Cham (2014). doi: 10.1007\/978-3-319-11964-9_3"},{"key":"5_CR45","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-642-22630-4_3","volume":"15","author":"R Tournaire","year":"2011","unstructured":"Tournaire, R., Petit, J.-M., Rousset, M.-C., Termier, A.: Discovery of probabilistic mappings between taxonomies: principles and experiments. J. Data Semant. 15, 66\u2013101 (2011)","journal-title":"J. Data Semant."},{"key":"5_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1007\/978-3-642-25073-6_46","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"J Urbani","year":"2011","unstructured":"Urbani, J., Harmelen, F., Schlobach, S., Bal, H.: QueryPIE: backward reasoning for OWL horst over very large knowledge bases. In: Aroyo, L., et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 730\u2013745. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25073-6_46"},{"key":"5_CR47","unstructured":"Vieille, L.: Recursive axioms in deductive databases: the query\/subquery approach. In: Expert Database Conference, pp. 253\u2013267 (1986)"},{"key":"5_CR48","unstructured":"Volz, J., Bizer, C., Gaedke, M., Kobilarov, G.: Silk - a link discovery framework for the web of data. In: Proceedings of the WWW 2009 Workshop on Linked Data on the Web, LDOW 2009, Madrid, 20 April 2009, vol. 538. CEUR Workshop Proceedings. CEUR-WS.org (2009)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Interoperability on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61033-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T02:34:05Z","timestamp":1750300445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61033-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319610320","9783319610337"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61033-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}