{"id":"https://openalex.org/W4226331914","doi":"https://doi.org/10.1145/3517804.3524166","title":"Efficiently Enumerating Answers to Ontology-Mediated Queries","display_name":"Efficiently Enumerating Answers to Ontology-Mediated Queries","publication_year":2022,"publication_date":"2022-06-12","ids":{"openalex":"https://openalex.org/W4226331914","doi":"https://doi.org/10.1145/3517804.3524166"},"language":"en","primary_location":{"id":"doi:10.1145/3517804.3524166","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3517804.3524166","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","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/A5034616829","display_name":"Carsten Lutz","orcid":"https://orcid.org/0000-0002-8791-6702"},"institutions":[{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Carsten Lutz","raw_affiliation_strings":["University of Leipzig, Leipzig, Germany"],"affiliations":[{"raw_affiliation_string":"University of Leipzig, Leipzig, Germany","institution_ids":["https://openalex.org/I926574661"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016377371","display_name":"Marcin Przyby\u0142ko","orcid":null},"institutions":[{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marcin Przybylko","raw_affiliation_strings":["University of Leipzig, Leipzig, Germany"],"affiliations":[{"raw_affiliation_string":"University of Leipzig, Leipzig, Germany","institution_ids":["https://openalex.org/I926574661"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5034616829"],"corresponding_institution_ids":["https://openalex.org/I926574661"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1826051,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"277","last_page":"289"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13497","display_name":"Hermeneutics and Narrative Identity","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13497","display_name":"Hermeneutics and Narrative Identity","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13695","display_name":"Aging, Elder Care, and Social Issues","score":0.9749000072479248,"subfield":{"id":"https://openalex.org/subfields/3600","display_name":"General Health Professions"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13099","display_name":"Health, Medicine and Society","score":0.95660001039505,"subfield":{"id":"https://openalex.org/subfields/3600","display_name":"General Health Professions"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.7874892950057983},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.6985576152801514},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6881840229034424},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.6379901170730591},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6120966076850891},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5851131677627563},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5429726243019104},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.49860215187072754},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48001426458358765},{"id":"https://openalex.org/keywords/directed-acyclic-graph","display_name":"Directed acyclic graph","score":0.4737188220024109},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.45934897661209106},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.45932433009147644},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3116523027420044},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3100830316543579},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.30232149362564087},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2931700646877289},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14338263869285583}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7874892950057983},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.6985576152801514},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6881840229034424},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.6379901170730591},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6120966076850891},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5851131677627563},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5429726243019104},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.49860215187072754},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48001426458358765},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.4737188220024109},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.45934897661209106},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.45932433009147644},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3116523027420044},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3100830316543579},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.30232149362564087},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2931700646877289},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14338263869285583},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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":1,"locations":[{"id":"doi:10.1145/3517804.3524166","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3517804.3524166","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1565047086","https://openalex.org/W1579803282","https://openalex.org/W1824207140","https://openalex.org/W1967827263","https://openalex.org/W1985581502","https://openalex.org/W1988045490","https://openalex.org/W1996028864","https://openalex.org/W2001399171","https://openalex.org/W2005032394","https://openalex.org/W2011992362","https://openalex.org/W2066617111","https://openalex.org/W2099367286","https://openalex.org/W2102729564","https://openalex.org/W2146507303","https://openalex.org/W2199172455","https://openalex.org/W2234276446","https://openalex.org/W2346099666","https://openalex.org/W2763521382","https://openalex.org/W2947136671","https://openalex.org/W2951155698","https://openalex.org/W2967222032","https://openalex.org/W2982558361","https://openalex.org/W3006809958","https://openalex.org/W3032788150","https://openalex.org/W3083000756","https://openalex.org/W3094834091","https://openalex.org/W3136177902","https://openalex.org/W3139244887","https://openalex.org/W3172388843","https://openalex.org/W4221147134","https://openalex.org/W4244275182"],"related_works":["https://openalex.org/W352166","https://openalex.org/W1327162","https://openalex.org/W267718","https://openalex.org/W1555794","https://openalex.org/W18024286","https://openalex.org/W5051221","https://openalex.org/W18659560","https://openalex.org/W4481811","https://openalex.org/W10100999","https://openalex.org/W3255688"],"abstract_inverted_index":{"We":[0,101],"study":[1,46],"the":[2,11,22,27,37,64,73,113,139],"enumeration":[3,71],"of":[4,16,40,50,72,78,81,116,125],"answers":[5,52,76,83,128],"to":[6,36],"ontology-mediated":[7],"queries":[8],"(OMQs)":[9],"where":[10],"ontology":[12],"is":[13,29,69,84,145],"a":[14,30,118],"set":[15],"guarded":[17],"TGDs":[18],"or":[19],"formulated":[20],"in":[21,63,121,129],"description":[23],"logic":[24],"ELI":[25],"and":[26,45,77,89,98,124,143],"query":[28,32],"conjunctive":[31],"(CQ).":[33],"In":[34,136],"addition":[35],"traditional":[38,74],"notion":[39],"an":[41],"answer,":[42],"we":[43],"propose":[44],"two":[47],"novel":[48],"notions":[49],"partial":[51,82],"that":[53,70,94],"can":[54],"take":[55],"into":[56],"account":[57],"nulls":[58],"generated":[59],"by":[60,147],"existential":[61],"quantifiers":[62],"ontology.":[65],"Our":[66],"main":[67],"result":[68],"complete":[75],"both":[79,96,137],"kinds":[80],"possible":[85],"with":[86],"linear-time":[87],"preprocessing":[88],"constant":[90,130],"delay":[91],"for":[92,112],"OMQs":[93],"are":[95,110],"acyclic":[97],"free-connex":[99],"acyclic.":[100],"also":[102],"provide":[103],"partially":[104],"matching":[105],"lower":[106],"bounds.":[107],"Similar":[108],"results":[109],"obtained":[111],"related":[114],"problems":[115],"testing":[117,126],"single":[119],"answer":[120],"linear":[122,133],"time":[123,131,134],"multiple":[127],"after":[132],"preprocessing.":[135],"cases,":[138],"border":[140],"between":[141],"tractability":[142],"intractability":[144],"characterized":[146],"similar,":[148],"but":[149],"slightly":[150],"different":[151],"acyclicity":[152],"properties.":[153]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-05T00:00:00"}