TU Wien Informatics

20 Years

Role

2024S

 

2023

  • Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract) / 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
    Download: PDF (988 KB)
    Projects: FRESH (2021–2025) / KtoAPP (2018–2025)
  • Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting / 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
    Download: PDF (342 KB)
    Projects: FRESH (2021–2025) / KtoAPP (2018–2025) / OMEGA (2017–2022)

2022

  • Formalizing Property Constraints in Wikidata / Ferranti, N., Polleres, A., de Souza, J. F., & Ahmetaj, S. (2022). Formalizing Property Constraints in Wikidata. In Proceedings of the 3rd Wikidata Workshop 2022. Wikidata Workshop 2022, Hangzhou, China. http://hdl.handle.net/20.500.12708/150282
    Project: FRESH (2021–2025)
  • Repairing SHACL Constraint Violations Using Answer Set Programming / 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
    Projects: FRESH (2021–2025) / KtoAPP (2018–2025) / OMEGA (2017–2022)
  • Magic Shapes for SHACL Validation / 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
    Projects: FRESH (2021–2025) / KtoAPP (2018–2025) / OMEGA (2017–2022)

2021

  • Reasoning about Explanations for Non-validation in SHACL (Extended abstract) / Ahmetaj, S., David, R., Ortiz de la Fuente, M. M., Polleres, A., Shehu, B., & Simkus, M. (2021). Reasoning about Explanations for Non-validation in SHACL (Extended abstract). In Proceedings of the 34th International Workshop on Description Logics (DL 2021). 34th International Workshop on Description Logics (DL 2021), Bratislava, Slovakia. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55685
  • Reasoning about Explanations for Non-validation in SHACL / Ahmetaj, S., David, R., Ortiz, M., Polleres, A., Shehu, B., & Šimkus, M. (2021). Reasoning about Explanations for Non-validation in SHACL. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, Unknown. https://doi.org/10.24963/kr.2021/2
  • Magic Shapes for Validation in SHACL / Ahmetaj, S., Loehnert, B., Ortiz de la Fuente, M. M., & Simkus, M. (2021). Magic Shapes for Validation in SHACL. In Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference (ISWC 2021). ISWC 2021 - The 20th International Semantic Web Conference, online event, Unknown. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55686
  • Ontology-Enriched Query Answering on Relational Databases / Ahmetaj, S., Efthymiou, V., Fagin, R., Kolaitis, P. G., Lei, C., Özcan, F., & Popa, L. (2021). Ontology-Enriched Query Answering on Relational Databases. In AAAI 2021 Proceedings (pp. 15247–15254). AAAI Press. http://hdl.handle.net/20.500.12708/55688

2020

2019

2018

  • Rewriting Guarded Existential Rules into Small Datalog Programs / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2018). Rewriting Guarded Existential Rules into Small Datalog Programs. In B. Kimelfeld & Y. Amsterdamer (Eds.), 21st International Conference on Database Theory, {ICDT} 2018 (pp. 1–24). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2018.4

2017

2016

  • Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. In M. Lenzerini & R. Penaloza (Eds.), Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. (p. 13). CEUR Workshop Proceedings / CEUR-WS.org. http://hdl.handle.net/20.500.12708/56673
    Projects: HINT (2012–2017) / SemDat (2012–2016)
  • Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56671
    Projects: HINT (2012–2017) / SemDat (2012–2016)
  • Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. In S. Kambhampati (Ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 878–885). IJCAI/AAAI Press. http://hdl.handle.net/20.500.12708/56675
    Projects: HINT (2012–2017) / SemDat (2012–2016)
  • The Challenge of Optional Matching in SPARQL / Ahmetaj, S., Fischl, W., Kröll, M., Pichler, R., Šimkus, M., & Skritek, S. (2016). The Challenge of Optional Matching in SPARQL. In M. Gyssens & G. R. Simari (Eds.), Lecture Notes in Computer Science (pp. 169–190). Lecture Notes in Computer Science (LNCS) / Springer. https://doi.org/10.1007/978-3-319-30024-5_10
    Projects: HINT (2012–2017) / SEE (2012–2016)

2015

  • Towards Reconciling SPARQL and Certain Answers / Ahmetaj, S., & Fischl, W. (2015). Towards Reconciling SPARQL and Certain Answers. PhDs in Logic VII, Wien, Austria. http://hdl.handle.net/20.500.12708/86056
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Towards Reconciling SPARQL and Certain Answers / Ahmetaj, S., Fischl, W., Pichler, R., Šimkus, M., & Skritek, S. (2015). Towards Reconciling SPARQL and Certain Answers. In A. Gangemi, L. Stefano, & A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web. ACM. https://doi.org/10.1145/2736277.2741636
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Towards Reconciling SPARQL and Certain Answers (Extended Abstract) / Ahmetaj, S., Fischl, W., Pichler, R., Simkus, M., & Skritek, S. (2015). Towards Reconciling SPARQL and Certain Answers (Extended Abstract). In A. Cali & M.-E. Vidal (Eds.), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56096
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • DL-Lite and Conjunctive Queries Extended by Optional Matching / Ahmetaj, S., Fischl, W., Pichler, R., Simkus, M., & Skritek, S. (2015). DL-Lite and Conjunctive Queries Extended by Optional Matching. In D. Calvanese & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015 (p. 4). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56094
    Projects: HINT (2012–2017) / SEE (2012–2016)

2014

  • Planning Problems for Graph Structured Data in Description Logics / Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Planning Problems for Graph Structured Data in Description Logics. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 4–7). CEUR-WS. http://hdl.handle.net/20.500.12708/55993
    Projects: FAIR (2013–2018) / SEE (2012–2016) / SemDat (2012–2016)
  • Planning and Change in Graph Structured Data under Description Logics Constraints / Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Planning and Change in Graph Structured Data under Description Logics Constraints. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management. CEUR-Proceedings. http://hdl.handle.net/20.500.12708/55930
    Projects: FAIR (2013–2018) / SEE (2012–2016) / SemDat (2012–2016)
  • Managing Change in Graph-Structured Data Using Description Logics / Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Managing Change in Graph-Structured Data Using Description Logics. In C. E. Brodley & P. Stone (Eds.), Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 966–973). AAAI Press/IJCAI. http://hdl.handle.net/20.500.12708/55928
    Projects: FAIR (2013–2018) / SEE (2012–2016) / SemDat (2012–2016)

2013