TU Wien Informatics

Mantas Simkus

Privatdoz. Dr.techn. / MSc

Research Focus

Research Areas

  • Logic Programming, Computational Complexity, Nonmonotonic Reasoning, Knowledge representation
Mantas Simkus

About

Databases and Artificial Intelligence

Role

2020W

 

2020

2019

2018

  • The Impact of Active Domain Predicates on Guarded Existential Rules / G. Gottlob, A. Pieris, M. Simkus / Fundamenta Informaticae, 159 (2018), 1-2; 123 - 146
  • 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
  • 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
  • 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
  • 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
  • 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

2017

2016

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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 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
  • 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

2015

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2014

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2013

  • 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
  • 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

2012

  • 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
  • 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
  • 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
  • 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

2011

  • 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
  • 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
  • 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

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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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