TU Wien Informatics

20 Years

Emanuel Sallinger

Assistant Prof. Dipl.-Ing. Mag.rer.soc.oec. Dr.rer.soc.oec. Dr.techn.

Research Focus

Research Areas

  • Computational Logic, Data Extraction and Integration, Reasoning, Knowledge Graph Management Systems, Reasoning in Knowledge Graphs, Knowledge-Based Systems, Scalable Reasoning, Database Theory, Databases, Scalable Systems, Knowledge Management, Database Systems, Knowledge Graphs, Artificial Intelligence, Complexity Theory
Emanuel Sallinger

About

My current main research focus is on Knowledge Graphs, including all theoretical and practical aspects. In particular, I am interested in reasoning in such systems, including all of the AI methodologies for that (knowledge-based/logic-based reasoning and machine learning-based reasoning). Within such systems, my interest in achieving scalable solutions, making sure that theory translates into practice.

More on this topic can be found at the website of the Knowledge Graph Lab (kg.dbai.tuwien.ac.at) at TU Wien, which I lead.

More broadly, my research interests are on scalable knowledge-based information systems and artificial intelligence technologies, in particular on aspects touching both theory and practice. On the theoretical side, this includes the theory of scalable systems, logic, reasoning and complexity. On the practical side this includes database management systems, scalable database and information systems, and knowledge management platforms.

For emails in my role of Vice Dean of Academic Affairs for Business Informatics and Data Science, please write primarily to <studiendekanat.informatik@tuwien.ac.at> mentioning that your request is for me, I can get back to you more quickly in that way.

Roles

2023

  • EA ModelSet – A FAIR Dataset for Machine Learning in Enterprise Modeling / Glaser, P.-L., Sallinger, E., & Bork, D. (2023). EA ModelSet – A FAIR Dataset for Machine Learning in Enterprise Modeling. In J. P. A. Almeida, M. Kaczmarek-Heß, A. Koschmider, & H. Proper (Eds.), The Practice of Enterprise Modeling : 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings (pp. 19–36). Springer. https://doi.org/10.1007/978-3-031-48583-1_2
    Project: DEMO (2022–2024)
  • SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog / Angles, R., Gottlob, G., Pavlovic, A., Pichler, R., & Sallinger, E. (2023). SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog. Proceedings of the VLDB Endowment, 16(13), 4240–4253. https://doi.org/10.14778/3625054.3625061
    Download: PDF (837 KB)
    Projects: KnowledgeGraph (2020–2028) / SustainGraph (2023–2024)
  • Model-Independent Design of Knowledge Graphs / Bellomarini, L., Gentili, A., Laurenza, E., & Sallinger, E. (2023). Model-Independent Design of Knowledge Graphs. In Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023). AMW 2023 - 15th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago de Chile, Chile. CEUR-WS.org. https://doi.org/10.34726/5426
    Download: PDF (1.84 MB)
    Projects: DeConquer (2023–2027) / KnowledgeGraph (2020–2028) / SustainGraph (2023–2024)
  • Towards Efficient Annotation Databases / Heinzl, R., Nissl, M., & Sallinger, E. (2023). Towards Efficient Annotation Databases. In B. Kimelfeld, M. V. Martinez, & R. Angles (Eds.), Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023). CEUR-WS.org. https://doi.org/10.34726/5427
    Download: PDF (2.12 MB)
    Projects: DeConquer (2023–2027) / KnowledgeGraph (2020–2028) / SustainGraph (2023–2024)
  • Reasoning over Financial Scenarios with the Vadalog System / Baldazzi, T., Bellomarini, L., & Sallinger, E. (2023). Reasoning over Financial Scenarios with the Vadalog System. In Proceedings 26th International Conference on Extending Database Technology (EDBT 2023) (pp. 782–791). OpenProceedings.org. https://doi.org/10.48786/edbt.2023.66
    Download: PDF (1.46 MB)
    Project: KnowledgeGraph (2020–2028)
  • ExpressivE: A Spatio-Functional Embedding For Knowledge Graph Completion / Pavlovic, A., & Sallinger, E. (2023). ExpressivE: A Spatio-Functional Embedding For Knowledge Graph Completion. In The Eleventh International Conference on Learning Representations (ICLR 2023) (pp. 1–45). OpenReview.net. https://doi.org/10.34726/5422
    Download: PDF (1.2 MB)
    Project: KnowledgeGraph (2020–2028)
  • Temporal Datalog with Existential Quantification / Lanzinger, M., Nissl, M., Sallinger, E., & Wałęga, P. (2023). Temporal Datalog with Existential Quantification. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023) (pp. 3277–3285). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/365
  • Knowledge Graphs in Action: from Theory to Systems and Real-world Applications (Abstract) / Sallinger, E. (2023). Knowledge Graphs in Action: from Theory to Systems and Real-world Applications (Abstract). In Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023). AMW 2023 - Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago de Chile, Chile. http://hdl.handle.net/20.500.12708/192767
    Project: KnowledgeGraph (2020–2028)
  • Building Bridges: Knowledge Graph Embeddings Respecting Logical Rules (short paper) / Pavlovic, A., & Sallinger, E. (2023). Building Bridges: Knowledge Graph Embeddings Respecting Logical Rules (short paper). In B. Kimelfeld, M. V. Martinez, & R. Angles (Eds.), Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023).
    Download: Paper (1.16 MB)
    Project: KnowledgeGraph (2020–2028)
  • Model-Based Construction of Enterprise Architecture Knowledge Graphs (extended abstract) / Glaser, P.-L., Ali, S. J., Sallinger, E., & Bork, D. (2023). Model-Based Construction of Enterprise Architecture Knowledge Graphs (extended abstract). In S. Hacks & J. Jung (Eds.), Proceedings of the 13th International Workshop on Enterprise Modelingand Information Systems Architectures {(EMISA} 2023). CEUR. http://hdl.handle.net/20.500.12708/191774
    Project: MFP 4.2 (2022–2023)
  • Exploring Enterprise Architecture Knowledge Graphs in Archi: The EAKG Toolkit / Glaser, P.-L., Ali, S. J., Sallinger, E., & Bork, D. (2023). Exploring Enterprise Architecture Knowledge Graphs in Archi: The EAKG Toolkit. In Conference Proceedings: Enterprise Design, Operations, and Computing. EDOC 2022 Workshops (pp. 332–338). Springer. https://doi.org/10.1007/978-3-031-26886-1_21
    Project: MFP 4.2 (2022–2023)

