KIT | KIT-Bibliothek | Impressum | Datenschutz

Efficient Validation of SHACL Shapes with Reasoning

Ke, Jin; Zacouris, Zenon; Acosta, Maribel


Originalveröffentlichung
DOI: 10.14778/3681954.3682023
Scopus
Zitationen: 5
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Sonderforschungsbereich 1608 – Convide (SFB 1608)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 07.2024
Sprache Englisch
Identifikator ISSN: 2150-8097
KITopen-ID: 1000174230
Erschienen in Proceedings of the VLDB Endowment
Verlag VLDB Endowment
Band 17
Heft 11
Seiten 3589–3601
Projektinformation SFB 1608/1, 501798263 (DFG, DFG KOORD, SFB 1608)
Nachgewiesen in Scopus
OpenAlex
Dimensions
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page