{"id":"https://openalex.org/W3081466422","doi":"https://doi.org/10.24963/kr.2020/44","title":"Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates","display_name":"Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081466422","doi":"https://doi.org/10.24963/kr.2020/44","mag":"3081466422"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/44","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/44","pdf_url":"https://proceedings.kr.org/2020/44/kr2020-0044-gogacz-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/44/kr2020-0044-gogacz-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089747786","display_name":"Tomasz Gogacz","orcid":null},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Tomasz Gogacz","raw_affiliation_strings":["University of Warsaw"],"affiliations":[{"raw_affiliation_string":"University of Warsaw","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020109081","display_name":"Sanja Lukumbuzya","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sanja Lukumbuzya","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082472539","display_name":"Magdalena Ortiz","orcid":"https://orcid.org/0000-0002-2344-9658"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Magdalena Ortiz","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079813467","display_name":"Mantas \u0160imkus","orcid":"https://orcid.org/0000-0003-0632-0294"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mantas \u0160imkus","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089747786"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":0.2719,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64458307,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"434","last_page":"444"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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.9998000264167786,"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.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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9945999979972839,"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/datalog","display_name":"Datalog","score":0.9103248119354248},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7195966839790344},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.5326701402664185},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5118343234062195},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5062934160232544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4977271854877472},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.48837345838546753},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4164026081562042},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.3280966281890869},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20082250237464905}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9103248119354248},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7195966839790344},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5326701402664185},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5118343234062195},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5062934160232544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4977271854877472},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.48837345838546753},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4164026081562042},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.3280966281890869},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20082250237464905}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2020/44","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/44","pdf_url":"https://proceedings.kr.org/2020/44/kr2020-0044-gogacz-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/44","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/44","pdf_url":"https://proceedings.kr.org/2020/44/kr2020-0044-gogacz-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8188452139","display_name":null,"funder_award_id":"P30360","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8680849391","display_name":null,"funder_award_id":"W1255","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8768587252","display_name":null,"funder_award_id":"P30873","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320328208","display_name":"Wirtschaftsagentur Wien","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3081466422.pdf","grobid_xml":"https://content.openalex.org/works/W3081466422.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W80230695","https://openalex.org/W753170256","https://openalex.org/W1492384575","https://openalex.org/W1551807230","https://openalex.org/W1672891595","https://openalex.org/W1784178627","https://openalex.org/W1971428581","https://openalex.org/W1997817571","https://openalex.org/W2080057244","https://openalex.org/W2085489403","https://openalex.org/W2103658959","https://openalex.org/W2107910552","https://openalex.org/W2111353076","https://openalex.org/W2137862151","https://openalex.org/W2140587192","https://openalex.org/W2531470661","https://openalex.org/W2929273236","https://openalex.org/W2949102816","https://openalex.org/W2995760890","https://openalex.org/W3099593821","https://openalex.org/W3146347964","https://openalex.org/W3198052933","https://openalex.org/W4206031975","https://openalex.org/W4234406343","https://openalex.org/W4235703616","https://openalex.org/W4293765636","https://openalex.org/W6603271028","https://openalex.org/W6633513001","https://openalex.org/W6637298476","https://openalex.org/W6671807266","https://openalex.org/W6675682828","https://openalex.org/W6676668875","https://openalex.org/W6689383627","https://openalex.org/W6728136270"],"related_works":["https://openalex.org/W2109031030","https://openalex.org/W20972493","https://openalex.org/W2338525844","https://openalex.org/W2951257011","https://openalex.org/W4299540831","https://openalex.org/W2896766859","https://openalex.org/W4288363924","https://openalex.org/W2926816154","https://openalex.org/W2740681086","https://openalex.org/W2199172455"],"abstract_inverted_index":{"We":[0,72],"study":[1],"the":[2,11,34,38,52,104,140,150,160,172],"relative":[3],"expressiveness":[4],"of":[5,65,86,103,127,134,153,162],"ontology-mediated":[6],"queries":[7,76,88],"(OMQs)":[8],"formulated":[9],"in":[10,116,146,159,171],"expressive":[12],"Description":[13],"Logic":[14],"ALCHOIF":[15],"extended":[16],"with":[17,31,74,118],"closed":[18,94,163,180],"predicates.":[19,95],"In":[20],"particular,":[21],"we":[22,137],"present":[23],"a":[24,47,62,83,101,112],"polynomial-time":[25],"translation":[26,97],"from":[27],"OMQs":[28,54,158],"into":[29],"Datalog":[30,117],"negation":[32,119],"under":[33],"stable":[35],"model":[36],"semantics,":[37],"formalism":[39],"that":[40,120,139],"underlies":[41],"Answer":[42],"Set":[43],"Programming.":[44],"This":[45,175],"is":[46,91,98,144,165,176],"novel":[48],"and":[49,69,77,111],"non-trivial":[50],"result:":[51],"considered":[53,151],"are":[55,182],"not":[56,166,177],"only":[57],"non-monotonic":[58],"but":[59],"also":[60],"feature":[61],"tricky":[63],"combination":[64],"nominals,":[66],"inverse":[67],"roles,":[68],"role":[70],"functionality.":[71],"start":[73],"atomic":[75],"then":[78],"lift":[79],"our":[80,135],"approach":[81],"to":[82,123,184],"large":[84],"class":[85,152],"first-order":[87],"where":[89],"quantification":[90],"\u201cguarded\u201d":[92],"by":[93],"Our":[96],"based":[99],"on":[100],"characterization":[102],"query":[105,141],"answering":[106,142,156,169],"problem":[107,143],"via":[108],"integer":[109,128],"programming,":[110],"specially":[113],"crafted":[114],"program":[115],"finds":[121],"solutions":[122],"dynamically":[124],"generated":[125],"systems":[126],"inequalities.":[129],"As":[130],"an":[131],"important":[132],"by-product":[133],"translation,":[136],"get":[138],"co-NP-complete":[145],"data":[147,186],"complexity":[148,187],"for":[149,188],"OMQs.":[154],"Thus,":[155],"these":[157],"presence":[161],"predicates":[164,181],"harder":[167],"than":[168],"them":[170],"standard":[173],"setting.":[174],"obvious":[178],"as":[179],"known":[183],"increase":[185],"some":[189],"existing":[190],"ontology":[191],"languages.":[192]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}