{"id":"https://openalex.org/W1982479815","doi":"https://doi.org/10.1145/2603088.2603131","title":"On the succinctness of query rewriting over shallow ontologies","display_name":"On the succinctness of query rewriting over shallow ontologies","publication_year":2014,"publication_date":"2014-07-14","ids":{"openalex":"https://openalex.org/W1982479815","doi":"https://doi.org/10.1145/2603088.2603131","mag":"1982479815"},"language":"en","primary_location":{"id":"doi:10.1145/2603088.2603131","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603131","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"article","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/A5064954954","display_name":"Stanislav Kikot","orcid":"https://orcid.org/0000-0002-2371-5821"},"institutions":[{"id":"https://openalex.org/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Stanislav Kikot","raw_affiliation_strings":["University of London, UK","University of London, UK > > > >"],"affiliations":[{"raw_affiliation_string":"University of London, UK","institution_ids":["https://openalex.org/I124357947"]},{"raw_affiliation_string":"University of London, UK > > > >","institution_ids":["https://openalex.org/I124357947"]}]},{"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/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Roman Kontchakov","raw_affiliation_strings":["University of London, UK","University of London, UK > > > >"],"affiliations":[{"raw_affiliation_string":"University of London, UK","institution_ids":["https://openalex.org/I124357947"]},{"raw_affiliation_string":"University of London, UK > > > >","institution_ids":["https://openalex.org/I124357947"]}]},{"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/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, Moscow, Russia","Steklov Mathematical Institute , Moscow , Russia"],"affiliations":[{"raw_affiliation_string":"Steklov Mathematical Institute, Moscow, Russia","institution_ids":["https://openalex.org/I2801160905"]},{"raw_affiliation_string":"Steklov Mathematical Institute , Moscow , Russia","institution_ids":["https://openalex.org/I2801160905"]}]},{"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/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Zakharyaschev","raw_affiliation_strings":["University of London, UK","University of London, UK > > > >"],"affiliations":[{"raw_affiliation_string":"University of London, UK","institution_ids":["https://openalex.org/I124357947"]},{"raw_affiliation_string":"University of London, UK > > > >","institution_ids":["https://openalex.org/I124357947"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5064954954"],"corresponding_institution_ids":["https://openalex.org/I124357947"],"apc_list":null,"apc_paid":null,"fwci":3.5971,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.93167304,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9950000047683716,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9950000047683716,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9934999942779541,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9933000206947327,"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/succinctness","display_name":"Succinctness","score":0.9382883906364441},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.936130166053772},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.7495893239974976},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5141677856445312},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.5024168491363525},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47650018334388733},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4475499093532562},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.42979440093040466},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.4249066710472107},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41121572256088257},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3851955533027649},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3573322892189026},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.1938071846961975},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.166422039270401},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15354245901107788},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.1366472840309143},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.09351077675819397}],"concepts":[{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.9382883906364441},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.936130166053772},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.7495893239974976},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5141677856445312},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.5024168491363525},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47650018334388733},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4475499093532562},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.42979440093040466},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.4249066710472107},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41121572256088257},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3851955533027649},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3573322892189026},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.1938071846961975},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.166422039270401},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15354245901107788},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.1366472840309143},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.09351077675819397},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.0},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2603088.2603131","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603131","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.londonmet.ac.uk:5791","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400140","display_name":"London Met Repository (London Metropolitan University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126193024","host_organization_name":"London Metropolitan University","host_organization_lineage":["https://openalex.org/I126193024"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.637.4112","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.4112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.bbk.ac.uk/~michael/Hyper-LICS-final.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6635143945","display_name":null,"funder_award_id":"EP/H05099X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"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":49,"referenced_works":["https://openalex.org/W52840101","https://openalex.org/W112858668","https://openalex.org/W140891738","https://openalex.org/W225634890","https://openalex.org/W987035227","https://openalex.org/W1482134990","https://openalex.org/W1483201833","https://openalex.org/W1508415800","https://openalex.org/W1512994420","https://openalex.org/W1524205832","https://openalex.org/W1527197079","https://openalex.org/W1549008998","https://openalex.org/W1549064707","https://openalex.org/W1558832481","https://openalex.org/W1589124617","https://openalex.org/W1590813069","https://openalex.org/W1606607399","https://openalex.org/W1784178627","https://openalex.org/W1830094896","https://openalex.org/W1840569928","https://openalex.org/W1868489877","https://openalex.org/W1966278576","https://openalex.org/W1981545838","https://openalex.org/W1988045490","https://openalex.org/W2001399171","https://openalex.org/W2012476164","https://openalex.org/W2025279645","https://openalex.org/W2031823362","https://openalex.org/W2132317835","https://openalex.org/W2134483537","https://openalex.org/W2137498727","https://openalex.org/W2137862151","https://openalex.org/W2140590662","https://openalex.org/W2152433756","https://openalex.org/W2199172455","https://openalex.org/W2490907619","https://openalex.org/W2579532545","https://openalex.org/W2898750120","https://openalex.org/W3101483322","https://openalex.org/W4206031975","https://openalex.org/W4298227433","https://openalex.org/W6602175484","https://openalex.org/W6608898877","https://openalex.org/W6628738374","https://openalex.org/W6629040674","https://openalex.org/W6633513001","https://openalex.org/W6639181261","https://openalex.org/W6680658557","https://openalex.org/W6785683103"],"related_works":["https://openalex.org/W1981545838","https://openalex.org/W1900017563","https://openalex.org/W2199172455","https://openalex.org/W225634890","https://openalex.org/W2128315929","https://openalex.org/W1982479815","https://openalex.org/W2404737747","https://openalex.org/W2395630030","https://openalex.org/W2133120961","https://openalex.org/W2435875632"],"abstract_inverted_index":{"We":[0,33,95],"investigate":[1],"the":[2,57],"succinctness":[3],"problem":[4],"for":[5,110],"conjunctive":[6,41,78],"query":[7,108],"rewritings":[8,62,76,87,98],"over":[9,36,102],"OWL":[10],"2QL":[11],"ontologies":[12,37,67,104],"of":[13,20,38,68,77,99],"depth":[14,39,69],"1":[15],"and":[16,28,73,105],"2":[17],"by":[18],"means":[19],"hypergraph":[21],"programs":[22],"computing":[23],"Boolean":[24],"functions.":[25],"Both":[26],"positive":[27,52,60,71],"negative":[29],"results":[30],"are":[31],"obtained.":[32],"show":[34],"that,":[35],"1,":[40],"queries":[42,49,79,101,112],"have":[43,50],"polynomial-size":[44],"nonrecursive":[45,74],"datalog":[46,75],"rewritings;":[47,54],"tree-shaped":[48,100],"polynomial":[51],"existential":[53,61,72],"however,":[55],"in":[56],"worst":[58],"case,":[59],"can":[63,80,88],"be":[64,89],"superpolynomial.":[65],"Over":[66],"2,":[70],"suffer":[81],"an":[82],"exponential":[83],"blowup,":[84],"while":[85],"first-order":[86],"superpolynomial":[90],"unless":[91],"NP":[92],"\u2286":[93],"P/poly.":[94],"also":[96],"analyse":[97],"arbitrary":[103],"note":[106],"that":[107],"entailment":[109],"such":[111],"is":[113],"fixed-parameter":[114],"tractable.":[115]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}