{"id":"https://openalex.org/W2912386934","doi":"https://doi.org/10.3233/sw-190344","title":"Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements1","display_name":"Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements1","publication_year":2019,"publication_date":"2019-02-15","ids":{"openalex":"https://openalex.org/W2912386934","doi":"https://doi.org/10.3233/sw-190344","mag":"2912386934"},"language":"en","primary_location":{"id":"doi:10.3233/sw-190344","is_oa":true,"landing_page_url":"https://doi.org/10.3233/sw-190344","pdf_url":"https://content.iospress.com:443/download/semantic-web/sw190344?id=semantic-web%2Fsw190344","source":{"id":"https://openalex.org/S4210177235","display_name":"Semantic Web","issn_l":"1570-0844","issn":["1570-0844","2210-4968"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Semantic Web","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://content.iospress.com:443/download/semantic-web/sw190344?id=semantic-web%2Fsw190344","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042251601","display_name":"Fariz Darari","orcid":"https://orcid.org/0000-0001-6025-609X"},"institutions":[{"id":"https://openalex.org/I29617571","display_name":"University of Indonesia","ror":"https://ror.org/0116zj450","country_code":"ID","type":"education","lineage":["https://openalex.org/I29617571"]}],"countries":["ID"],"is_corresponding":true,"raw_author_name":"Fariz Darari","raw_affiliation_strings":["Faculty of Computer Science, Universitas Indonesia, Kampus UI Depok, Indonesia \u2013 16424. E-mail:\u00a0fariz@cs.ui.ac.id"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Universitas Indonesia, Kampus UI Depok, Indonesia \u2013 16424. E-mail:\u00a0fariz@cs.ui.ac.id","institution_ids":["https://openalex.org/I29617571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038176802","display_name":"Werner Nutt","orcid":"https://orcid.org/0000-0002-9347-1885"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Werner Nutt","raw_affiliation_strings":["Faculty of Computer Science, Free University of Bozen-Bolzano, Dominikanerplatz 3 \u2013 piazza Domenicani, 3, 39100 Bozen-Bolzano, Italy. E-mail:\u00a0Werner.Nutt@unibz.it"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Free University of Bozen-Bolzano, Dominikanerplatz 3 \u2013 piazza Domenicani, 3, 39100 Bozen-Bolzano, Italy. E-mail:\u00a0Werner.Nutt@unibz.it","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058717031","display_name":"Simon Razniewski","orcid":"https://orcid.org/0000-0002-5410-218X"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Razniewski","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarland Informatics Campus, Building E1 4, 66123 Saarbr\u00fccken, Germany. E-mail:\u00a0srazniew@mpi-inf.mpg.de"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarland Informatics Campus, Building E1 4, 66123 Saarbr\u00fccken, Germany. E-mail:\u00a0srazniew@mpi-inf.mpg.de","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024774718","display_name":"Sebastian Rudolph","orcid":"https://orcid.org/0000-0002-1609-2080"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Rudolph","raw_affiliation_strings":["Faculty of Computer Science, Technische Universit\u00e4t Dresden, N\u00f6thnitzer Str. 46, 01187 Dresden, Germany. E-mail:\u00a0sebastian.rudolph@tu-dresden.de"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Technische Universit\u00e4t Dresden, N\u00f6thnitzer Str. 46, 01187 Dresden, Germany. E-mail:\u00a0sebastian.rudolph@tu-dresden.de","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5042251601"],"corresponding_institution_ids":["https://openalex.org/I29617571"],"apc_list":null,"apc_paid":null,"fwci":0.8671,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80208269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"11","issue":"3","first_page":"441","last_page":"482"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9735000133514404,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sparql","display_name":"SPARQL","score":0.9567170143127441},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.952673077583313},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.8602229952812195},{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.7126538157463074},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7096322178840637},{"id":"https://openalex.org/keywords/named-graph","display_name":"Named graph","score":0.5425158143043518},{"id":"https://openalex.org/keywords/rdf-schema","display_name":"RDF Schema","score":0.5350820422172546},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.4028683006763458},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29598772525787354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2090614140033722},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.16637268662452698}],"concepts":[{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.9567170143127441},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.952673077583313},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8602229952812195},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.7126538157463074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7096322178840637},{"id":"https://openalex.org/C110893760","wikidata":"https://www.wikidata.org/wiki/Q3115590","display_name":"Named graph","level":5,"score":0.5425158143043518},{"id":"https://openalex.org/C15657843","wikidata":"https://www.wikidata.org/wiki/Q1751819","display_name":"RDF Schema","level":5,"score":0.5350820422172546},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4028683006763458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29598772525787354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2090614140033722},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.16637268662452698},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3233/sw-190344","is_oa":true,"landing_page_url":"https://doi.org/10.3233/sw-190344","pdf_url":"https://content.iospress.com:443/download/semantic-web/sw190344?id=semantic-web%2Fsw190344","source":{"id":"https://openalex.org/S4210177235","display_name":"Semantic Web","issn_l":"1570-0844","issn":["1570-0844","2210-4968"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Semantic Web","raw_type":"journal-article"},{"id":"pmh:oai:alma.39UBZ_INST:11239294620001241","is_oa":true,"landing_page_url":"https://content.iospress.com/articles/semantic-web/sw190344","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:pure.mpg.de:item_3239565","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0006-9A06-6","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Semantic Web","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:unibz.it:11239294620001241","is_oa":true,"landing_page_url":"https://bia.unibz.it/esploro/outputs/journalArticle/Completeness-and-soundness-guarantees-for-conjunctive/991005834451601241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":{"id":"doi:10.3233/sw-190344","is_oa":true,"landing_page_url":"https://doi.org/10.3233/sw-190344","pdf_url":"https://content.iospress.com:443/download/semantic-web/sw190344?id=semantic-web%2Fsw190344","source":{"id":"https://openalex.org/S4210177235","display_name":"Semantic Web","issn_l":"1570-0844","issn":["1570-0844","2210-4968"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Semantic Web","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3150821489","display_name":"A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation","funder_award_id":"771779","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320325400","display_name":"Libera Universit\u00e0 di Bolzano","ror":"https://ror.org/012ajp527"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2912386934.pdf","grobid_xml":"https://content.openalex.org/works/W2912386934.grobid-xml"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W16121876","https://openalex.org/W126779699","https://openalex.org/W150699991","https://openalex.org/W172995687","https://openalex.org/W1496815773","https://openalex.org/W1524668325","https://openalex.org/W1551374365","https://openalex.org/W1551807230","https://openalex.org/W1567491469","https://openalex.org/W1766332311","https://openalex.org/W1851822022","https://openalex.org/W1870959433","https://openalex.org/W1872390168","https://openalex.org/W1898192448","https://openalex.org/W1973653891","https://openalex.org/W1979514837","https://openalex.org/W1989038407","https://openalex.org/W1989783863","https://openalex.org/W1992479406","https://openalex.org/W2009285751","https://openalex.org/W2015191210","https://openalex.org/W2016753842","https://openalex.org/W2018592576","https://openalex.org/W2028755983","https://openalex.org/W2028864278","https://openalex.org/W2051687086","https://openalex.org/W2057545667","https://openalex.org/W2061253631","https://openalex.org/W2076631482","https://openalex.org/W2076698873","https://openalex.org/W2080133951","https://openalex.org/W2085888662","https://openalex.org/W2105486835","https://openalex.org/W2131785201","https://openalex.org/W2136610067","https://openalex.org/W2151502664","https://openalex.org/W2166799477","https://openalex.org/W2189547572","https://openalex.org/W2224852441","https://openalex.org/W2226235235","https://openalex.org/W2294560619","https://openalex.org/W2341832822","https://openalex.org/W2345053475","https://openalex.org/W2462016618","https://openalex.org/W2513612540","https://openalex.org/W2523023877","https://openalex.org/W2573889481","https://openalex.org/W2577087038","https://openalex.org/W2578209794","https://openalex.org/W2581102923","https://openalex.org/W2606270692","https://openalex.org/W2740025111","https://openalex.org/W2786268876","https://openalex.org/W2884555938","https://openalex.org/W2972708100","https://openalex.org/W3040734868","https://openalex.org/W3098648196","https://openalex.org/W3105669951","https://openalex.org/W4210962885","https://openalex.org/W6604208927","https://openalex.org/W6686979914"],"related_works":["https://openalex.org/W1935612762","https://openalex.org/W2615202182","https://openalex.org/W3033347047","https://openalex.org/W3150241097","https://openalex.org/W2079781157","https://openalex.org/W2739867725","https://openalex.org/W1618147311","https://openalex.org/W4387830202","https://openalex.org/W2623597564","https://openalex.org/W1917015196"],"abstract_inverted_index":{"RDF":[0,56,80],"generally":[1],"follows":[2],"the":[3,111,114,119,130,166,173,198],"open-world":[4],"assumption:":[5],"information":[6],"is":[7,28,37,142,153],"incomplete":[8],"by":[9,106],"default.":[10],"Consequently,":[11],"SPARQL":[12,92],"queries":[13,125],"cannot":[14],"retrieve":[15],"with":[16,126],"certainty":[17],"complete":[18,60],"answers,":[19],"and":[20,88,117,136,149,164,184],"even":[21],"worse,":[22],"when":[23],"they":[24,31],"involve":[25],"negation,":[26,127],"it":[27],"unclear":[29],"whether":[30,100],"produce":[32],"sound":[33],"answers.":[34],"Nevertheless,":[35],"there":[36],"hope":[38],"to":[39,83,98,172,196],"lift":[40],"this":[41,73],"limitation.":[42],"On":[43],"many":[44],"specific":[45],"topics":[46],"(e.g.,":[47],"children":[48],"of":[49,86,113,121,132,145,200],"Trump,":[50],"Apollo":[51],"11":[52],"crew,":[53],"EU":[54],"founders),":[55],"data":[57,81],"sources":[58,82],"contain":[59],"information,":[61],"a":[62,96,146,154,157,162,170,191],"fact":[63],"that":[64],"can":[65,103],"be":[66,104],"made":[67],"explicit":[68],"through":[69],"completeness":[70,77,87,102,174,182],"statements.":[71],"In":[72],"work,":[74],"we":[75,128],"leverage":[76],"statements":[78],"over":[79],"provide":[84,161],"guarantees":[85],"soundness":[89,134,140,151,167],"for":[90,181],"conjunctive":[91],"queries.":[93],"We":[94,160,176],"develop":[95,178],"technique":[97],"check":[99],"query":[101,133,147,155],"guaranteed":[105],"taking":[107],"into":[108],"account":[109],"also":[110],"specifics":[112],"queried":[115],"graph,":[116],"analyze":[118],"complexity":[120],"such":[122],"checking.":[123],"For":[124],"approach":[129],"problem":[131,168],"checking,":[135,183],"distinguish":[137],"between":[138],"answer":[139,144],"(i.e.,":[141,152],"an":[143],"sound?)":[148],"pattern":[150],"as":[156],"whole":[158],"sound?).":[159],"formalization":[163],"characterize":[165],"via":[169],"reduction":[171],"problem.":[175],"further":[177],"heuristic":[179],"techniques":[180],"conduct":[185],"experimental":[186],"evaluations":[187],"based":[188],"on":[189],"Wikidata,":[190],"prominent,":[192],"real-world":[193],"knowledge":[194],"base,":[195],"demonstrate":[197],"feasibility":[199],"our":[201],"approach.":[202]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}