Thomas Lukasiewicz: Projects
PrOQAW: Probabilistic Ontological Query Answering on the Web
Type: Research project funded by the Engineering and Physical Sciences Research Council (EPSRC).
Funding period: 2012-2015.
Own role: principal investigator.
Probabilistic Semantic Query Answering on the Web
Type: Google Research Award.
Funding period: 2011-2012.
Own role: principal investigator.
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
Project goals: Towards the next generation of ontology-based ISs, development of formalisms and methods for a synthesis and an extension of ontology and database systems and techniques, with data handling capabilities similar to current RDBMSs, but schemas that are rich, flexible, and tightly integrated with the data.
Type: Research project funded by the Engineering and Physical Sciences Research Council (EPSRC).
Funding period: 2010-2013.
Own role: co-investigator.From Data Extraction to Ontology-Based Semantic Search on the Web
Project goals: Development of formalisms and methods for automatic extraction of data from the Web, such as the development of a general model of knowledge representation and reasoning for integrating different sources on the Web, directed towards possible key technologies for the future Web, such as semantic searching.
Type: Yahoo! Research Fellowship.
Funding period: 2010-2013.
Own role: co-investigator.Databases, Web, and AI
Project goals: Development of formalisms and methods for the Web, which combine database techniques for handling very large data with intelligent techniques from AI.
Type: Heisenberg Fellowship by the German Research Foundation (DFG).
Funding period: 2007-2009.
Own role: principal investigator.Game-Theoretic Agent Programming
Project goals: Development of high-level formalisms and techniques for programming systems of multiple agents in uncertain and partially observable environments.
Type: Research project funded by the Austrian Science Fund (FWF).
Funding period: 2005-2008.
Own role: principal investigator.Knowledge Representation and Reasoning for Intelligent Agents and the Semantic Web
Project goals: Development of KR formalisms and techniques (i) for high-level probabilistic agent programming and reasoning, (ii) for planning under uncertainty in AI, (iii) for the Rules, Logic, and Proof Layers of the Semantic Web.
Type: Heisenberg Fellowship by the German Research Foundation (DFG).
Funding period: 2004-2007.
Own role: principal investigator.Expressive Probabilistic Description Logics and their Integration into Probabilistic Databases
Project goals: Development of rich probabilistic description logics, and exploration of their computational properties. Integration of these probabilistic description logics into probabilistic databases for an increased expressivity.
Type: Marie Curie Individual Fellowship by the European Union.
Funding period: 2001-2004.
Own role: principal investigator.Probabilistic Logic Programming and Many-Valued Logic Programming with Probabilistic Semantics
Project goals: Development of approaches to probabilistic logic programming and many-valued logic programming with probabilistic semantics, which allow for disjunctions in rule heads and negations in rule bodies. Analysis of the computational complexity of probabilistic logic programming and many-valued logic programming with probabilistic semantics, and elaboration of efficient algorithms for these tasks.
Type: Habilitation Fellowship by the German Research Foundation (DFG).
Funding period: 1999-2001.
Own role: principal investigator.
