Name Card

Full name Familienname, Vorname
SIMKUS, Mantas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 112 (Search time: 0.002 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
9Calvanese, Diego ; Lukumbuzya, Sanja ; Montali, Marco ; Simkus, Mantas Process Mining with Common SenseKonferenzbeitrag Inproceedings 2021
10Ahmetaj, Shqiponja ; Loehnert, Bianca ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Magic Shapes for Validation in SHACLKonferenzbeitrag Inproceedings2021
11Lukumbuzya, Sanja ; Simkus, Mantas Bounded Predicates in Description Logics with CountingKonferenzbeitrag Inproceedings 2021
12Ahmetaj, Shqiponja ; David, Robert ; Ortiz de la Fuente, M.Magdalena ; Polleres, Axel ; Shehu, Bojken ; Simkus, Mantas Reasoning about Explanations for Non-validation in SHACL (Extended abstract)Konferenzbeitrag Inproceedings 2021
13Ahmetaj, Shqiponja ; David, Robert ; Ortiz, Magdalena ; Polleres, Axel ; Shehu, Bojken ; Šimkus, Mantas Reasoning about Explanations for Non-validation in SHACLKonferenzbeitrag Inproceedings 2021
14Andresel, Medina ; Corman, Julien ; Ortiz, Magdalena ; Reutter, Juan L. ; Savkovic, Ognjen ; Simkus, Mantas Stable Model Semantics for Recursive SHACLKonferenzbeitrag Inproceedings 2020
15Schneider, Thomas ; Šimkus, Mantas Special Issue on Ontologies and Data Management: Part IArtikel Article2020
16Andresel, Medina ; Ortiz, Magdalena ; Simkus, Mantas Query Rewriting for Ontology-Mediated Conditional AnswersKonferenzbeitrag Inproceedings 2020
17Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesKonferenzbeitrag Inproceedings 2020
18Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Ontology Focusing: Knowledge-Enriched Databases on DemandKonferenzbeitrag Inproceedings 2020
19Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
20Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas Polynomial rewritings from expressive Description Logics with closed predicates to variants of DatalogArtikel Article 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-13 of 13 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Foidl Raffael - 2022 - Flexible and efficient querying of time series data.pdf.jpgFoidl, Raffael Flexible and efficient querying of time series dataThesis Hochschulschrift 2022
2Loehnert Bianca - 2022 - Magic Shapes Algorithm for SHACL Validation.pdf.jpgLöhnert, Bianca Magic Shapes Algorithm for SHACL ValidationThesis Hochschulschrift 2022
3Zupa Alem - 2022 - Highly customizable assemblies using object-based automated...pdf.jpgŽupa, Alem Highly customizable assemblies using object-based automated planningThesis Hochschulschrift 2022
4Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja Answer Set Programs Challenged by OntologiesKonferenzbeitrag Inproceedings 2019
5Lukumbuzya, Sanja Ontology-Enriched Data Management with Partially Complete DataKonferenzbeitrag Inproceedings 2019
6Soylu, Ahmet ; Moschoyiannis, Sotiris ; Governatori, Guido ; Simkus, Mantas ; Stefaneas, Petros ; Steen, Alexander ; Giurca, Adrian Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, ItalyKonferenzband Proceedings 2019
7Simkus, Mantas ; Weddell, Grant Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019Konferenzband Proceedings 2019
8Andresel Medina - 2016 - A compilation technique for interactive...pdf.jpgAndreşel, Medina A compilation technique for interactive ontology-mediated data explorationThesis Hochschulschrift 2016
9Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
10Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Contextualized Knowledge Repositories with Justifiable ExceptionsKonferenzbeitrag Inproceedings 2014
11Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Planning Problems for Graph Structured Data in Description LogicsKonferenzbeitrag Inproceedings 2014
12Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Informal Proceedings of the 27th International Workshop on Description LogicsKonferenzband Proceedings 2014
13Ahmeti, Albin ; Calvanese, Diego ; Polleres, Axel SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS EntailmentKonferenzbeitrag Inproceedings 2014