{"id":"https://openalex.org/W2767711329","doi":"https://doi.org/10.1145/3143803","title":"Managing Change in Graph-Structured Data Using Description Logics","display_name":"Managing Change in Graph-Structured Data Using Description Logics","publication_year":2017,"publication_date":"2017-10-31","ids":{"openalex":"https://openalex.org/W2767711329","doi":"https://doi.org/10.1145/3143803","mag":"2767711329"},"language":"en","primary_location":{"id":"doi:10.1145/3143803","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3143803","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-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/A5012171077","display_name":"Shqiponja Ahmetaj","orcid":"https://orcid.org/0000-0003-3165-3568"},"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":true,"raw_author_name":"Shqiponja Ahmetaj","raw_affiliation_strings":["TU Wien, Wien, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077723508","display_name":"Diego Calvanese","orcid":"https://orcid.org/0000-0001-5174-9693"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Diego Calvanese","raw_affiliation_strings":["Free University of Bozen-Bolzano, Bolzano, Italy"],"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano, Bolzano, Italy","institution_ids":["https://openalex.org/I171543936"]}]},{"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, Wien, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Wien, Austria","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, Wien, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5012171077"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":1.6629,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.88435393,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"18","issue":"4","first_page":"1","last_page":"35"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9987000226974487,"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/decidability","display_name":"Decidability","score":0.759946882724762},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.726861298084259},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6633192896842957},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6393510699272156},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6142125129699707},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.5290830731391907},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.48872852325439453},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.47249260544776917},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33254384994506836},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.289614737033844}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.759946882724762},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.726861298084259},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6633192896842957},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6393510699272156},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6142125129699707},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.5290830731391907},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.48872852325439453},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.47249260544776917},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33254384994506836},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.289614737033844},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3143803","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3143803","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:alma.39UBZ_INST:11235266630001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/journalArticle/Managing-Change-in-Graph-structured-Data-Using/991005773534501241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:unibz.it:11235266630001241","is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?doid=3143777.3143803","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2447788411","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8184292771","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"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/G8515446080","display_name":null,"funder_award_id":"P25518","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/G8802583141","display_name":null,"funder_award_id":"ICT12-015","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W21010746","https://openalex.org/W30578984","https://openalex.org/W49077064","https://openalex.org/W63759278","https://openalex.org/W80737574","https://openalex.org/W89083043","https://openalex.org/W121439493","https://openalex.org/W185400028","https://openalex.org/W1483885793","https://openalex.org/W1500243260","https://openalex.org/W1506952729","https://openalex.org/W1555563750","https://openalex.org/W1574425786","https://openalex.org/W1575269586","https://openalex.org/W1576582577","https://openalex.org/W1579501393","https://openalex.org/W1594099509","https://openalex.org/W1608479762","https://openalex.org/W1691564963","https://openalex.org/W1823946862","https://openalex.org/W1984958950","https://openalex.org/W1988615847","https://openalex.org/W1989910224","https://openalex.org/W1995080554","https://openalex.org/W1997520998","https://openalex.org/W1997817571","https://openalex.org/W1998044200","https://openalex.org/W2014177337","https://openalex.org/W2021693981","https://openalex.org/W2026807253","https://openalex.org/W2029133737","https://openalex.org/W2031641275","https://openalex.org/W2042470127","https://openalex.org/W2042853248","https://openalex.org/W2045430061","https://openalex.org/W2045474169","https://openalex.org/W2060849841","https://openalex.org/W2061146398","https://openalex.org/W2062569786","https://openalex.org/W2080057244","https://openalex.org/W2083310603","https://openalex.org/W2086015611","https://openalex.org/W2086470346","https://openalex.org/W2099613024","https://openalex.org/W2127347809","https://openalex.org/W2131566236","https://openalex.org/W2136844873","https://openalex.org/W2137862151","https://openalex.org/W2141529801","https://openalex.org/W2151813316","https://openalex.org/W2154687603","https://openalex.org/W2164513665","https://openalex.org/W2167840796","https://openalex.org/W2241862190","https://openalex.org/W2258480398","https://openalex.org/W2397664909","https://openalex.org/W2404340395","https://openalex.org/W2413076592","https://openalex.org/W2530836305","https://openalex.org/W2553330596","https://openalex.org/W2561675875","https://openalex.org/W2608239929","https://openalex.org/W2778653392","https://openalex.org/W2963669687","https://openalex.org/W3099593821","https://openalex.org/W3105588714","https://openalex.org/W3122242939","https://openalex.org/W3138419224","https://openalex.org/W3156371489","https://openalex.org/W3157611433","https://openalex.org/W3216931281","https://openalex.org/W4285719527","https://openalex.org/W6684621348"],"related_works":["https://openalex.org/W3042708252","https://openalex.org/W2108990592","https://openalex.org/W2120921192","https://openalex.org/W3176904788","https://openalex.org/W1501276147","https://openalex.org/W2611046554","https://openalex.org/W21597398","https://openalex.org/W1579501393","https://openalex.org/W1503508673","https://openalex.org/W2091617677"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3,99,216],"consider":[4],"the":[5,39,56,66,90,107,146,162,181,192,205,224,236],"setting":[6],"of":[7,15,36,41,45,58,61,84,89,110,131,184,191,195,207,235],"graph-structured":[8],"data":[9,52,67,77,91,164,197,241],"that":[10,63],"evolves":[11],"as":[12,120,128,167],"a":[13,33,42,59,75,123,168,233],"result":[14],"operations":[16],"carried":[17],"out":[18],"by":[19],"users":[20],"or":[21,79,153,158],"applications.":[22],"We":[23,160],"study":[24],"different":[25],"reasoning":[26],"problems,":[27,226],"which":[28,136,151],"range":[29],"from":[30,74,80],"deciding":[31,55],"whether":[32],"given":[34,43],"sequence":[35,60],"actions":[37,62,121,188],"preserves":[38],"satisfaction":[40],"set":[44],"integrity":[46,95],"constraints,":[47],"for":[48,150,186,223,228,232,240],"every":[49],"possible":[50],"initial":[51],"instance,":[53],"to":[54,68,106,139,144,180,204],"(non)existence":[57],"would":[64],"take":[65],"an":[69,81],"(un)desirable":[70],"state,":[71],"starting":[72],"either":[73],"specific":[76],"instance":[78],"incomplete":[82],"description":[83,101],"it.":[85],"For":[86],"describing":[87,187],"states":[88,190],"instances":[92],"and":[93,134,172,176,189,219,231],"expressing":[94],"constraints":[96],"on":[97],"them,":[98],"use":[100,140],"logics":[102],"(DLs)":[103],"closely":[104],"related":[105],"two-variable":[108],"fragment":[109],"first-order":[111],"logic":[112],"with":[113],"counting":[114],"quantifiers.":[115],"The":[116],"updates":[117],"are":[118,156],"defined":[119],"in":[122,210,243],"simple":[124],"yet":[125],"flexible":[126],"language,":[127],"finite":[129],"sequences":[130],"conditional":[132],"insertions":[133],"deletions,":[135],"allow":[137],"one":[138],"complex":[141],"DL":[142],"formulas":[143,209],"select":[145],"(pairs":[147],"of)":[148],"nodes":[149],"(node":[152],"arc)":[154],"labels":[155],"added":[157],"deleted.":[159],"formalize":[161],"preceding":[163],"management":[165,198,242],"problems":[166,175,199],"static":[169],"verification":[170],"problem":[171],"several":[173],"planning":[174],"show":[177],"that,":[178],"due":[179],"adequate":[182],"choice":[183],"formalisms":[185],"data,":[193],"most":[194],"these":[196],"can":[200],"be":[201],"effectively":[202],"reduced":[203],"(un)satisfiability":[206],"suitable":[208],"decidable":[211],"logical":[212],"formalisms.":[213],"Leveraging":[214],"this,":[215],"provide":[217],"algorithms":[218],"tight":[220],"complexity":[221],"bounds":[222],"formalized":[225],"both":[227],"expressive":[229],"DLs":[230],"variant":[234],"popular":[237],"DL-Lite,":[238],"advocated":[239],"recent":[244],"years.":[245]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}