TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff External Lecturers By Responsibilities By Committee By Name

Georg Gottlob

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

Research Focus

  • Logic and Computation: 80%

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

About

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

Role

Contact

2019W

2020S

 

2017

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

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

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

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

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

2009

  • 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
  • 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
  • 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
  • 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
  • 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
  • Alternation as a Programming Paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Report No. DBAI-TR-2009-64, 2009; 28 pages

2008

  • Computational Aspects of Monotone Dualization: A Brief Survey / T. Eiter, K. Makino, G. Gottlob / Discrete Applied Mathematics, 156 (2008), 11; 2035 - 2049
  • 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
  • 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
  • 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
  • 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

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

2006

2005

2004

2003

2002

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

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 .