KIT | KIT-Bibliothek | Impressum | Datenschutz

Efficient Validation of SHACL Shapes with Reasoning

Ke, Jin; Zacouris, Zenon; Acosta, Maribel


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 (DFG, DFG KOORD, SFB 1608)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page