TU Wien Informatics

Georg Gottlob

O.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Research Areas

  • Database Theory, Complexity in Artificial Intelligence and logic programming, Semistructured Data, XML, Data Extraction and Integration, Complexity Theory, Finite Model Theory and Descriptive Complexity, Problem decomposition techniques based on graphs and hypergraphs, Computational Logic, Knowledge Representation and Reasoning, Constraint Satisfaction Problems
Georg Gottlob

About

Basic Research in Computer Science, in particular "Database Theory and Knowledge Representation"; applied Research on Web data extraction

Role

2017

  • Swift Logic for Big Data and Knowledge Graphs / L. Bellomarini, G. Gottlob, A. Pieris, E. Sallinger / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia (invited); 2017-08-19 - 2017-08-25; in: "26th International Joint Conferences on Artificial Intelligence Organization", (2017), 2 - 10
  • Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Montevideo, Uruguay; 2017-06-07 - 2017-06-09; in: "11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017", E. Sallinger (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1912 (2017), ISSN: 1613-0073; 1 - 5
  • Preface of the Special Issue in Memoriam Helmut Veith / G. Gottlob, T. Henzinger, G. Weissenbacher / Formal Methods in System Design, 51 (2017), 2; 267 - 269

2016

  • Semantic Acyclicity Under Constraints / P. Barceló, G. Gottlob, A. Pieris / Poster: 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS 2016, San Fracisco, CA, USA; 2016-06-26 - 2016-07-20; in: "Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26 - July 01, 2016", T. Milo, W. Tang (ed.); ACM, (2016), ISBN: 978-1-4503-4191-2; 343 - 354
  • A Datalog-Based Language for Querying RDF Graphs / M. Arenas, G. Gottlob, A. Pieris / 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 17, 4 pages
  • Semantic Acyclicity Under Constraints / P. Barceló, G. Gottlob, A. Pieris / 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 6, 5 pages

2015

  • Recent Advances in Datalog+/- / G. Gottlob, M. Morak, A. Pieris / Talk: 11th International Summer School Reasoning Web 2015, Berlin, Germany (invited); 2015-07-31 - 2015-08-04; in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures.", Springer, Lecture Notes in Computer Science Volume 9203 2015 (2015), ISBN: 978-3-319-21767-3; 193 - 217
  • Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations / G. Gottlob, M. Manna, A. Pieris / 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", CEUR Workshop Proceedings, 1350 (2015), 4 pages
  • Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 65 - 77
  • Chase Termination for Guarded Existential Rules / M. Calautti, G. Gottlob, A. Pieris / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 91 - 103
  • Chase Termination for Guarded Existential Rules / M. Calautti, G. Gottlob, A. Pieris / 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 28, 6 pages
  • Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- / G. Gottlob, O. Orsi, A. Pieris / in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015", 9202; Springer LNCS, 2015, (invited), ISBN: 978-3-319-21541-9, 35 - 53
  • Polynomial Rewritings for Linear Existential Rules / G. Gottlob, M. Manna, A. Pieris / in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2992 - 2998
  • Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue / G. Gottlob, A. Pieris / in: "roceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2999 - 3007

2014

  • 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

2013

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

2010

  • Combining Semantic Web search with the power of inductive reasoning / C. d´Amato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: International Conference on Scalable Uncertainty Management (SUM), Toulouse, France; 2010-09-27 - 2010-09-29; in: "Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010)", A. Deshpande, A. Hunter (ed.); Springer LNCS, 6379 (2010), ISBN: 978-3-642-15950-3; 137 - 150
  • Datalog+/-: A family of logical knowledge representation and query languages for new applications / A. Cali, G. Gottlob, T. Lukasiewicz, B. Marnette, A. Pieris / Keynote Lecture: Symposium on Logic in Computer Science (LICS), Edinburgh, United Kingdom (invited); 2010-07-11 - 2010-07-14; in: "Proceedings of the 25th Symposium on Logic in Computer Science (LICS 2010)", J.-P. Jouannaud (ed.); IEEE Computer Society, (2010), ISBN: 978-0-7695-4114-3; 228 - 242
  • Ontological reasoning with F-Logic Lite and its extensions / A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, A. Pieris / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 1660 - 1665
  • Inductive reasoning and Semantic Web search / C. d´Amato, F. Esposito, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland; 2010-03-22 - 2010-03-26; in: "Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010)", S. Shin, S. Ossowski, M. Schumacher, M. Palakal, C. Hung (ed.); ACM, (2010), ISBN: 978-1-60558-638-0; 1446 - 1447
  • Semantic Web search based on ontological conjunctive queries / B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz / Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Sofia, Bulgaria; 2010-02-14 - 2010-02-19; in: "Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)", H. Prade, S. Link (ed.); Springer LNCS, 5956 (2010), ISBN: 978-3-642-11828-9; 153 - 172
  • The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey / T. Eiter, G. Gottlob, T. Schwentick / in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday", A. Blass, N Dershowitz, W. Reisig (ed.); Springer LNCS, Heidelberg (LNCS 6300), 2010, (invited), ISSN: 0302-9743, 227 - 250
  • Datalog extensions for tractable query answering over ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / in: "Semantic Web Information Management: A Model-Based Perspective", R. De Virgilio, F. Giunchiglia, L. Tanca (ed.); Springer, Heidelberg, 2010, (invited), ISBN: 978-3-642-04328-4, 249 - 279

2009

  • Combining Semantic Web Search with the Power of Inductive Reasoning / C. d´Amato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Washington DC, USA; 2009-10-26; in: "Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)", F. Bobillo, P. da Costa, C. d´Amato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.); CEUR-Proceedings, 527 (2009), ISSN: 1613-0073; 15 - 26
  • Normalization and Optimization of Schema Mappings / G. Gottlob, R. Pichler, V. Savenkov / Talk: Very Large Databases (VLDB), Lyon, Frankreich; 2009-08-24 - 2009-08-28; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); VLDB Endowment, Vol. 2, Nr. 1 (2009), Paper ID 923, 12 pages
  • Tractable Query Answering over Ontologies with Datalog+- / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: International Workshop on Description Logics (DL), Oxford, UK; 2009-07-27 - 2009-07-30; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 46:1 - 46:12
  • A General Datalog-Based Framework for Tractable Query Answering over Ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: ACM Symposium on Principles of Database Systems (PODS), Providence, Rhode Island, USA; 2009-06-29 - 2009-07-02; in: "Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS 2009)", J. Paredaens, S. Jianwen (ed.); ACM Press, (2009), ISBN: 978-1-60558-553-6; 77 - 86
  • Datalog±: A Unified Approach to Ontologies and Integrity Constraints / A. Cali, G. Gottlob, T. Lukasiewicz / Keynote Lecture: Italian Symposium on Databases (SEBD), Camogli, Italy (invited); 2009-06-21 - 2009-06-24; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 5 - 6
  • A General Datalog-Based Framework for Tractable Query Answering over Ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: Italian Symposium on Databases (SEBD), Camogli, Italy; 2009-06-21 - 2009-06-24; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 29 - 36
  • Datalog±: A Unified Approach to Ontologies and Integrity Constraints / A. Cali, G. Gottlob, T. Lukasiewicz / Keynote Lecture: International Conference on Database Theory (ICDT), Saint-Petersburg, Russia (invited); 2009-03-23 - 2009-03-26; in: "Proceedings of the 12th International Conference on Database Theory (ICDT 2009)", R. Fagin (ed.); ACM International Conference Proceeding Series, 361 (2009), 14 - 30
  • Alternation as a Programming Paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Report No. DBAI-TR-2009-64, 2009; 28 pages

