Mantas Simkus
Privatdoz. Dr.techn. / MSc
Research Focus
- Logic and Computation: 100%
Research Areas
- Logic Programming, Computational Complexity, Nonmonotonic Reasoning, Knowledge representation
About
Databases and Artificial Intelligence
Roles
-
PostDoc Researcher with Habilitation
Databases and Artificial Intelligence, E192-02 -
On Leave
Databases and Artificial Intelligence, E192-02
Courses
2022W
- Bachelor Thesis / 184.691 / PR
- Project in Computer Science 1 / 184.688 / PR
- Project in Computer Science 2 / 184.689 / PR
Projects
-
Reasoning in Hybrid Knowledge Bases
2008 – 2012 / Austrian Science Fund (FWF)
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
2021
- Reasoning about Explanations for Non-validation in SHACL (Extended abstract) / S. Ahmetaj, R. David, M. Ortiz de la Fuente, A. Polleres, B. Shehu, M. Simkus / Talk: International Workshop on Description Logics (DL), Bratislava, Slovakia; 2021-11-03 - 2021-11-12; in: "Proceedings of the 34th International Workshop on Description Logics (DL 2021)", CEUR Workshop Proceedings, 2954 (2021), ISSN: 1613-0073
- Reasoning about Explanations for Non-validation in SHACL / S. Ahmetaj, R. David, M. Ortiz de la Fuente, A. Polleres, B. Shehu, M. Simkus / Talk: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Online; 2021-11-03 - 2021-11-12; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning", (2021), ISSN: 2334-1033; 12 - 21
- Magic Shapes for Validation in SHACL / S. Ahmetaj, B. Loehnert, M. Ortiz de la Fuente, M. Simkus / Talk: ISWC 2021 - The 20th International Semantic Web Conference, online event; 2021-10-24 - 2021-11-12; 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)", CEUR Workshop Proceedings, 2980 (2021), ISSN: 1613-0073
- Process Mining with Common Sense / D. Calvanese, S. Lukumbuzya, M. Montali, M. Simkus / Talk: International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021), Rome, Italy; 2021-09-06 - 2021-09-10; in: "Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021)", CEUR Workshop Proceedings, 2938 (2021), ISSN: 1613-0073; 45 - 50
- Bounded Predicates in Description Logics with Counting / S. Lukumbuzya, M. Simkus / Talk: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 2021-08-19 - 2021-08-27; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021", International Joint Conferences on Artificial Intelligence, (2021), ISBN: 978-0-9992411-9-6; 1966 - 1972
2020
- An ExpTime Upper Bound for ALC with Integers / N. Labai, M. Simkus, M. Ortiz de la Fuente / Talk: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece; 2020-09-12 - 2020-09-18; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020", D. Calvanese, E. Erdem, M. Thielscher (ed.); AAAI Press, (2020), ISSN: 2334-1033; 614 - 623
- Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates / T. Gogacz, S. Lukumbuzya, M. Simkus, M. Ortiz de la Fuente / Talk: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece; 2020-09-12 - 2020-09-18; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020", D. Calvanese, E. Erdem, M. Thielscher (ed.); AAAI Press, (2020), ISSN: 2334-1033; 434 - 444
- Ontology Focusing: Knowledge-Enriched Databases on Demand / T. Gogacz, V. Gutierrez-Basulto, Y.A. Ibanez Garcia, F. Murlak, M. Ortiz de la Fuente, M. Simkus / Talk: ECAI 2020, Santiago de Compostela, Spain; 2020-08-29 - 2020-09-05; in: "ECAI 2020 - 24th European Conference on Artificial Intelligence", Frontiers in Artificial Intelligence and Applications, 325 (2020), ISBN: 978-1-64368-100-9; 745 - 752
- Stable Model Semantics for Recursive SHACL / M.-P. Andresel, J. Corman, M. Ortiz de la Fuente, J. Reutter, O. Savkovic, M. Simkus / Talk: International World Wide Web Conference (WWW), Taipei, Taiwan; 2020-04-20 - 2020-04-24; in: "WWW '20: Proceedings of The Web Conference 2020", ACM, (2020), ISBN: 978-1-4503-7023-3; 1570 - 1580
- Resilient Logic Programs: Answer Set Programs Challenged by Ontologies / M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya / Talk: 34th AAAI Conference on Artificial Intelligence (AAAI-20), New York, New York, USA; 2020-02-07 - 2020-02-12; in: "The Thirty-Forth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, New York, USA, February 7 - 12, 2020", V. Conitzer, F. Sha (ed.); AAAI-20 Technical Tracks, Vol. 34 No. 03 (2020), ISSN: 2374-3468; 2917 - 2924
- Query Rewriting for Ontology-mediated Conditional Answers / M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus / Talk: 34th AAAI Conference on Artificial Intelligence (AAAI-20), New York, New York, USA; 2020-02-07 - 2020-02-12; in: "The Thirty-Forth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, New York, USA, February 7 - 12, 2020", V. Conitzer, F. Sha (ed.); AAAI-20 Technical Tracks, Vol. 34 No. 03 (2020), 2734 - 2741
- Ontologies and Data Management: A Brief Survey / T. Schneider, M. Simkus / KI - Künstliche Intelligenz, 34 (2020), 3; 329 - 353
- Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Artificial Intelligence, 280 (2020), 103220; 1 - 27
- Interview with Diego Calvanese / D. Calvanese, M. Simkus / KI - Künstliche Intelligenz (invited), 34 (2020), 4; 551 - 555
- Special Issue on Ontologies and Data Management: Part I / T. Schneider, M. Simkus / KI - Künstliche Intelligenz (invited), 34 (2020), 3; 287 - 289
- Special Issue on Ontologies and Data Management: Part II / T. Schneider, M. Simkus / KI - Künstliche Intelligenz, 34 (2020), 4; 439 - 441
- An ExpTime Upper Bound for ALC with Integers (Extended Version) / N. Labai, M. Simkus, M. Ortiz de la Fuente / Report for arXiv; Report No. 2006.02078, 2020; 36 pages
2019
- Answer Set Programs Challenged by Ontologies / M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya / Talk: International Workshop on Description Logics, Oslo, Norway; 2019-06-18 - 2019-06-21; in: "32nd International Workshop on Description Logics", M. Simkus, G. Weddell (ed.); CEUR Workshop proceedings, 2373 (2019), ISSN: 1613-0073
- Relaxing and Restraining Queries for OBDA / M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus / Poster: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019", (2019), 2654 - 2661
- Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy / A. Soylu, S. Moschoyiannis, G. Governatori, M. Simkus, P. Stefaneas, A. Steen, A. Giurca / CEUR, Aachen, Deutschland, 2019, ISSN: 1613-0073; 81 pages
- Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019 / M. Simkus, G. Weddell / CEUR, Aachen, Deutschland, 2019, ISSN: 1613-0073; 410 pages
- Ontology Focusing: Knowledge-enriched Databases on Demand / T. Gogacz, V. Gutierrez-Basulto, Y.A. Ibanez Garcia, F. Murlak, M. Ortiz de la Fuente, M. Simkus / Report for CoRR; Report No. 1904.00195, 2019; 21 pages
2018
- The Triguarded Fragment of First-Order Logic / S. Rudolph, M. Simkus / Talk: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Awassa, Ethiopia; 2018-11-16 - 2018-11-21; in: "LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018", EasyChair EPiC Series in Computing, 57 (2018), 604 - 619
- Relaxing and Restraining Queries for OBDA - Extended Abstract / M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus / Poster: Principles of Knowledge Representation and Reasoning (KR), Tempe, AZ, USA; 2018-10-30 - 2018-11-02; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October-2 November 2018.", (2018), ISBN: 978-1-57735-803-9; 617 - 618
- Taming Complex Role Inclusions for DL-Lite / M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus / Talk: 31st International Workshop on Description Logics (DL 2018), Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.", CEUR-WS.org, (2018), Paper ID 05, 12 pages
- Satisfiability in the Triguarded Fragment of First-Order Logic / S. Rudolph, M. Simkus / Talk: 31st International Workshop on Description Logics (DL 2018), Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.", CEUR-WS.org, (2018), Paper ID 32, 12 pages
- Compiling Model Representations for Querying Large ABoxes in Expressive DLs / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", (2018), 1691 - 1698
- Rewriting Guarded Existential Rules into Small Datalog Programs / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: Edbt / Icdt 2018, Wien; 2018-03-26 - 2018-03-30; in: "21st International Conference on Database Theory, {ICDT} 2018", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 98 (2018), ISBN: 978-3-89318-078-3; 1 - 24
- Combining Rules and Ontologies into Clopen Knowledge Bases / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: AAAI 2018, New Orleans, Lousiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence e (AAAI-18)", (2018), 1728 - 1735
- The Impact of Active Domain Predicates on Guarded Existential Rules / G. Gottlob, A. Pieris, M. Simkus / Fundamenta Informaticae, 159 (2018), 1-2; 123 - 146
2017
- Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: 30th International Workshop on Description Logics, Montpellier, France (invited); 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13
- Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, M. Ortiz de la Fuente, D. Calvanese, M. Simkus / ACM Transactions on Computational Logic, 18 (2017), 4; 1 - 35
2016
- The Impact of Active Domain Predicates on Guarded Existential Rules / G. Gottlob, A. Pieris, M. Simkus / Talk: RR2016 - Web Reasoning and Rule Systems - 10th International Conference, Aberdeen; 2016-09-09 - 2016-09-11; in: "Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings", M. Ortiz de la Fuente, S. Schlobach (ed.); Lecture Notes in Computer Science / Springer, 9898 (2016), ISBN: 978-3-319-45275-3; 94 - 110
- Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 878 - 885
- Managing Change in Graph-Structured Data Using Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: Workshop on New Trends in Belief Change, Vienna; 2016-05-10
- Closed Predicates in Description Logics: Results on Combined Complexity / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 8, 5 pages
- Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 19, 5 pages
- Closed Predicates in Description Logics: Results on Combined Complexity / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 15th International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016, Cape Town, South Africa; 2016-04-24 - 2016-04-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.", C. Baral, J. Delgrande, F. Wolter (ed.); AAAI Press, (2016), 237 - 246
- Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 2016-04-22 - 2016-04-25; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper ID 26, 13 pages
- A Compilation Technique for Interactive Ontology-mediated Data Exploration / M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus / Talk: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 2016-04-22 - 2016-04-25; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper ID 37, 12 pages
- Verification of Evolving Graph-structured Data under Expressive Path Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), 1 - 19
- The Challenge of Optional Matching in SPARQL / S. Ahmetaj, W. Fischl, M. Kröll, R. Pichler, M. Simkus, S. Skritek / Keynote Lecture: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz (invited); 2016-03-07 - 2016-03-11; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings", M. Gyssens, G. Simari (ed.); Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), ISBN: 978-3-319-30023-8; 169 - 190
2015
- Linking Open-World Knowledge Bases Using Nonmonotonic Rules / M. Simkus, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lexington, KY, USA; 2015-09-27 - 2015-09-30; in: "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR 2015)", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer LNCS, 9345 (2015), ISBN: 978-3-319-23263-8; 294 - 308
- A Rule-based Framework for Creating Instance Data from OpenStreetMap / T. Eiter, J. Z. Pan, P. Schneider, M. Simkus, G. Xiao / Talk: International Conference on Web Reasoning and Rule Systems (RR), Berlin, Germany; 2015-08-04 - 2015-08-05; in: "Web Reasoning and Rule Systems - 9th International Conference, RR 2015", B. ten Cate, A. Mileo (ed.); Springer LNCS, 9209 (2015), ISBN: 978-3-319-22001-7; 93 - 104
- Binary Frontier-Guarded ASP with Function Symbols / M. Simkus / Talk: International RuleML Symposium on Rule Interchange and Applications, Berlin, Germany; 2015-08-02 - 2015-08-05; in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium (RuleML 2015)", N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, D. Roman (ed.); Springer LNCS, 9202 (2015), ISBN: 978-3-319-21541-9; 311 - 327
- Extending ALCQIO with Trees / T. Kotek, M. Simkus, H. Veith, F. Zuleger / Talk: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan; 2015-07-06 - 2015-07-10; in: "LICS 2015", IEEE, (2015), ISBN: 978-1-4799-8875-4; 511 - 522
- DL-Lite and Conjunctive Queries Extended by Optional Matching / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), Paper ID 4, 4 pages
- The Combined Complexity of Reasoning with Closed Predicates in Description Logics / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), ISSN: 1613-0073; 249 - 261
- Towards Reconciling SPARQL and Certain Answers / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 24th International Conference on World Wide Web, WWW 2015, Florence; 2015-05-18 - 2015-05-22; in: "Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015", A. Gangemi, L. Stefano, A. Panconesi (ed.); ACM, (2015), ISBN: 978-1-4503-3469-3; 23 - 33
- Towards Reconciling SPARQL and Certain Answers (Extended Abstract) / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 4, 6 pages
- Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", CEUR Workshop Proceedings, 1378 (2015), ISSN: 1613-0073; 162 - 171
- Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Journal of Artificial Intelligence Research, 53 (2015), 315 - 374
2014
- Revisiting the Hardness of Query Answering in Expressive Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: RR 2014, 8th International Conference Web Reasoning and Rule Systems, Athens, Greece; 2014-09-15 - 2014-09-17; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings", R. Kontchakov, M. Mugnier (ed.); Springer Lecture Notes in Computer Science, 8714 (2014), ISBN: 978-3-319-11112-4; 216 - 223
- Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures / D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger / Keynote Lecture: International Conference in Integrated Formal Methods (IFM), Bertinoro, Italy (invited); 2014-09-09 - 2014-09-11; in: "IFM", Springer / LNCS, 8739 (2014), ISBN: 978-3-319-10180-4; 3 - 17
- Capturing Relational Schemas and Functional Dependencies in RDFS / W. Fischl, D. Calvanese, R. Pichler, M. Simkus, E. Sallinger / Poster: Reasoning Web, International Summer School, Athen; 2014-09-07 - 2014-09-13
- Capturing Relational Schemas and Functional Dependencies in RDFS / D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", (2014), 1003 - 1011
- Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press/IJCAI, (2014), ISBN: 978-1-57735-661-5; 966 - 973
- Nested Regular Path Queries in Description Logics / M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria; 2014-07-20 - 2014-07-24; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 218 - 227
- Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability / T. Kotek, M. Simkus, H. Veith, F. Zuleger / Keynote Lecture: International Workshop on Description Logics, Wien; 2014-07-17 - 2014-07-20; in: "International Workshop on Description Logics", (2014), 4 pages
- Expressive Identification Constraints to Capture Functional Dependencies in Description Logics / D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus / Poster: 27th International Workshop on Description Logics, Vienna, Austria; 2014-07-17 - 2014-07-20; in: "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014)", CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 5 pages
- Shape and Content: Incorporating Domain Knowledge into Shape Analysis / D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger / Talk: International Workshop on Description Logics, Wien; 2014-07-17 - 2014-07-20; in: "International Workshop on Description Logics", (2014), 4 pages
- Planning Problems for Graph Structured Data in Description Logics / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: 27th International Workshop on Description Logics, Vienna, Austria; 2014-07-17 - 2014-07-20; in: "Informal Proceedings of the 27th International Workshop on Description Logics", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 4 - 7
- Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57 / T. Eiter, P. Schneider, M. Simkus, G. Xiao / Talk: 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), Vienna, Austria; 2014-07-13; in: "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)", CEUR Workshop Proceedings, 1207 (2014), ISSN: 1613-0073; 51 - 57
- Expressiveness of guarded existential rule languages / G. Gottlob, S. Rudolph, M. Simkus / Talk: ACM Symposium on Principles of Database Systems (PODS), Snowbird, UT, USA; 2014-06-22 - 2014-06-27; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14", R. Hull, M. Grohe (ed.); ACM Press, (2014), ISBN: 978-1-4503-2375-8; 27 - 38
- Nested Regular Path Queries in Description Logics (Extended Abstract) / M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR Workshop Proceedings, 1189 (2014), ISSN: 1613-0073
- Planning and Change in Graph Structured Data under Description Logics Constraints / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR-Proceedings, 1189 (2014), ISSN: 1613-0073
- Informal Proceedings of the 27th International Workshop on Description Logics / M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus / CEUR-Proceedings, Vol. 1193. Aachen, Deutschland, 2014, ISSN: 1613-0073; 756 pages
2013
- Tractable Queries for Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 768 - 774
- Conjunctive Regular Path Queries in Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 761 - 767
- Tractability Guarantees for DL-Lite Query Answering / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 41 - 52
- Evolving Graph Databases under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 120 - 131
- Reasoning about Explanations for Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Journal of Artificial Intelligence Research, 48 (2013), 635 - 669
2012
- Datalog and Its Extensions for Semantic Web Databases / G. Gottlob, O. Orsi, A. Pieris, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 54 - 77
- Reasoning and Query Answering in Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 1 - 53
- Query Rewriting for Horn-SHIQ Plus Rules / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 726 - 733
- The Complexity of Explaining Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 583 - 587
- Towards Practical Query Answering for Horn SHIQ. / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; 158 - 168
- Answering Expressive Path Queries over Lightweight DL Knowledge Bases / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); (2012), ISSN: 1613-0073; 81 - 91
- Conjunctive query answering in the description logic SH using knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85
2011
- Containment of Regular Path Queries under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 805 - 812
- Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ / M. Ortiz de la Fuente, M. Simkus, S. Rudolph / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 1039 - 1044
- The Complexity of Conjunctive Query Abduction in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: International Workshop on Description Logics (DL), Barcelon, Spain; 2011-07-13 - 2011-07-16; in: "CEUR Workshop Proceedings", R. Rosati, S. Rudolph, M. Zakharyaschev (ed.); CEUR Workshop Proceedings, 745 (2011), ISSN: 1613-0073; Paper ID 49, 11 pages
- D3.4 Converged and Optimized Combinations of Rules and Ontologies / C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Report for ONTORULE project; Report No. D3.4, 2011; 163 pages
2010
- Nonmonotonic Logic Programs with Function Symbols / Doctoral Thesis by M. Simkus / Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 2010-06-02
- Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 / M. Ortiz de la Fuente, S. Rudolph, M. Simkus / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park, (2010), ISBN: 978-1-57735-452-9; 269 - 279
- Query Answering in the Description Logic S / M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Waterloo, Canada; 2010-05-04 - 2010-05-07; in: "Proceedings of the 23rd International Workshop on Description Logics (DL-2010)", V. Haarslev, D. Toman, G. Weddell (ed.); CEUR workshop proceedings, 573 (2010), ISSN: 1613-0073; 149 - 160
- Reasoning in Logic Programs with Function Symbols and Negation under the Stable Model Semantics / M. Simkus / Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 2010-03-11 - 2010-03-14
- FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols / T. Eiter, M. Simkus / ACM Transactions on Computational Logic, 11 (2010), 2; 1 - 45
- Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting / M. Ortiz de la Fuente, S. Rudolph, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-10-03, 2010; 18 pages
- Query Answering in the Description Logic S / M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-10-01; Report No. INFSYS RR 1843-10-01, 2010; 18 pages
2009
- Bidirectional Answer Set Programs with Function Symbols / M. Simkus / Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 2009-12-11
- Fusion of Logic Programming and Description Logics / M. Simkus / Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 2009-07-14 - 2009-07-17; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); LNCS, Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 551 - 552
- Bidirectional Answer Set Programs with Function Symbols / T. Eiter, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 765 - 771
- Query Answering in Description Logics with Transitive Roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 759 - 764
- Reasoning with knots / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko (invited); 2009-07-09
- Query Answering in Description Logics: The Knots Approach / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Keynote Lecture: International Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan (invited); 2009-06-21 - 2009-06-24; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514", H. Ono, M. Kanazawa, R. de Queiroz (ed.); Springer Lecture Notes in Computer Science, Heidelberg (2009), ISBN: 978-3-642-02260-9; 26 - 36
- Query answering in description logics with transitive roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-02, 2009; 32 pages
- Conjunctive Query Answering in the Description Logic SH using Knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-03, 2009; 37 pages
2008
- Reasoning Using Knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Keynote Lecture: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar (invited); 2008-11-22 - 2008-11-27; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)", I. Cervesato, H. Veith, A. Voronkov (ed.); Lecture Notes in Computer Science, Springer, Volume 5330 (2008), ISBN: 978-3-540-89438-4; 377 - 390
- Query Answering in the Description Logic Horn-SHIQ / T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Germany; 2008-09-28 - 2008-10-01; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 166 - 179
- Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: National Conference on Artificial Intelligence (AAAI), Chicago, USA; 2008-07-13 - 2008-07-17; in: "23rd AAAI Conference on Artificial Intelligence", D. Fox, C.P. Gomes (ed.); AAAI Press, (2008), ISBN: 978-1-57735-368-3; 504 - 510
- Conjunctive Query Answering in SH using Knots / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: International Workshop on Description Logics (DL), Dresden, Germany; 2008-05-13 - 2008-05-16; in: "Proceedings of the 21st International Workshop on Description Logics (DL2008)", F. Baader, C. Lutz, B. Motik (ed.); CEUR Workshop proceedings, 353 (2008), ISSN: 1613-0073; 11 pages
- Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-09, 2008; 17 pages
- FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols / M. Simkus, T. Eiter / Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-01, 2008; 62 pages
2007
- FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols / M. Simkus, T. Eiter / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Yerevan, Armenia; 2007-10-15 - 2007-10-19; in: "Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007)", N Dershowitz, A. Voronkov (ed.); Springer Lecture Notes in Computer Science, 4790 (2007), ISBN: 978-3-540-75558-6; 514 - 530
2006
- Deciding Description Logics around SHIQ by Translation into Decidable Disjunctive Logic Programs / Master Thesis by M. Simkus / Supervisor: T. Eiter; Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3, 2006; final examination: 2006-06-23
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
- Rewriting Approaches for Ontology-Mediated Query Answering / Doctoral Thesis by S. Ahmetaj / Supervisor, Reviewer: R. Pichler, M. Simkus; Institut für Logic and Computation, 2019; oral examination: 2019-07-09