{"id":"https://openalex.org/W4387172127","doi":"https://doi.org/10.3233/faia230250","title":"Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting","display_name":"Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting","publication_year":2023,"publication_date":"2023-09-28","ids":{"openalex":"https://openalex.org/W4387172127","doi":"https://doi.org/10.3233/faia230250"},"language":"en","primary_location":{"id":"doi:10.3233/faia230250","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3233/faia230250","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230250","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230250","any_repository_has_fulltext":true},"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":false,"raw_author_name":"Shqiponja Ahmetaj","raw_affiliation_strings":["TU Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0003-3165-3568","affiliations":[{"raw_affiliation_string":"TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"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/I90267481","display_name":"Ume\u00e5 University","ror":"https://ror.org/05kb8h459","country_code":"SE","type":"education","lineage":["https://openalex.org/I90267481"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Magdalena Ortiz","raw_affiliation_strings":["Ume\u00e5\u00a0University, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-2344-9658","affiliations":[{"raw_affiliation_string":"Ume\u00e5\u00a0University, Sweden","institution_ids":["https://openalex.org/I90267481"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092967460","display_name":"Anouk Oudshoorn","orcid":"https://orcid.org/0009-0006-4638-5948"},"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":"Anouk Oudshoorn","raw_affiliation_strings":["TU Wien, Austria"],"raw_orcid":"https://orcid.org/0009-0006-4638-5948","affiliations":[{"raw_affiliation_string":"TU 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/I90267481","display_name":"Ume\u00e5 University","ror":"https://ror.org/05kb8h459","country_code":"SE","type":"education","lineage":["https://openalex.org/I90267481"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mantas \u0160imkus","raw_affiliation_strings":["Ume\u00e5\u00a0University, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-0632-0294","affiliations":[{"raw_affiliation_string":"Ume\u00e5\u00a0University, Sweden","institution_ids":["https://openalex.org/I90267481"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5092967460"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":2.0695,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88782806,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T11719","display_name":"Data Quality and Management","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9940999746322632,"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.7704824805259705},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.6627384424209595},{"id":"https://openalex.org/keywords/validator","display_name":"Validator","score":0.654686689376831},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6236918568611145},{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.5785149335861206},{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.551215410232544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5497227907180786},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.5377213358879089},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.5165780782699585},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4952210485935211},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.4935551881790161},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48560112714767456},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.4234510362148285},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.25039422512054443},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2214258313179016},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.21891891956329346},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.1918431520462036}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7704824805259705},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.6627384424209595},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.654686689376831},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6236918568611145},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.5785149335861206},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.551215410232544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5497227907180786},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.5377213358879089},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.5165780782699585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4952210485935211},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.4935551881790161},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48560112714767456},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.4234510362148285},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.25039422512054443},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2214258313179016},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.21891891956329346},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.1918431520462036},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/faia230250","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3233/faia230250","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230250","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:DiVA.org:umu-216798","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-216798","pdf_url":"https://umu.diva-portal.org/smash/get/diva2:1814319/FULLTEXT01","source":{"id":"https://openalex.org/S4306400361","display_name":"DiVA at Ume\u00e5 University (Ume\u00e5 University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I90267481","host_organization_name":"Ume\u00e5 University","host_organization_lineage":["https://openalex.org/I90267481"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},{"id":"pmh:oai:DiVA.org:umu-217414","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-217414","pdf_url":null,"source":{"id":"https://openalex.org/S4306400361","display_name":"DiVA at Ume\u00e5 University (Ume\u00e5 University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I90267481","host_organization_name":"Ume\u00e5 University","host_organization_lineage":["https://openalex.org/I90267481"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"doi:10.3233/faia230250","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3233/faia230250","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230250","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G630843984","display_name":"Logics for Computer Science Program at TU Wien","funder_award_id":"101034440","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8768587252","display_name":"KtoAPP: Compiling Knowledge into Applications","funder_award_id":"P30873","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387172127.pdf","grobid_xml":"https://content.openalex.org/works/W4387172127.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W108693556","https://openalex.org/W190956113","https://openalex.org/W2009788656","https://openalex.org/W2025472709","https://openalex.org/W2111353076","https://openalex.org/W2116746190","https://openalex.org/W2140590662","https://openalex.org/W2172201672","https://openalex.org/W2891669388","https://openalex.org/W2945741530","https://openalex.org/W2966098510","https://openalex.org/W3012889025","https://openalex.org/W3196460004","https://openalex.org/W4206031975","https://openalex.org/W4244275182"],"related_works":["https://openalex.org/W2911529331","https://openalex.org/W2551830925","https://openalex.org/W2963364464","https://openalex.org/W2794125007","https://openalex.org/W201976190","https://openalex.org/W2018093460","https://openalex.org/W2996508208","https://openalex.org/W2003397043","https://openalex.org/W2214104119","https://openalex.org/W74596437"],"abstract_inverted_index":{"OWL":[0,44,57,85,114,143],"and":[1,24,141,194],"SHACL":[2,33,52,77,111,136,152,170],"are":[3,19,197],"two":[4,64],"prominent":[5],"W3C":[6],"standards":[7],"for":[8,21,36,109,157],"managing":[9],"RDF":[10],"graphs,":[11],"the":[12,16,29,124,192,195],"data":[13,188],"model":[14],"of":[15,31,123,134,151],"Web.":[17],"They":[18],"used":[20,35],"different":[22,26],"purposes":[23],"make":[25],"assumptions":[27],"about":[28],"completeness":[30],"data:":[32],"is":[34,70,179],"expressing":[37],"integrity":[38],"constraints":[39,112,137,153,193],"on":[40,94,119],"complete":[41],"data,":[42],"while":[43,56],"allows":[45],"inferring":[46],"implicit":[47],"facts":[48],"from":[49],"incomplete":[50],"data;":[51],"reasoners":[53,58],"perform":[54],"validation,":[55],"do":[59],"logical":[60],"inference.":[61],"Integrating":[62],"these":[63],"tasks":[65],"into":[66,147],"one":[67],"uniform":[68],"approach":[69],"a":[71,105,120,132,148],"relevant":[72],"but":[73,87,184],"challenging":[74],"problem.":[75],"The":[76],"standard":[78],"envisions":[79],"graph":[80],"validation":[81,156,175],"in":[82,163,176,181,187],"combination":[83],"with":[84,113],"entailment,":[86],"it":[88],"does":[89],"not":[90],"provide":[91],"technical":[92],"guidance":[93],"how":[95],"to":[96],"realize":[97],"this.":[98],"To":[99],"address":[100],"this":[101,177],"problem,":[102],"we":[103],"propose":[104,127],"new":[106],"intuitive":[107],"semantics":[108],"validating":[110],"2":[115,144],"QL":[116,145],"ontologies":[117],"based":[118],"suitable":[121],"notion":[122],"chase.":[125],"We":[126,172],"an":[128,142,168],"algorithm":[129],"that":[130,154,174],"rewrites":[131],"set":[133,150],"recursive":[135],"(with":[138],"stratified":[139],"negation)":[140],"ontology":[146,196],"stand-alone":[149],"preserves":[155],"every":[158],"input":[159],"graph,":[160],"which":[161],"can":[162],"turn":[164],"be":[165],"evaluated":[166],"using":[167],"off-the-shelf":[169],"validator.":[171],"show":[173],"setting":[178],"EXPTIME-complete":[180],"combined":[182],"complexity,":[183,189],"only":[185],"PTIME-complete":[186],"i.e.,":[190],"if":[191],"fixed.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}