{"id":"https://openalex.org/W4412119673","doi":"https://doi.org/10.1145/3719384.3719446","title":"Distributed Incremental Ontology Reasoning over Dynamic T-boxes","display_name":"Distributed Incremental Ontology Reasoning over Dynamic T-boxes","publication_year":2024,"publication_date":"2024-12-14","ids":{"openalex":"https://openalex.org/W4412119673","doi":"https://doi.org/10.1145/3719384.3719446"},"language":"en","primary_location":{"id":"doi:10.1145/3719384.3719446","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719384.3719446","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3719384.3719446","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 7th Artificial Intelligence and Cloud Computing Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3719384.3719446","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045116699","display_name":"Bruno Rucy Carneiro Alves de Lima","orcid":"https://orcid.org/0000-0002-2679-6639"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Bruno Rucy Lima Carneiro Alves De","raw_affiliation_strings":["Institute of Computer Science, University of Tartu, Estonia, Tartu, Estonia"],"raw_orcid":"https://orcid.org/0000-0002-2679-6639","affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Tartu, Estonia, Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101795514","display_name":"Merlin Kramer","orcid":"https://orcid.org/0009-0000-1413-0680"},"institutions":[{"id":"https://openalex.org/I167360494","display_name":"University of Wuppertal","ror":"https://ror.org/00613ak93","country_code":"DE","type":"education","lineage":["https://openalex.org/I167360494"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Merlin Kramer","raw_affiliation_strings":["Independent Researcher, Germany, Wuppertal, Germany"],"raw_orcid":"https://orcid.org/0009-0000-1413-0680","affiliations":[{"raw_affiliation_string":"Independent Researcher, Germany, Wuppertal, Germany","institution_ids":["https://openalex.org/I167360494"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025142509","display_name":"Victor Henrique Cabral Pinheiro","orcid":"https://orcid.org/0000-0003-1112-2620"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Victor Henrique Cabral Pinheiro","raw_affiliation_strings":["Institute of Computer Science, University of Tartu, Estonia, Tartu, Estonia"],"raw_orcid":"https://orcid.org/0000-0003-1112-2620","affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Tartu, Estonia, Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26409996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"423","last_page":"428"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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.9998999834060669,"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.996399998664856,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955999851226807,"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/computer-science","display_name":"Computer science","score":0.7418416738510132},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.7308323979377747},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.06151217222213745}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7418416738510132},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7308323979377747},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.06151217222213745},{"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/3719384.3719446","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719384.3719446","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3719384.3719446","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 7th Artificial Intelligence and Cloud Computing Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3719384.3719446","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719384.3719446","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3719384.3719446","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 7th Artificial Intelligence and Cloud Computing Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412119673.pdf","grobid_xml":"https://content.openalex.org/works/W4412119673.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W55962619","https://openalex.org/W1989009626","https://openalex.org/W2167685423","https://openalex.org/W2168120333","https://openalex.org/W2189248724","https://openalex.org/W2294131806","https://openalex.org/W2624907881","https://openalex.org/W2955876785","https://openalex.org/W2992252352","https://openalex.org/W3004035003","https://openalex.org/W4375928209"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"With":[0],"the":[1,30,58,95,150],"advent":[2],"of":[3,32,193,198],"Retrieval":[4],"Augmented":[5],"Generation":[6],"(RAG),":[7],"Knowledge":[8],"Graphs":[9,48],"(KGs)":[10],"have":[11],"yet":[12],"again":[13],"had":[14],"a":[15,53,67,81,90,107,163,181],"surge":[16],"in":[17,19],"interest":[18],"both":[20,129],"Academia":[21],"and":[22,118,125,135,160,178,180],"Industry,":[23],"as":[24,50,75,106,140],"their":[25],"use":[26],"allows":[27],"for":[28,84,94,184],"extending":[29],"context":[31],"Large":[33],"Language":[34],"Models":[35],"(LLMs)":[36],"by":[37,101],"combining":[38],"traditional":[39],"vector":[40,70],"search":[41],"with":[42,113,149,162,188],"reasoning":[43,87],"over":[44,110],"Ontologies":[45],"or":[46,69],"Property":[47],"encoded":[49],"KGs.RAG":[51],"is":[52,146],"highly":[54],"dynamic":[55,114],"scenario,":[56],"where":[57,123],"LLM":[59],"agent":[60],"might":[61],"not":[62],"only":[63],"retrieve":[64],"information":[65],"from":[66],"KG":[68,86],"store":[71],"but":[72],"mutate":[73],"it":[74],"well.This":[76],"implies":[77],"eventually":[78],"there":[79],"being":[80],"greater":[82],"demand":[83],"equally-dynamic":[85],"systems.We":[88],"provide":[89],"solution":[91],"to":[92,128,190],"this":[93],"popular":[96],"ontology":[97,166],"language":[98],"RDF-Schema":[99],"(RDFS)":[100],"showing":[102],"that":[103,157,169],"computing":[104],"entailment":[105],"bottom-up":[108],"query":[109],"RDFS":[111],"graphs":[112],"Terminological":[115],"Boxes":[116,120],"(TBox)":[117],"Assertional":[119],"(ABox),":[121],"those":[122],"edges":[124],"nodes":[126],"belonging":[127],"boxes":[130],"can":[131,137],"be":[132,138],"freely":[133],"added":[134],"removed,":[136],"expressed":[139],"an":[141],"incremental":[142],"DBSP":[143],"computation.This":[144],"computation":[145,152,199],"then":[147],"implemented":[148],"distributed":[151],"framework":[153],"Differential":[154],"Dataflow":[155],"(DD),":[156],"subsumes":[158],"DBSP,":[159],"compared":[161],"state-of-the-art":[164],"commercial":[165],"reasoner.We":[167],"find":[168],"our":[170],"approach":[171],"provides":[172],"more":[173],"even":[174],"performance":[175],"across":[176,186],"additions":[177],"deletions":[179],"higher":[182],"potential":[183],"scalability":[185],"benchmarks":[187],"up":[189],"250":[191],"GBs":[192],"data.":[194],"CCS":[195],"Concepts":[196],"Theory":[197],"Automated":[200],"reasoning.":[201]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}