Related Communities:

RuleInt Project

RFBR Grant 11-07-00402

Integration of rule-based declarative programs and knowledge, databases and services for scientific problems solving over heterogeneous distributed information resources

Project starting date

April 2011

Project duration

33 months

Project coordinator

Leonid Kalinichenko, Institute of Informatics Problems RAS, Moscow, Russia

Participants

  • Institute of Informatics Problems, RAS

Objectives

Recently, the World Wide Web Consortium (W3C) adopted RIF (Rule Interchange Format) standard oriented on providing of interoperability of declarative programs represented in different languages and rule-based programming (inference) systems. The standard is oriented not only on Semantic Web, but also on a creation of the intellectual information systems as well as on a knowledge representation in different application areas. This standard motivated the following investigation: to find a solution of the complicated problem of integration of multilanguage knowledge representations and rule-based declarative programs, heterogeneous databases, and services on the basis of unified languages and multidialect mediation infrastructure. The methods and tools developed are aimed at scientific problems solving over heterogeneous distributed information resources. The methods and tools to be developed are intended for combining two paradigms of extensible unified languages construction. The first one is W3C RIF standard paradigm. The second one is a paradigm based on the GLAV heterogeneous information resources mediation approach built on the extensible canonical informationmodel idea, applicable for database, service and process languages unification, and mediation.

The idea of the proposed approach consists in developing of a modular mediator infrastructure in which alongside with the modules representing data and services in the GLAV setting, the modules representing knowledge and declarative rule-based programs over various resources will be introduced. The infrastructure is planned to be based on the following principles:

  • The multidialectal construction of the canonical model. Mediators are represented as a functional composition of declarative specification of modules, each based on its own dialect with an appropriate semantics. Semantic of a conceptual definition in such setting becomes a multidialect one.
  • The mediator modules as peers. Rule-based modules become the mediator components alongside with the GLAV-based modules. Interoperability of the modules is based on peer-to-peer (P2P) and W3C RIF techniques.
  • Combination of integration and interoperability. The information resource integration can be provided in the scope of an individual mediator module. The integration approaches in different modules can be different. The interoperability is provided between the modules supporting different dialects.
  • Rule-based specifications on different levels of the infrastructure. Rule-based, inference providing modules are used for declarative programming over the mediators, to support variousmodules of amediator, to support schemamapping for semantic integration of the information resources in the mediator, etc.

Issues to be investigated and prototyped

  • Approaches for constructing the rule-based dialect mappings.
  • Methods for justification of semantic preservation by the mappings (e. g., as a preserving of entailment of initial formulae by the mapping justified by test case checking; reducing entailment to refinement; manual proof using structural induction over constructs of a dialect, etc.).
  • Investigation of approaches for modular representation of knowledge in the multidialect mediation environment.
  • Investigation of approaches for providing interoperability of the mediator multidialect modules.
  • Infrastructure design and prototyping.
  • Real problems solving in a scientific subject domains chosen.
  • Expansion of the experience into the SemanticWeb area.

A Toy Example

Multidialect Workflows Use Case

Results

Related Publications

Supported by Synthesis Group