2008

  • Heuristic Methods for Hypertree Decomposition / A. Dermaku, T. Ganzow, G. Gottlob, B. J. McMahan, N. Musliu, M. Samer / Keynote Lecture: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, Mexico (invited); 2008-10-27 - 2008-10-31; in: "Lecture Notes in Computer Scienc, MICAI 2008: Advances in Artificial Intelligence", Springer, 5317 (2008), 1 - 11
  • 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
  • Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation / G. Gottlob, R. Pichler, F. Wei / Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 2008-07-13 - 2008-07-17; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 3 (2008), ISBN: 978-1-57735-368-3; 1541 - 1547
  • Computational Aspects of Monotone Dualization: A Brief Survey / T. Eiter, K. Makino, G. Gottlob / Discrete Applied Mathematics, 156 (2008), 11; 2035 - 2049
  • From Web Search to Semantic Web Search / B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz / Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-11, 2008; 27 pages

2007

  • Foundations of Rule-Based Query / F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei / Talk: Third International Summer School 2007, Dresden, Germany; 2007-09-03 - 2007-09-07; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153
  • Monadic Datalog over Finite Structures with Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2007, Beijing, China; 2007-06-11 - 2007-06-13; in: "Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007)", P. Kolaitis (ed.); ACM, (2007), ISBN: 978-1-59593-685-1; 165 - 174
  • The Lixto Systems Applications in Business Intelligence and Semantic Web / R. Baumgartner, O. Frölich, G. Gottlob / Keynote Lecture: 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Österreich; 2007-06-03 - 2007-06-07; in: "Lecture Notes in Computer Science", Springer-Verlag, 4519 (2007), ISBN: 978-3-540-72666-1; 16 - 26

