{"id":"https://openalex.org/W2965406679","doi":"https://doi.org/10.24963/ijcai.2019/227","title":"Explanations for Query Answers under Existential Rules","display_name":"Explanations for Query Answers under Existential Rules","publication_year":2019,"publication_date":"2019-07-28","ids":{"openalex":"https://openalex.org/W2965406679","doi":"https://doi.org/10.24963/ijcai.2019/227","mag":"2965406679"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2019/227","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/227","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kclpure.kcl.ac.uk/portal/en/publications/3afad73f-335b-41ea-b83e-ec90f988302a","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006230226","display_name":"\u0130smail \u0130lkan Ceylan","orcid":"https://orcid.org/0000-0003-4118-4689"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"\u0130smail \u0130lkan Ceylan","raw_affiliation_strings":["Department of Computer Science, University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091549352","display_name":"Thomas Lukasiewicz","orcid":"https://orcid.org/0000-0002-7644-1668"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thomas Lukasiewicz","raw_affiliation_strings":["Department of Computer Science, University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066443441","display_name":"Enrico Malizia","orcid":"https://orcid.org/0000-0002-6780-4711"},"institutions":[{"id":"https://openalex.org/I23923803","display_name":"University of Exeter","ror":"https://ror.org/03yghzc09","country_code":"GB","type":"education","lineage":["https://openalex.org/I23923803"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Enrico Malizia","raw_affiliation_strings":["Department of Computer Science, University of Exeter, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Exeter, UK","institution_ids":["https://openalex.org/I23923803"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041089821","display_name":"Andrius Vaicenavi\u010dius","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrius Vaicenavi\u010dius","raw_affiliation_strings":["Department of Computer Science, University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5365,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.87867557,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1639","last_page":"1646"},"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.9986000061035156,"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.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7309801578521729},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6976738572120667},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.6778849959373474},{"id":"https://openalex.org/keywords/existentialism","display_name":"Existentialism","score":0.6466277837753296},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5333210229873657},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.5028240084648132},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.4970887005329132},{"id":"https://openalex.org/keywords/query-expansion","display_name":"Query expansion","score":0.4250483512878418},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23969313502311707},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.09505611658096313},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.08145049214363098}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7309801578521729},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6976738572120667},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.6778849959373474},{"id":"https://openalex.org/C127882523","wikidata":"https://www.wikidata.org/wiki/Q38066","display_name":"Existentialism","level":2,"score":0.6466277837753296},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5333210229873657},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.5028240084648132},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.4970887005329132},{"id":"https://openalex.org/C99016210","wikidata":"https://www.wikidata.org/wiki/Q5488129","display_name":"Query expansion","level":2,"score":0.4250483512878418},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23969313502311707},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09505611658096313},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.08145049214363098},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.24963/ijcai.2019/227","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/227","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/3afad73f-335b-41ea-b83e-ec90f988302a","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/3afad73f-335b-41ea-b83e-ec90f988302a","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ceylan, \u0130 \u0130, Lukasiewicz, T, Malizia, E & Vaicenavi\u010dius, A 2019, Explanations for Query Answers under Existential Rules. in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19). vol. 2019-August, pp. 1639-1646, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, 10/08/2019. https://doi.org/10.24963/ijcai.2019/227","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cris.unibo.it:11585/787965","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/787965","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:figshare.com:article/29754875","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/Explanations_for_Query_Answers_under_Existential_Rules/29754875","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference contribution"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:35ea53de-3eb6-49ee-ab91-30a047b74eae","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:35ea53de-3eb6-49ee-ab91-30a047b74eae","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"},{"id":"pmh:oai:ore.exeter.ac.uk:10871/38320","is_oa":false,"landing_page_url":"http://hdl.handle.net/10871/38320","pdf_url":null,"source":{"id":"https://openalex.org/S4306401998","display_name":"Open Research Exeter (University of Exeter)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I23923803","host_organization_name":"University of Exeter","host_organization_lineage":["https://openalex.org/I23923803"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/3afad73f-335b-41ea-b83e-ec90f988302a","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/3afad73f-335b-41ea-b83e-ec90f988302a","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ceylan, \u0130 \u0130, Lukasiewicz, T, Malizia, E & Vaicenavi\u010dius, A 2019, Explanations for Query Answers under Existential Rules. in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19). vol. 2019-August, pp. 1639-1646, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, 10/08/2019. https://doi.org/10.24963/ijcai.2019/227","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7599999904632568}],"awards":[{"id":"https://openalex.org/G6120213013","display_name":null,"funder_award_id":"EP/R013667/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8400180575","display_name":null,"funder_award_id":"EP/M025268/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8521439554","display_name":null,"funder_award_id":"EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8597009950","display_name":null,"funder_award_id":"EP/N510129/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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W105978187","https://openalex.org/W181545316","https://openalex.org/W1482134990","https://openalex.org/W1489624549","https://openalex.org/W1523017397","https://openalex.org/W1540668801","https://openalex.org/W1544139521","https://openalex.org/W1555563750","https://openalex.org/W1569370144","https://openalex.org/W1824207140","https://openalex.org/W1972004026","https://openalex.org/W1988045490","https://openalex.org/W1996599952","https://openalex.org/W2001399171","https://openalex.org/W2007804392","https://openalex.org/W2011039300","https://openalex.org/W2017996596","https://openalex.org/W2019476800","https://openalex.org/W2074985219","https://openalex.org/W2083786039","https://openalex.org/W2088113003","https://openalex.org/W2102729564","https://openalex.org/W2143693270","https://openalex.org/W2293581033","https://openalex.org/W2295882966","https://openalex.org/W2401610261","https://openalex.org/W2639976559","https://openalex.org/W2727760390","https://openalex.org/W2752197104","https://openalex.org/W2763521382","https://openalex.org/W2800401643","https://openalex.org/W2809925683","https://openalex.org/W2922066636","https://openalex.org/W2964055388","https://openalex.org/W2973270463","https://openalex.org/W3139340598","https://openalex.org/W3146347964","https://openalex.org/W3152126650","https://openalex.org/W4293765636"],"related_works":["https://openalex.org/W1558141798","https://openalex.org/W2139894293","https://openalex.org/W4385764417","https://openalex.org/W2572349046","https://openalex.org/W1981131819","https://openalex.org/W4225313306","https://openalex.org/W4288046530","https://openalex.org/W5304494","https://openalex.org/W2017989738","https://openalex.org/W3197639690"],"abstract_inverted_index":{"Ontology-mediated":[0],"query":[1,12,28,41,74],"answering":[2,29],"is":[3,30],"an":[4],"extensively":[5],"studied":[6],"paradigm,":[7],"which":[8,33],"aims":[9],"at":[10],"improving":[11],"answers":[13,46,75],"with":[14,95],"the":[15,70],"use":[16],"of":[17,24,72,78,81],"a":[18,22,86],"logical":[19,25],"theory.":[20],"As":[21],"form":[23],"entailment,":[26],"ontology-mediated":[27,48],"fully":[31],"interpretable,":[32],"makes":[34],"it":[35],"possible":[36],"to":[37],"derive":[38],"explanations":[39,97],"for":[40,47,54,90],"answers.":[42],"Surprisingly,":[43],"however,":[44],"explaining":[45,73],"queries":[49],"has":[50],"received":[51],"little":[52],"attention":[53],"ontology":[55],"languages":[56],"based":[57],"on":[58],"existential":[59,99],"rules.":[60,100],"In":[61],"this":[62,66],"paper,":[63],"we":[64],"close":[65],"gap,":[67],"and":[68],"study":[69],"problem":[71],"in":[76],"terms":[77],"minimal":[79,96],"subsets":[80],"database":[82],"facts.":[83],"We":[84],"provide":[85],"thorough":[87],"complexity":[88],"analysis":[89],"several":[91],"decision":[92],"problems":[93],"associated":[94],"under":[98]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":8}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}