|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag  | 17-Jul-2026 |
| 2 | | Oudshoorn, Anouk ; Ortiz, Magdalena ; Šimkus, Mantas | SHACL validation in the presence of ontologies: Semantics and rewriting techniques | Article Artikel | Mar-2026 |
| 3 | | Ahmetaj, Shqiponja ; Boneva, Iovka ; Hidders, Jan ; Jakubowski, Maxime ; Labra-Gayo, Jose-Emilio ; Martens, Wim ; Mogavero, Fabio ; Murlak, Filip ; Okulmus, Cem ; Savkovic, Ognjen ; Šimkus, Mantas ; Tomaszuk, Dominik | Common Foundations for Recursive Shape Languages | Inproceedings Konferenzbeitrag | 2026 |
| 4 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 5 | | Ahmetaj, Shqiponja ; Boneva, Iovka ; Hidders, Jan ; Hose, Katja ; Jakubowski, Maxime ; Labra Gayo, Jose Emilio ; Martens, Wim ; Mogavero, Fabio ; Murlak, Filip ; Okulmus, Cem ; Polleres, Axel ; Savković, Ognjen ; Simkus, Mantas ; Tomaszuk, Dominik | Common Foundations for SHACL, ShEx, and PG-Schema | Inproceedings Konferenzbeitrag   | 22-Apr-2025 |
| 6 | | Di Stefano, Federica ; Manière, Quentin ; Ortiz, Magdalena ; Simkus, Mantas | Minimal Model Reasoning in Description Logics: Don’t Try This at Home! | Inproceedings Konferenzbeitrag | 2025 |
| 7 | | Di Stefano, Federica ; Lukumbuzya, Sanja ; Ortiz, Magdalena ; Simkus, Mantas | Expressive Description Logics with Rich Yet Affordable Numeric Constraints | Inproceedings Konferenzbeitrag | 2025 |
| 8 | | Cem Okulmus ; Simkus, Mantas | SHACL Validation under the Well-founded Semantics | Inproceedings Konferenzbeitrag | Nov-2024 |
| 9 |  | Di Stefano, Federica ; Simkus, Mantas | Stable Model Semantics for Description Logic Terminologies (Extended Abstract) | Inproceedings Konferenzbeitrag | 5-Aug-2024 |
| 10 | | Lukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas | Datalog rewritability and data complexity of ALCHOIQ with closed predicates | Article Artikel | May-2024 |
| 11 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Simkus, Mantas | Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases | Inproceedings Konferenzbeitrag | 2024 |
| 12 |  | Di Stefano, Federica ; Simkus, Mantas | Equilibrium Description Logics: Results on Complexity and Relations to Circumscription | Inproceedings Konferenzbeitrag | 2024 |
| 13 |  | Di Stefano, Federica ; Simkus, Mantas | Translating Equilibrium Description Logics into Circumscription | Inproceedings Konferenzbeitrag | 2024 |
| 14 | | Di Stefano, Federica ; Simkus, Mantas | Stable Model Semantics for Description Logic Terminologies | Inproceedings Konferenzbeitrag | 2024 |
| 15 |  | Bonatti, Piero ; Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas | Circumscription in DL-Lite: Progress Report | Inproceedings Konferenzbeitrag | 23-Oct-2023 |
| 16 |  | Ahmetaj, 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 |
| 17 | | Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Oudshoorn, Anouk ; Šimkus, Mantas | Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting | Inproceedings Konferenzbeitrag | 28-Sep-2023 |
| 18 |  | Beerepoot, 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 ; Šimkus, Mantas ; Asadi Someh, Ida ; Weber, Barbara ; Weber, Ingo ; Weske, Mathias ; Zerbato, Francesca | The biggest business process management problems to solve before we die | Article Artikel | Apr-2023 |
| 19 |  | Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas | Description Logics with Pointwise Circumscription | Inproceedings Konferenzbeitrag | 2023 |
| 20 |  | Lukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas | On the Expressive Power of Ontology-Mediated Queries: Capturing coNP | Inproceedings Konferenzbeitrag | 2023 |