2022

2019

  • VADA: an architecture for end user informed data preparation / Konstantinou, N., Abel, E., Bellomarini, L., Bogatu, A. T., Civili, C., Irfanie, E., Köhler, M., Lacramioara, M., Sallinger, E., Fernandes, A. A. A., Gottlob, G., Keane, J. A., & Paton, N. W. (2019). VADA: an architecture for end user informed data preparation. Journal Of Big Data, 6(74). https://doi.org/10.1186/s40537-019-0237-9
  • The Space-Efficient Core of Vadalog / Berger, G., Gottlob, G., Pieris, A., & Sallinger, E. (2019). The Space-Efficient Core of Vadalog. In Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems  - PODS ’19. SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande, EU. https://doi.org/10.1145/3294052.3319688
  • Vadalog: Recent Advances and Applications / Gottlob, G., Sallinger, E., & Pieris, A. (2019). Vadalog: Recent Advances and Applications. In Lecture Notes in Computer Science. JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalbrien, Italien, EU. Springer. https://doi.org/10.1007/978-3-030-19570-0

2018

2017

  • Computational Social Choice in the Clouds / Csar, T., Lackner, M., Pichler, R., & Sallinger, E. (2017). Computational Social Choice in the Clouds. In Workshop Präferenzen und Personalisierung in der Informatik bei der Konferenz “Datenbanksysteme für Business, Technologie und Web” (BTW) (pp. 163–167). http://hdl.handle.net/20.500.12708/57077
    Projects: FAIR (2013–2018) / HINT (2012–2017) / START (2014–2022)
  • Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / Gottlob, G., Pichler, R., & Sallinger, E. (2017). Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. In E. Sallinger (Ed.), 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017 (pp. 1–5). CEUR Workshop Proceedings / CEUR-WS.org. http://hdl.handle.net/20.500.12708/57055
    Projects: FAIR (2013–2018) / HINT (2012–2017)
  • Stable Model Semantics for Tuple-Generating Dependencies Revisited / Pieris, A., Morak, M., & Alviano, M. (2017). Stable Model Semantics for Tuple-Generating Dependencies Revisited. In E. Sallinger & J. Van den Bussche (Eds.), Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/3034786.3034794
    Project: START (2014–2022)
  • Swift Logic for Big Data and Knowledge Graphs / Bellomarini, L., Gottlob, G., Pieris, A., & Sallinger, E. (2017). Swift Logic for Big Data and Knowledge Graphs. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, Non-EU. https://doi.org/10.24963/ijcai.2017/1
    Projects: FAIR (2013–2018) / HINT (2012–2017)

2016

  • Winner Determination in Huge Elections with MapReduce / Csar, T., Lackner, M., Pichler, R., & Sallinger, E. (2016). Winner Determination in Huge Elections with MapReduce. In M. Endres, N. Mattei, & A. Pfandler (Eds.), 10th Multidisciplinary Workshop on Advances in Preference Handling (p. 7). http://hdl.handle.net/20.500.12708/56661
    Projects: FAIR (2013–2018) / HINT (2012–2017) / SEE (2012–2016) / START (2014–2022)
  • Complexity of Repair Checking and Consistent Query Answering / Arming, S., Pichler, R., & Sallinger, E. (2016). Complexity of Repair Checking and Consistent Query Answering. In W. Martens & T. Zeume (Eds.), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (pp. 21:1-21:18). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2016.21
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Limits of Schema Mappings / Kolaitis, P. G., Pichler, R., Sallinger, E., & Savenkov, V. (2016). Limits of Schema Mappings. In W. Martens & T. Zeume (Eds.), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (pp. 19:1-19:17). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2016.19
    Projects: HINT (2012–2017) / SEE (2012–2016)