2006

2005

2004

2003

2002

2001

  • Second-Order Logic over Strings: Regular and Non-Regular Fragments / T. Eiter, G. Gottlob, T. Schwentick / Talk: International Conference on Developments in Language Theory (DLT), Vienna, Austria; 2001-07-16 - 2001-07-21; in: "Proceedings Fifth International Conference on Developments in Language Theory (DLT 2001). Revised Papers", W. Kuich et al. (ed.); Springer, (2002), ISBN: 3-540-43453-4; 37 - 56

2000

1999

  • Künstliche Intelligenz / J. Dorn, G. Gottlob / in: "Informatik-Handbuch", issued by: P. Rechenberg und G. Pomberger; Oldenbourg Verlag, 1999, (invited), 975 - 998

 

2016

  • A Scale-Invariant Spatial Graph Model / Doctoral Thesis by F. Mocnik / Supervisor, Reviewer: A. Frank, G. Gottlob; Department für Geodäsie und Geoinformation, 2016; oral examination: 2016-01-19

2010

2008

2007

2006

2005

2004

2003

2002

2001

1999

1996

 

  • ExtraLytics
    2014 / ERC Europäischer Forschungsrat
  • DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
    2010 / ERC Europäischer Forschungsrat
  • Full Member of the Austrian Academy of Sciences
    2004 / Mitgliedschaft / Austria
  • Fellow of ECCAI, the European Artificial Intelligence Society
    2002 / Austria
  • Best Paper Award at the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Madison, Wisconsin
    2002 / USA
  • Honorary Scientist of the Guizhou Academy of Sciences, Guyang
    2000 / Mitgliedschaft
  • Elected corresponding member of the Austrian National Academy of Sciences
    1999 / Mitgliedschaft / Austria
  • Best Paper Award at the 5th Int. Conference on Logic Programming and Nonmonotonic Reasoning, El Paso, Texas
    1999 / USA
  • Logik und Algorithmen
    1998 / Wittgenstein-Preis / Austria
  • Senior Fellow of the Christian Doppler Society
    1996 / Austria
  • Silbermedaille der Universität Helsinki f. wiss. Leistungen auf dem Gebiet der Informatik
    1995 / Finland
  • Preis der ital. Vereinigung der Elektronik-Ingenieure f. wiss. Leistungen auf dem Gebiet der Datenbanken
    1988 / Italy

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Georg Gottlob’s research profile in TISS .