From ONTORULE Show Case

The Institute of Information Systems of Vienna University of Technology (TUWIEN), Austria, has four groups: the Distributed Systems Group (DS), the Databases and Artificial Intelligence Group (DBAI), the Knowledge Systems Group (KBS), and the Formal Methods in System Engineering Group (FORSYTE), which perform research in a number of projects funded by the EC and national organisations.

TUWIEN has extensive competence in the fields, among others, of knowledge representation and reasoning (KRR), computational logic, foundation of databases, and Web intelligence. In particular, TUWIEN has longstanding experience and expertise in logic programming-based rule languages; for example, and the state-of-the-art system DLV for disjunctive logic programming has been developed by TUWIEN.

The research results of TUWIEN have been disseminated in numerous publications in the top-level scientific conferences and journals in these fields.

Implemented Components

The following list contains the components implemented by Technische Universität Wien.

	Component Description
TUWIEN DReW	DReW is: A prototype DL reasoner over LDL+ ontologies: taking as input a conjunctive query and an ontology in OWL 2 syntax extended for the complex role expressions of LDL+ DReW checks whether the ontology is in the LDL+ fragment. If it is it is translated according to the format suitable for the specified Datalog reasoner (DLV in our case). A prototype reasoner for dl-programs over LDL+ ontologies under well-founded semantics.
TUWIEN KAOS	KAOS is the first reasoner supporting Conjunctive Queries (CQs) over the expressive Horn-SHIQ ontologies. It has been developed in cooperation with the Austrian funded FWF Project "Reasoning in Hybrid Knowledge Bases" P20840.
TUWIEN MOR	MOR (MergeOntologyRule) is a prototype reasoner for evaluating stratified dl-programs over DL-Lite ontologies under the well-founded semantics using a Relational Database Management System (RDBMS).

Theoretical Components

The following list contains the theoretical components devised by Technische Universität Wien.

	Component Description
TUWIEN Paraconsistent Hybrid Theories	a semantics for hybrid theories that allows to draw non-trivial conclusions in case of inconsistency
TUWIEN Stepping Approach for DL-Programs	a framework is provided that allows for stepwise debugging of DL-Programs
TUWIEN f-hybrid Knowledge Bases	f-hybrid knowledge bases are a tightly-coupled combination of logical rules and ontologies. The logical rule component is an FoLP program while the ontology part is a SHOQ ontology.