2015

  • On the undecidability of the equivalence of second-order tuple generating dependencies / Feinerer, I., Pichler, R., Sallinger, E., & Savenkov, V. (2015). On the undecidability of the equivalence of second-order tuple generating dependencies. Information Systems, 48, 113–129. https://doi.org/10.1016/j.is.2014.09.003
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Teaching and learning foundations of computer science : on the unusual effectiveness of logic in computer science / Sallinger, E. (2015). Teaching and learning foundations of computer science : on the unusual effectiveness of logic in computer science [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/78357
  • Function Symbols in Tuple-Generating Dependencies / Gottlob, G., Pichler, R., & Sallinger, E. (2015). Function Symbols in Tuple-Generating Dependencies. In T. Milo & D. Calvanese (Eds.), Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI  Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/2745754.2745756
    Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022)
  • Using Statistics for Computing Joins with MapReduce / Csar, T., Pichler, R., Sallinger, E., & Savenkov, V. (2015). Using Statistics for Computing Joins with MapReduce. In A. Cali & M.-E. Vidal (Eds.), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56102
    Projects: HINT (2012–2017) / START (2014–2022)
  • Distance-Bounded Consistent Query Answering / Pfandler, A., & Sallinger, E. (2015). Distance-Bounded Consistent Query Answering. In Q. Yang & M. Wooldridge (Eds.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (pp. 2262–2269). AAAI Press. http://hdl.handle.net/20.500.12708/56100
    Projects: FAIR (2013–2018) / HINT (2012–2017) / SEE (2012–2016) / START (2014–2022)

2014

  • Foundations of information integration : analyzing, managing and reasoning about schema mappings / Sallinger, E. (2014). Foundations of information integration : analyzing, managing and reasoning about schema mappings [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/79436
  • Capturing Relational Schemas and Functional Dependencies in RDFS / Fischl, W., Calvanese, D., Pichler, R., Simkus, M., & Sallinger, E. (2014). Capturing Relational Schemas and Functional Dependencies in RDFS. Reasoning Web, International Summer School 2014, Athens, Greece. http://hdl.handle.net/20.500.12708/85949
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Nested dependencies: structure and reasoning / Kolaitis, P. G., Pichler, R., Sallinger, E., & Savenkov, V. (2014). Nested dependencies: structure and reasoning. In R. Hull & M. Grohe (Eds.), Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS’14, Snowbird, UT, USA, June 22-27, 2014 (pp. 176–187). ACM. http://hdl.handle.net/20.500.12708/58804
  • Expressive Identification Constraints to Capture Functional Dependencies in Description Logics / Calvanese, D., Fischl, W., Pichler, R., Sallinger, E., & Simkus, M. (2014). Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. In Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014) (p. 5). CEUR-WS. http://hdl.handle.net/20.500.12708/55903
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Capturing Relational Schemas and Functional Dependencies in RDFS / Calvanese, D., Fischl, W., Pichler, R., Sallinger, E., & Simkus, M. (2014). Capturing Relational Schemas and Functional Dependencies in RDFS. In Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 1003–1011). http://hdl.handle.net/20.500.12708/55901
    Projects: HINT (2012–2017) / SEE (2012–2016)
  • Combined Complexity of Repair Checking and Consistent Query Answering / Arming, S., Pichler, R., & Sallinger, E. (2014). Combined Complexity of Repair Checking and Consistent Query Answering. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014 (p. 6). CEUR. http://hdl.handle.net/20.500.12708/55791
    Project: HINT (2012–2017)

2013

  • Reasoning about Schema Mappings / Sallinger, E. (2013). Reasoning about Schema Mappings. In P. G. Kolaitis, M. Lenzerini, & N. Schweikardt (Eds.), Data Exchange, Integration, and Streams (pp. 97–127). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DFU.Vol5.10452.97
    Project: HINT (2012–2017)
  • Relaxed Notions of Schema Mapping Equivalence Revisited / Pichler, R., Sallinger, E., & Savenkov, V. (2013). Relaxed Notions of Schema Mapping Equivalence Revisited. Theory of Computing Systems, 52(3), 483–541. https://doi.org/10.1007/s00224-012-9397-0
    Project: SODI (2009–2013)
  • Enhancing the Updatability of Projective Views / Guagliardo, P., Pichler, R., & Sallinger, E. (2013). Enhancing the Updatability of Projective Views. In Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management (p. 7). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/54848
    Project: HINT (2012–2017)

2012

  • Union and Intersection of Schema Mappings / Perez, J., Pichler, R., Sallinger, E., & Savenkov, V. (2012). Union and Intersection of Schema Mappings. In J. Freire & D. Suciu (Eds.), Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management (p. 13). CEUR-WS.org. http://hdl.handle.net/20.500.12708/54149
    Project: SODI (2009–2013)

2011

2010