Compiling Knowledge into Applications

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
KtoAPP
 
Project Title (de) Projekttitel (de)
Compiling Knowledge into Applications
 
Project Title (en) Projekttitel (en)
Compiling Knowledge into Applications
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P30873-N35
 

Publications

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas Repairing SHACL Constraint Violations Using Answer Set ProgrammingInproceedings Konferenzbeitrag 16-Oct-2022
2Ahmetaj, Shqiponja ; Löhnert, Bianca ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas Magic Shapes for SHACL ValidationArticle Artikel 26-Sep-2022
3Andresel, Medina ; Ortiz, Magdalena ; Simkus, Mantas ; Conitzer, Vincent ; Sha, Fei Query Rewriting for Ontology-Mediated Conditional AnswersKonferenzbeitrag Inproceedings 2020
4Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas Polynomial rewritings from expressive Description Logics with closed predicates to variants of DatalogArtikel Article 2020
5Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Xiao, Guohui Optimizing Horn-SHIQ Reasoning for OBDAKonferenzbeitrag Inproceedings 2019
6Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Relaxing and Restraining Queries for OBDAKonferenzbeitrag Inproceedings 2019
7Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Ontology Focusing: Knowledge-enriched Databases on DemandBericht Report2019
8Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019