Lukumbuzya, S., Ortiz de la Fuente, M. M., & Simkus, M. (2024). Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artificial Intelligence, 330, Article 104099. https://doi.org/10.1016/j.artint.2024.104099 ( reposiTUm)

Beerepoot, I., Di Ciccio, C., Reijers, H. A., Rinderle-Ma, S., Bandara, W., Burattin, A., Calvanese, D., Chen, T., Cohen, I., Depaire, B., Di Federico, G., Dumas, M., van Dun, C., Fehrer, T., Fischer, D. A., Gal, A., Indulska, M., Isahagian, V., Klinkmüller, C., … Zerbato, F. (2023). The biggest business process management problems to solve before we die. Computers in Industry, 146, Article 103837. https://doi.org/10.1016/j.compind.2022.103837 ( reposiTUm)

Ahmetaj, S., Löhnert, B., Ortiz de la Fuente, M. M., & Simkus, M. (2022). Magic Shapes for SHACL Validation. Proceedings of the VLDB Endowment, 15(10), 2284--2296. https://doi.org/10.14778/3547305.3547329 ( reposiTUm)

Ahmetaj, S., Ortiz, M., & Šimkus, M. (2020). Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artificial Intelligence, 280(103220), 103220. https://doi.org/10.1016/j.artint.2019.103220 ( reposiTUm)

Ahmetaj, S., Boneva, I., Hidders, J., Hose, K., Jakubowski, M., Labra Gayo, J. E., Martens, W., Mogavero, F., Murlak, F., Okulmus, C., Polleres, A., Savković, O., Simkus, M., & Tomaszuk, D. (2025). Common Foundations for SHACL, ShEx, and PG-Schema. In WWW ’25 : Proceedings of the ACM on Web Conference 2025 (pp. 8–21). ACM. https://doi.org/10.1145/3696410.3714694 ( reposiTUm)

Oudshoorn, A. M., Ortiz, M., & Simkus, M. (2024). Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. In Proceedings of the 37th International Workshop on Description Logics (DL 2024). 37th International Workshop on Description Logics (DL 2024), Bergen, Norway. ( reposiTUm)

Di Stefano, F., & Simkus, M. (2024). Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) (pp. 306–316). https://doi.org/10.24963/kr.2024/29 ( reposiTUm)

Di Stefano, F., & Simkus, M. (2024). Translating Equilibrium Description Logics into Circumscription. In Proceedings of the 37th International Workshop on Description Logics (DL 2024). Description Logics (DL 2024), Bergen, Norway. https://doi.org/10.34726/8505 ( reposiTUm)

Di Stefano, F., & Simkus, M. (2024). Stable Model Semantics for Description Logic Terminologies (Extended Abstract). In Proceedings of the 37th International Workshop on Description Logics (DL 2024). Description Logics (DL 2024), Bergen, Norway. https://doi.org/10.34726/8504 ( reposiTUm)

Di Stefano, F., & Simkus, M. (2024). Stable Model Semantics for Description Logic Terminologies. In Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24) (pp. 10484–10492). https://doi.org/10.1609/aaai.v38i9.28917 ( reposiTUm)

Cem Okulmus, & Simkus, M. (2024). SHACL Validation under the Well-founded Semantics. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 553–562). https://doi.org/10.24963/kr.2024/52 ( reposiTUm)

Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Description Logics with Pointwise Circumscription. In E. Elking (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3167–3175). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/353 ( reposiTUm)

Ahmetaj, S., Ortiz de la Fuente, M. M., Oudshoorn, A. M., & Simkus, M. (2023). Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). In Proceedings of the 36th International Workshop on Description Logics (DL 2023), co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). 36th International Workshop on Description Logics (DL 2023), Rhodos, Greece. CEUR-WS.org. https://doi.org/10.34726/5397 ( reposiTUm)

Bonatti, P., Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Circumscription in DL-Lite: Progress Report. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning  (KR 2023). CEUR-WS.org. https://doi.org/10.34726/5328 ( reposiTUm)

Lukumbuzya, S., Ortiz de la Fuente, M. M., & Simkus, M. (2023). On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning  (KR 2023). CEUR-WS.org. https://doi.org/10.34726/5333 ( reposiTUm)

Ahmetaj, S., Ortiz, M., Oudshoorn, A., & Šimkus, M. (2023). Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 27–35). IOS Press. https://doi.org/10.3233/FAIA230250 ( reposiTUm)

Ahmetaj, S., David, R., Polleres, A., & Simkus, M. (2022). Repairing SHACL Constraint Violations Using Answer Set Programming. In The Semantic Web – ISWC 2022 (pp. 375–391). Springer. https://doi.org/10.1007/978-3-031-19433-7\_22 ( reposiTUm)

Andresel, M., Ortiz, M., & Simkus, M. (2020). Query Rewriting for Ontology-Mediated Conditional Answers. In V. Conitzer & F. Sha (Eds.), Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2734–2741). AAAI-20 Technical Tracks. https://doi.org/10.1609/aaai.v34i03.5660 ( reposiTUm)

Bajraktari, L., Ortiz de la Fuente, M. M., & Xiao, G. (2019). Optimizing Horn-SHIQ Reasoning for OBDA. In The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I. ISWC 2019 - International Semantic Web Conference, Auckland, New Zealand. Springer. https://doi.org/10.1007/978-3-030-30793-6_5 ( reposiTUm)

Andresel, M.-P., Ibanez Garcia, Y. A., Ortiz de la Fuente, M. M., & Simkus, M. (2019). Relaxing and Restraining Queries for OBDA. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2654–2661). https://doi.org/10.1609/aaai.v33i01.33012654 ( reposiTUm)

Gogacz, T., Gutierrez-Basulto, V., Ibanez Garcia, Y. A., Murlak, F., Ortiz, M., & Simkus, M. (2019). Ontology Focusing: Knowledge-enriched Databases on Demand. arXiv. https://doi.org/10.48550/arXiv.1904.00195 ( reposiTUm)

Labai, N., Kotek, T., Ortiz, M., & Veith, H. (2019). Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). arXiv. https://doi.org/10.48550/arXiv.1912.00171 ( reposiTUm)