From ONTORULE Show Case

The Faculty of Computer Science at the Free University of Bozen-Bolzano began its teaching and research activities in 2001. The Faculty is a research intensive environment where both basic and applied research is carried out in collaboration with the international research community and the local environment.

The KRDB (Knowledge Representation and Data Bases) Research Centre at the Faculty of Computer Science was founded in 2002, and it now comprises about 10 researchers. The centre aims at being an international centre of excellence in basic and applied research on KRDB technologies and at proposing to selected enterprises innovative ideas and technologies based on the developed research. The research topics include Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Information Integration, Peer to Peer systems, Semi-structured Data, Distributed and Web Information Systems, E-services, Computational Logic, and Logic-based Computational Linguistics. The KRDB centre is one of the leading groups in description logic research.

Implemented Components

The following list contains the components implemented by the University of Bozen.

	Component Description
FUB Combining Production Rules and Ontologies: Tight and Loose Coupling	Combining Production Rules and Ontologies: 'Formula-based' and 'Possible Models' semantics for Loose Coupling approach. Integrated semantics and Production Rules systems axiomatization in fixpoint logic (FPL) for Tight Coupling approach.
FUB Embedding of propositional production systems into μ- calculus, and first-order production systems into fixpoint logic	μ- calculus based embedding of propositional Production Rules systems and fixpoint logic embedding of FO Production Rules systems. The component aims at enabling further investigation of the combinations with ontologies as well as static analysis of the Production Rules systems.
FUB First-order deontic-alethic logic (FODAL)	FODAL is a first-order deontic-alethic logic
FUB Generalized Ontology-based Production Systems	A generalized ontology-based production systems (GOPSs) is defined together with a powerful verification query language for production systems static analysis. Lite-GOPSs a particular class of GOPSs based on the use of a light-weight ontology language (DL-Lite_A) a light-weight ontology query language (EQL-Lite(UCQ)) and a tractable semantics for updates over Description Logic ontologies are also presented.
FUB ORM2OWL Translator/Reasoner	An ORM2 to OWL2 translator tool allows to translate a given ORM2 knowledge base expressed in ORM2 formal syntax into OWL2 knowledge base. Additionally it provides a consistency check of the given schema and allows to check the validity of a ORM2 statement with respect to the given ORM2 knowledge base.
FUB Production systems and ontologies integration via Transaction Logic with Partially Defined Actions	The component consists of: (i) a new semantics for production systems augmented with DL ontologies that includes looping-rules and can handle inconsistency; (ii) a sound embedding of the combination of PS and rule-based ontologies into the TR-PAD transaction logic; and (iii) an extension of TR-PAD with default negation.