Compiling Knowledge into Applications


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
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P30873-N35
 

Results 1-14 of 14 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bonatti-2023-Circumscription in DL-Lite Progress Report-vor.pdf.jpgBonatti, Piero ; Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Circumscription in DL-Lite: Progress ReportInproceedings Konferenzbeitrag 23-Oct-2023
2Ahmetaj-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
3Ahmetaj-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
4Beerepoot-2023-Computers in Industry-vor.pdf.jpgBeerepoot, Iris ; Di Ciccio, Claudio ; Reijers, Hajo A. ; Rinderle-Ma, Stefanie ; Bandara, Wasana ; Burattin, Andrea ; Calvanese, Diego ; Chen, Tianwa ; Cohen, Izack ; Depaire, Benoît ; Di Federico, Gemma ; Dumas, Marlon ; van Dun, Christopher ; Fehrer, Tobias ; Fischer, Dominik A. ; Gal, Avigdor ; Indulska, Marta ; Isahagian, Vatche ; Klinkmüller, Christopher ; Kratsch, Wolfgang ; Leopold, Henrik ; Van Looy, Amy ; Lopez, Hugo ; Lukumbuzya, Sanja ; Mendling, Jan ; Meyers, Lara ; Moder, Linda ; Montali, Marco ; Muthusamy, Vinod ; Reichert, Manfred ; Rizk, Yara ; Rosemann, Michael ; Röglinger, Maximilian ; Sadiq, Shazia ; Seiger, Ronny ; Slaats, Tijs ; Simkus, Mantas ; Asadi Someh, Ida ; Weber, Barbara ; Weber, Ingo ; Weske, Mathias ; Zerbato, Francesca The biggest business process management problems to solve before we dieArticle Artikel Apr-2023
5Lukumbuzya-2023-On the Expressive Power of Ontology-Mediated Queries Capt...-vor.pdf.jpgLukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas On the Expressive Power of Ontology-Mediated Queries: Capturing coNPInproceedings Konferenzbeitrag 2023
6Di Stefano-2023-Description Logics with Pointwise Circumscription-vor.pdf.jpgDi Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Description Logics with Pointwise CircumscriptionInproceedings Konferenzbeitrag 2023
7Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas Repairing SHACL Constraint Violations Using Answer Set ProgrammingInproceedings Konferenzbeitrag 16-Oct-2022
8Ahmetaj, Shqiponja ; Löhnert, Bianca ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas Magic Shapes for SHACL ValidationArticle Artikel 26-Sep-2022
9Andresel, Medina ; Ortiz, Magdalena ; Simkus, Mantas Query Rewriting for Ontology-Mediated Conditional AnswersKonferenzbeitrag Inproceedings 2020
10Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas Polynomial rewritings from expressive Description Logics with closed predicates to variants of DatalogArtikel Article 2020
11Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Relaxing and Restraining Queries for OBDAKonferenzbeitrag Inproceedings 2019
12Gogacz, 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
13Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019
14Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Xiao, Guohui Optimizing Horn-SHIQ Reasoning for OBDAKonferenzbeitrag Inproceedings 2019