{"id":"https://openalex.org/W4414360377","doi":"https://doi.org/10.24963/ijcai.2025/485","title":"A Datalog Rewriting Algorithm for Warded Ontologies","display_name":"A Datalog Rewriting Algorithm for Warded Ontologies","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360377","doi":"https://doi.org/10.24963/ijcai.2025/485"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/485","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","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/A5001272511","display_name":"Davide Benedetto","orcid":null},"institutions":[{"id":"https://openalex.org/I4210103269","display_name":"Prometheus Research (United States)","ror":"https://ror.org/014b6hs81","country_code":"US","type":"company","lineage":["https://openalex.org/I4210103269"]},{"id":"https://openalex.org/I4210134264","display_name":"Prometheus (United States)","ror":"https://ror.org/03r95z943","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134264"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Davide Benedetto","raw_affiliation_strings":["Prometheux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prometheux","institution_ids":["https://openalex.org/I4210134264","https://openalex.org/I4210103269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066005299","display_name":"Marco Calautti","orcid":"https://orcid.org/0000-0003-0921-4040"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Calautti","raw_affiliation_strings":["University of Milan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Milan","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hebatalla Hammad","orcid":null},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Hebatalla Hammad","raw_affiliation_strings":["University of Trento"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Trento","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012243761","display_name":"Emanuel Sallinger","orcid":"https://orcid.org/0000-0001-7441-129X"},"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":"Emanuel Sallinger","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119679436","display_name":"Adriano Vlad-Starrabba","orcid":null},"institutions":[{"id":"https://openalex.org/I4210103269","display_name":"Prometheus Research (United States)","ror":"https://ror.org/014b6hs81","country_code":"US","type":"company","lineage":["https://openalex.org/I4210103269"]},{"id":"https://openalex.org/I4210134264","display_name":"Prometheus (United States)","ror":"https://ror.org/03r95z943","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134264"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adriano Vlad-Starrabba","raw_affiliation_strings":["Prometheux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prometheux","institution_ids":["https://openalex.org/I4210134264","https://openalex.org/I4210103269"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5001272511"],"corresponding_institution_ids":["https://openalex.org/I4210103269","https://openalex.org/I4210134264"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12229841,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4356","last_page":"4364"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9555000066757202,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9025999903678894,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.942799985408783},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.8540999889373779},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6965000033378601},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6704000234603882},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5806999802589417},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4830999970436096},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4674000144004822},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.4480000138282776},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.4291999936103821}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.942799985408783},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8540999889373779},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8079000115394592},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6965000033378601},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6704000234603882},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5842999815940857},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5806999802589417},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4932999908924103},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4830999970436096},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4674000144004822},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.4480000138282776},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4291999936103821},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.42910000681877136},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.39259999990463257},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3772999942302704},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.33149999380111694},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.3296000063419342},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.29440000653266907},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.2851000130176544},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.25110000371932983}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/485","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Existential":[0],"rules,":[1],"a.k.a.":[2],"tuple-generating":[3],"dependencies":[4],"(TGDs),":[5],"form":[6],"a":[7,19,26,67,86],"well-established":[8],"formalism":[9],"for":[10,70,91],"specifying":[11],"ontologies.":[12],"In":[13],"particular,":[14],"the":[15,55,81,113,122],"warded":[16,47,94],"language":[17],"is":[18,78,97],"well-behaved":[20],"fragment":[21],"of":[22,35,43,57,115,124],"TGD-based":[23],"ontologies,":[24],"striking":[25],"good":[27],"balance":[28],"between":[29],"expressive":[30],"power":[31],"and":[32,108,127],"computational":[33],"complexity":[34],"answering":[36,44,74],"Ontology-Mediated":[37],"Queries":[38],"(OMQs).":[39],"The":[40],"theoretical":[41],"foundations":[42],"OMQs":[45,92],"over":[46,93],"ontologies":[48,95],"are":[49,129],"by":[50,84],"now":[51],"well-understood,":[52],"but":[53],"to":[54,79,99],"best":[56],"our":[58],"knowledge,":[59],"very":[60],"few":[61],"efforts":[62],"exist":[63],"that":[64],"exploit":[65],"such":[66],"rich":[68],"theory":[69],"building":[71],"practical":[72,100],"query":[73],"algorithms.":[75],"Our":[76],"goal":[77],"fill":[80],"above":[82],"gap":[83],"designing":[85],"novel":[87],"Datalog":[88],"rewriting":[89],"algorithm":[90],"which":[96],"amenable":[98],"implementations,":[101],"as":[102,104],"well":[103],"providing":[105],"an":[106,109],"implementation":[107],"experimental":[110],"evaluation,":[111],"with":[112,134],"aim":[114],"understanding":[116],"how":[117],"key":[118],"input":[119],"parameters":[120],"affect":[121],"performance":[123],"this":[125],"approach,":[126],"what":[128],"its":[130],"limits":[131],"when":[132],"combined":[133],"off-the-shelf":[135],"Datalog-based":[136],"engines.":[137]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}