Grundlagen der Schlussfolgerungen in der Shape Constraint Language

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
FRESH
 
Project Title (de) Projekttitel (de)
Grundlagen der Schlussfolgerungen in der Shape Constraint Language
 
Project Title (en) Projekttitel (en)
Foundations of Reasoning in the Shape Constraint Language
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
T 1349-N
 

Publications

Filter:
Author:  Šimkus, Mantas

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz de la Fuente, Maria Magdalena ; Oudshoorn, Anouk Michelle ; Simkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)Inproceedings Konferenzbeitrag 23-Oct-2023
2Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz, Magdalena ; Oudshoorn, Anouk ; Šimkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via RewritingInproceedings Konferenzbeitrag 28-Sep-2023
3Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas Repairing SHACL Constraint Violations Using Answer Set ProgrammingInproceedings Konferenzbeitrag 16-Oct-2022
4Ahmetaj, Shqiponja ; Löhnert, Bianca ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas Magic Shapes for SHACL ValidationArticle Artikel 26-Sep-2022