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.
|
