{"id":"https://openalex.org/W2588857520","doi":"https://doi.org/10.1145/3034786.3034791","title":"The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries","display_name":"The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries","publication_year":2017,"publication_date":"2017-05-09","ids":{"openalex":"https://openalex.org/W2588857520","doi":"https://doi.org/10.1145/3034786.3034791","mag":"2588857520"},"language":"en","primary_location":{"id":"doi:10.1145/3034786.3034791","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3034786.3034791","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050582138","display_name":"Meghyn Bienvenu","orcid":"https://orcid.org/0000-0001-6229-8103"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I19894307","display_name":"Universit\u00e9 de Montpellier","ror":"https://ror.org/051escj72","country_code":"FR","type":"education","lineage":["https://openalex.org/I19894307"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Meghyn Bienvenu","raw_affiliation_strings":["CNRS & University of Montpellier, Montpellier, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS & University of Montpellier, Montpellier, France","institution_ids":["https://openalex.org/I19894307","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064954954","display_name":"Stanislav Kikot","orcid":"https://orcid.org/0000-0002-2371-5821"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Stanislav Kikot","raw_affiliation_strings":["Birkbeck, University of London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Birkbeck, University of London, London, United Kingdom","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047265550","display_name":"Roman Kontchakov","orcid":"https://orcid.org/0000-0002-9349-9159"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Roman Kontchakov","raw_affiliation_strings":["Birkbeck, University of London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Birkbeck, University of London, London, United Kingdom","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038669776","display_name":"Vladimir V. Podolskii","orcid":"https://orcid.org/0000-0001-7154-138X"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I2801160905","display_name":"Steklov Mathematical Institute","ror":"https://ror.org/03zeg8w71","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Vladimir V. Podolskii","raw_affiliation_strings":["Steklov Mathematical Institute & National Research University Higher School of Economics, Moscow, Russian Fed"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Steklov Mathematical Institute & National Research University Higher School of Economics, Moscow, Russian Fed","institution_ids":["https://openalex.org/I2801160905","https://openalex.org/I118501908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038062752","display_name":"Vladislav Ryzhikov","orcid":"https://orcid.org/0000-0002-6847-6465"},"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":"Vladislav Ryzhikov","raw_affiliation_strings":["Free University of Bozen-Bolzano, Bozen-Bolzano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano, Bozen-Bolzano, Italy","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001878365","display_name":"Michael Zakharyaschev","orcid":"https://orcid.org/0000-0002-2210-5183"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Zakharyaschev","raw_affiliation_strings":["Birkbeck, University of London, Lodnon, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Birkbeck, University of London, Lodnon, United Kingdom","institution_ids":["https://openalex.org/I98259816"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8588,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.88879463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"201","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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.9997000098228455,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9861000180244446,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.8677194118499756},{"id":"https://openalex.org/keywords/treewidth","display_name":"Treewidth","score":0.785586953163147},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.7747350335121155},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7642009258270264},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7195940017700195},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6291431188583374},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.594825267791748},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5506042838096619},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5412260293960571},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.47729337215423584},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4712161123752594},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.41904860734939575},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36692196130752563},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36024153232574463},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3187640607357025},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.16998785734176636},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.15570062398910522},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.14198479056358337},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11912789940834045},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.09483858942985535}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.8677194118499756},{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.785586953163147},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.7747350335121155},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7642009258270264},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7195940017700195},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6291431188583374},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.594825267791748},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5506042838096619},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5412260293960571},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.47729337215423584},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4712161123752594},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.41904860734939575},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36692196130752563},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36024153232574463},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3187640607357025},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.16998785734176636},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.15570062398910522},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.14198479056358337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11912789940834045},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.09483858942985535},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3034786.3034791","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3034786.3034791","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1331844147","display_name":null,"funder_award_id":"12 JS02 007 01","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1437549612","display_name":null,"funder_award_id":"EP/M012670/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8537169409","display_name":"iTract: Islands of Tractability in Ontology-Based Data Access","funder_award_id":"EP/M012670/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W36639738","https://openalex.org/W52840101","https://openalex.org/W124764031","https://openalex.org/W140891738","https://openalex.org/W225634890","https://openalex.org/W273449305","https://openalex.org/W300076026","https://openalex.org/W964687071","https://openalex.org/W1411762349","https://openalex.org/W1482134990","https://openalex.org/W1483201833","https://openalex.org/W1512994420","https://openalex.org/W1527197079","https://openalex.org/W1549064707","https://openalex.org/W1555563750","https://openalex.org/W1558832481","https://openalex.org/W1570425181","https://openalex.org/W1591338016","https://openalex.org/W1606607399","https://openalex.org/W1824207140","https://openalex.org/W1868489877","https://openalex.org/W1870305865","https://openalex.org/W1944768628","https://openalex.org/W1968140791","https://openalex.org/W1969965298","https://openalex.org/W1970956440","https://openalex.org/W1979328074","https://openalex.org/W1981545838","https://openalex.org/W1982479815","https://openalex.org/W1988045490","https://openalex.org/W1996878052","https://openalex.org/W2001399171","https://openalex.org/W2004817090","https://openalex.org/W2027156036","https://openalex.org/W2027702526","https://openalex.org/W2029792385","https://openalex.org/W2051627428","https://openalex.org/W2051700974","https://openalex.org/W2060108852","https://openalex.org/W2079275582","https://openalex.org/W2083882369","https://openalex.org/W2090004024","https://openalex.org/W2097244109","https://openalex.org/W2110065561","https://openalex.org/W2134483537","https://openalex.org/W2137498727","https://openalex.org/W2137862151","https://openalex.org/W2140302114","https://openalex.org/W2140590662","https://openalex.org/W2152433756","https://openalex.org/W2155899822","https://openalex.org/W2199172455","https://openalex.org/W2211419885","https://openalex.org/W2219448960","https://openalex.org/W2248098515","https://openalex.org/W2294131806","https://openalex.org/W2309621853","https://openalex.org/W2395601031","https://openalex.org/W2405791534","https://openalex.org/W2538129730","https://openalex.org/W2579244882","https://openalex.org/W2588857520","https://openalex.org/W2593286162","https://openalex.org/W2613995098","https://openalex.org/W2635175427","https://openalex.org/W2898750120","https://openalex.org/W3023186102","https://openalex.org/W3102313542","https://openalex.org/W6639181261","https://openalex.org/W6648424669","https://openalex.org/W6682273264","https://openalex.org/W6912992434","https://openalex.org/W7014291074"],"related_works":["https://openalex.org/W2951257011","https://openalex.org/W4299540831","https://openalex.org/W2338525844","https://openalex.org/W4225342794","https://openalex.org/W212994645","https://openalex.org/W2497077163","https://openalex.org/W1491423131","https://openalex.org/W2021763726","https://openalex.org/W1551496168","https://openalex.org/W2573193831"],"abstract_inverted_index":{"Our":[0],"concern":[1],"is":[2,121,137,153],"the":[3,110,126,130,135,140],"overhead":[4,75],"of":[5,68,101,132],"answering":[6,116,144],"OWL":[7],"2":[8],"QL":[9],"ontology-mediated":[10],"queries":[11,29],"(OMQs)":[12],"in":[13,50,57,76,93,134],"ontology-based":[14],"data":[15],"access":[16],"compared":[17,104],"to":[18,105],"evaluating":[19],"their":[20,60],"underlying":[21],"tree-shaped":[22,63,86,119,156],"and,":[23],"more":[24],"generally,":[25],"bounded":[26,36,66],"treewidth":[27],"conjunctive":[28],"(CQs).":[30],"We":[31,95],"show":[32],"that":[33,44,115,143],"OMQs":[34,72,80,117,145],"with":[35,64,81,118,146],"depth":[37,128],"ontologies":[38,83],"have":[39],"nonrecursive":[40],"datalog":[41],"(NDL)":[42],"rewritings":[43,103],"can":[45],"be":[46],"constructed":[47,90],"and":[48,55,84,91,99,142,158],"evaluated":[49,92],"LOGCFL":[51],"for":[52,155,160],"combined":[53],"complexity,":[54],"even":[56],"NL":[58],"if":[59,125],"CQs":[61,120,136,157],"are":[62,89],"a":[65,147],"number":[67,131],"leaves.":[69],"Thus,":[70],"such":[71],"incur":[73],"no":[74],"complexity-theoretic":[77],"terms.":[78],"For":[79],"arbitrary":[82],"bounded-leaf":[85,161],"CQs,":[87],"NDL-rewritings":[88],"LOGCFL.":[94],"experimentally":[96],"demonstrate":[97],"feasibility":[98],"scalability":[100],"our":[102],"previously":[106],"proposed":[107],"NDL-rewritings.":[108],"On":[109],"negative":[111],"side,":[112],"we":[113],"prove":[114],"not":[122],"fixed-parameter":[123],"tractable":[124],"ontology":[127,149],"or":[129],"leaves":[133],"regarded":[138],"as":[139],"parameter,":[141],"fixed":[148],"(of":[150],"infinite":[151],"depth)":[152],"NP-complete":[154],"LOGCFL-complete":[159],"CQs.":[162]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}