Projects
What I am paid for
The following gives a brief overview of various past projects I have been involved in as well as present projects with my involvement.
Types of projects
- European-funded Projects (IST Framework programme of the European Commission) (Integrated Projects, Networks of Excellence)
- Austrian-funded Projects (FIT-IT Programme by the Ministry of Transport, Innovation and Technology (BMVIT))
- Non-profit open-source projects
Most of the projects involve industrial partners.
Present Projects
evanescent
evanescent is a collection of tools for reasoning in propositional logic and provides
implementations of inference engines in the D programming language.
The project is a non-profit open-source project and embodies
- a useful library for reasoning with propositional logic supporting various computational problems (e.g. SAT) and various algorithms for these problems
- a collection of efficient implementations based on state-of-the-art techniques
- a platform for experiments with novel algorithms and implementation techniques
- a stress test for the D programming language that allows to evaluate how suitable D is for developing high performance inference engines for hard computational problems
For further information, please visit the project website at GitHub.
YOLDR
YODLR is a novel experimental platform for reasoning in Description Logics (DLs) and related Modal Logics.
It is based on the SAT-Tableau Calculus combining propositional SAT-solver technolgy
and tableau-style modal reasoning.
The project is a non-profit open-source project.
For further information, please visit the project website
Past Projects
The Large Knowledge Collider (LarKC)
The aim of the EU FP 7 Large-Scale Integrating Project LarKC is to develop the Large Knowledge Collider (LarKC, for short, pronounce&nbs la&nbs ), a platform for massive distributed incomplete reasoning that will remove the scalability barriers of currently existing reasoning systems for the Semantic Web. This will be achieved by:
- Enriching the current logic-based Semantic Web reasoning methods with methods from information retrieval, machine learning, information theory, databases, and probabilistic reasoning,
- Employing cognitively inspired approaches and techniques such as spreading activation, focus of attention, reinforcement, habituation, relevance reasoning, and bounded rationality,
- Building a distributed reasoning platform and realizing it both on a high-performance computing cluster and via &nbs computing at ho&nbs
For further information, please visit the project website
Semantic Engineering Support Environement (SEnSE)
The SEnSE project deals with the development on an Engineering Support Environment which
improves communication in product development processes.
The scenarios targeted by the SEnSE project are intelligent change management, engineering rationale detection
and conflict resolution and redesign of existing products.
While state-of-the-art solutions are rather static and
process-oriented, SEnSE is highly flexible and is oriented to
support communication processes. SEnSE build on top of
state-of-the- art R&D results in the area of multi-agent systems,
semantics and tuple spaces. Within the project a set of
scientific and technological innovations will be developed.
Semantic facades will allow the semantic enrichment of legacy
data. A minimum high level ontology will provide standardized
communication means for inter-system communication. Specific
dynamically adaptable reasoning mechanisms will be developed. A
novel form of communication infrastructure combining
message-based on triple-space based communication will be
developed. A mechanisms for engineering rationale detection and
conflict resolution building on leading-edge basic research in
the area of Artificial Intelligence and Semantics will be
developed.
For further information, you can visit the project website. You can download a poster presenting the project at Austria goes Semantic: 180 days of DERI.
Reasoning with Web Services (RW2)
Web Services are widely seen as the most promising technology to enable interoperability among heterogeneous applications. However, current technologies only describe syntactical aspects of Web Services, providing a very limited automation support for the integration task. Semantic Web technologies are being applied to Web Services with the aim of offering a higher support for the automation of a number of tasks, significantly improving the quality of the integration tasks while drastically reducing its cost. The RW2 project follows the direction of research that describes Web Services using semantic annotations.
For further information, you can visit the project website
Knowledge Web (KW)
Knowledge Web (KW) is a 4 year Network of Excellence project funded by the European Commission 6th Framework Programme.
Knowledge Web began on January 1st, 2004. Supporting the transition process of Ontology technology from Academia to Industry
is the main and major goal of Knowledge Web.
The mission of KnowledgeWeb is to strengthen the European
industry and service providers in one of the most important areas
of current computer technology: Semantic Web enabled E-work and
E-commerce. The project concentrates its efforts around the
outreach of this technology to industry. Naturally, this includes
education and research efforts to ensure the durability of impact
and support of industry. Therefore, Knowledge Web devotes its
efforts to the following main areas: (1) Outreach to Industry: The
main objective of Knowledge Web's outreach to industry area is to
promote greater awareness and faster take-up of Semantic Web
technology within Europe in full synergy with the research
activity. This outreach will help to reduce time needed to
transfer the technology to industry and to market. (2) Outreach to
Education: Knowledge Web aims to work towards the establishment
of a European Association for Semantic Web Education (EASE),
which will act as the principal focus for educational activities
on Semantic Web. (3) Coordination of Research: The objective of
Knowledge Web will be to ensure that the research as performed by
the leading groups in this area will be sufficiently coordinated
to avoid both duplication and fragmentation. Such coordination is
particularly important for the Semantic Web: since it is an
inter-disciplinary area, joint collaborations among and across
various research communities is necessary. The objective of
Knowledge Web is to coordinate the European research effort to
make Semantic Web and Semantic Web Services a reality.
The Knowledge Web consortium is coordinated by the University of
Innsbruck, Austria and consists of 18 leading partners in
Semantic Web, Multimedia, Human Language Technology, Workflow and
Agents. Knowledge Web is a member of the SDK project cluster,
which seeks to strengthen European research and industry in
Semantic Web technologies.
For further information, you can visit the project website
Data, Integration, Processes (DIP)
The major mission of DIP is to further develop semantic web and web services and especially, to enable their combination. DIP takes the vision of Semantic Web Services and will work on transforming it into a mature and scalable technology. We will define and implement additional layers of functionality on top of the current web service stack and we implement the mechanization of eWork and eCommerce relationships based on Semantic Web technology.
For further information, you can visit the project website
Semantic Web Fred (SWF)
The FRED system developed by Net Dynamcis is a software platform which integrates agent technology, ontologies, Semantic Web Service technologies, and dynamic process technologies. Such integrated systems are needed for Semantic Web Platforms which represent the next generation of mediator systems. In this project, the existing technologies of the FRED system for automated goal resolution, i.e. how to find a suitable Service (internal or external Web Service) for solving a Goal that has been assigned to an agent, will be extended in terms of dynamics. The major objectives are: (1) Specification of a Description Language for Goals and Services (2) Implementation of a Reasoning Engine for dynamic automated Goal Resolution (3) A framework for extracting web content into the FRED system (4) Use case implementations for showcasing
For further information, you can visit the project website
Semantic Knowledge Technologies (SEKT)
The vision of SEKT is to develop and exploit the knowledge technologies which underlie Next Generation Knowledge Management. We envision knowledge workplaces where the boundaries between document management, content management, and knowledge management are broken down, and where knowledge management is an effortless part of day to day activities. Appropriate knowledge is automatically delivered to the right people at the right time at the right granularity via a range of user devices. Knowledge workers will be empowered to focus on their core roles and creativity; this is key to European competitiveness. The execution of SEKT is based on the integration of fundamental research, component development and integration driven by real world case studies in the public and private sectors. SEKT will provide new insights on knowledge technologies together with open reference implementations for others to build on.
For further information, you can visit the project website