{"id":"https://openalex.org/W2800401643","doi":"https://doi.org/10.24963/ijcai.2018/265","title":"Complexity of Approximate Query Answering under Inconsistency in Datalog+/-","display_name":"Complexity of Approximate Query Answering under Inconsistency in Datalog+/-","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2800401643","doi":"https://doi.org/10.24963/ijcai.2018/265","mag":"2800401643"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2018/265","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/265","pdf_url":"https://www.ijcai.org/proceedings/2018/0265.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2018/0265.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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/A5039727555","display_name":"Cristian Molinaro","orcid":"https://orcid.org/0000-0003-4103-1084"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cristian Molinaro","raw_affiliation_strings":["DIMES, University of Calabria, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMES, University of Calabria, Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1921","last_page":"1927"},"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/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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.9719510674476624},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.7464148998260498},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7443708181381226},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7237379550933838},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6646391153335571},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5223214030265808},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.475551575422287},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46209612488746643},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4605080485343933},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.4571440517902374},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.45418205857276917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45129650831222534},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.4400116801261902},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.42782482504844666},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3562377691268921},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23192176222801208},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17692631483078003},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.1283700168132782}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9719510674476624},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7464148998260498},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7443708181381226},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7237379550933838},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6646391153335571},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5223214030265808},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.475551575422287},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46209612488746643},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4605080485343933},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.4571440517902374},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.45418205857276917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45129650831222534},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.4400116801261902},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.42782482504844666},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3562377691268921},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23192176222801208},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17692631483078003},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.1283700168132782},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.24963/ijcai.2018/265","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/265","pdf_url":"https://www.ijcai.org/proceedings/2018/0265.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/4f1e18ab-777d-409b-a97c-8abf3731c1ce","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/4f1e18ab-777d-409b-a97c-8abf3731c1ce","pdf_url":"http://ceur-ws.org/Vol-2161/paper22.pdf","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lukasiewicz, T, Malizia, E & Molinaro, C 2018, Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. in S Bergamaschi, T Di Noia & A Maurino (eds), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. vol. 2018-July, 22, pp. 1921-1927, 27th International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, 13/07/2018. https://doi.org/10.24963/ijcai.2018/265","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cris.unibo.it:11585/787897","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/787897","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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2018/265","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/265","pdf_url":"https://www.ijcai.org/proceedings/2018/0265.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1633672591","display_name":null,"funder_award_id":"N510129","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3855435662","display_name":null,"funder_award_id":"N510129","funder_id":"https://openalex.org/F4320313467","funder_display_name":"Alan Turing Institute"},{"id":"https://openalex.org/G3958398022","display_name":"DBOnto: Bridging Databases and Ontologies","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/G4072067573","display_name":null,"funder_award_id":"EP/N510129/1","funder_id":"https://openalex.org/F4320313467","funder_display_name":"Alan Turing Institute"},{"id":"https://openalex.org/G444630160","display_name":null,"funder_award_id":"EP/N510129/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4500485203","display_name":"The Alan Turing Institute","funder_award_id":"EP/N510129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5267675942","display_name":"RealPDBs: Realistic Data Models and Query Compilation for Large-Scale Probabilistic Databases","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/G5458651130","display_name":null,"funder_award_id":"M025268","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"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/G777199097","display_name":null,"funder_award_id":"EPSRC grant EP/N510129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8298339663","display_name":"VADA: Value Added Data Systems -- Principles and Architecture","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/G8891597062","display_name":null,"funder_award_id":"EP/M025268/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320313467","display_name":"Alan Turing Institute","ror":"https://ror.org/035dkdb55"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2800401643.pdf","grobid_xml":"https://content.openalex.org/works/W2800401643.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W74942488","https://openalex.org/W120492913","https://openalex.org/W207289846","https://openalex.org/W1542243438","https://openalex.org/W1735526352","https://openalex.org/W1754725800","https://openalex.org/W1824207140","https://openalex.org/W1989783863","https://openalex.org/W2001399171","https://openalex.org/W2068157715","https://openalex.org/W2077518845","https://openalex.org/W2087243523","https://openalex.org/W2102729564","https://openalex.org/W2161354356","https://openalex.org/W2190171628","https://openalex.org/W2244227095","https://openalex.org/W2276398478","https://openalex.org/W2293581033","https://openalex.org/W2295144706","https://openalex.org/W2399922604","https://openalex.org/W2589172168","https://openalex.org/W2606293658","https://openalex.org/W3139340598","https://openalex.org/W3164005461","https://openalex.org/W4255674862","https://openalex.org/W4293765636","https://openalex.org/W6672281112","https://openalex.org/W6675529698","https://openalex.org/W7015712883"],"related_works":["https://openalex.org/W20972493","https://openalex.org/W2338525844","https://openalex.org/W2951257011","https://openalex.org/W4299540831","https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W2896766859","https://openalex.org/W79246384","https://openalex.org/W2110616577","https://openalex.org/W1976924726"],"abstract_inverted_index":{"Several":[0],"semantics":[1,41],"have":[2],"been":[3],"proposed":[4],"to":[5],"query":[6,36],"inconsistent":[7],"ontological":[8],"knowledge":[9,74],"bases,":[10],"including":[11],"the":[12,17,32,52,61,64,69],"intersection":[13,18],"of":[14,19,34,46,71],"repairs":[15,21],"and":[16,63],"closed":[20],"as":[22],"two":[23,40],"approximate":[24],"inconsistency-tolerant":[25],"semantics.":[26],"In":[27],"this":[28],"paper,":[29],"we":[30],"analyze":[31],"complexity":[33],"conjunctive":[35],"answering":[37],"under":[38],"these":[39],"for":[42],"a":[43,72],"wide":[44],"range":[45],"Datalog+/-":[47,73],"languages.":[48],"We":[49],"consider":[50],"both":[51],"standard":[53],"setting,":[54,66],"where":[55,67],"errors":[56],"may":[57,76],"only":[58],"be":[59,77],"in":[60],"database,":[62],"generalized":[65],"also":[68],"rules":[70],"base":[75],"erroneous.":[78]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}