Inconsistency resolution methods in the integration of data and knowledge bases
Project goals
The analysis of known inconsistency conflicts of the integration of data or knowledge bases, and of existing ways of their resolution, ought to lead to the design of more general methods, namely from the theoretical point of view, but also applicable inreal life situation. The focus will be concentrated on some important types of problems: the integration of data/knowledge bases with different priorities (hierarchically organized, centralized or decentrallized, federated, etc.), temporal inconsistency(its classification and resolution), the integration of data/knowledge bases with different kinds of fuzziness (vagueness, degree of truth) and of uncertainty (probabilistic, possibilistic, degree of belief). While in the case of the first two types, theformalism of the classical (predicate) logic ought to be sufficient, the last type of problems will surely require application of some variants of many-valued logics. The main goal of the grant is to formalize and to design real life applicable resoluti
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Metody řešení inkonzistence při integraci bází dat a znalostí
Annotation in Czech
Analýza některých známých inkonzistenčních konfliktů při integraci bází dat nebo znalostí a existujících způsobů jejich řešení, povede k návrhu obecnějších metod, a to jak po stránce teoretické, tak i prakticky aplikovatelných. Pozornost bude soustředěnana některé významné typy problémů: integraci bází dat nebo znalostí s různými prioritami (hierarchicky členěné, centralizované nebo decentralizované), temporální inkonzistence (její klasifikace a řešení), integrace bází dat a znalostí s různými třídami neurčitosti (vágnost, stupeň pravdivosti) a nejistoty (pravděpodobnostní, posibilistická, věrohodnostní). Zatímco první dva typy vystačí pravděpodobně s formálními prostředky klasické (predikátové) logiky, poslední bude určitě vyžadovat aplikaci nějaké varianty vícehodnotové logiky. Hlavním cílem projektu je formalizace dané problematiky a návrh prakticky realizovatelných metod řešení inkonzistence dat a znalostí. Přímá aplikovatelnost je zamýšlena v oblasti klasických databázových i znalostních systémů
Scientific branches
R&D category
—
CEP classification - main branch
BC - Theory and management systems
CEP - secondary branch
BD - Information theory
CEP - another secondary branch
BA - General mathematics
10101 - Pure mathematics
10102 - Applied mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Projekt vedl ke klasifikaci inkozistencí v bázích dat a bázích znalostí a vývoj metodologie odstraňování nekonzistencí včetně implementace procedur na počítačích. Výsledky jsou adekvátní, odpovídající cílům. Jsou významné pro moderní databázové systémy a
Solution timeline
Realization period - beginning
Jan 1, 1997
Realization period - end
Jan 1, 1999
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2000/GA0/GA00GA/U/6:2
Data delivery date
—
Finance
Total approved costs
782 thou. CZK
Public financial support
205 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
782 CZK thou.
Public support
205 CZK thou.
0%
Provider
Czech Science Foundation
CEP
BC - Theory and management systems
Solution period
01. 01. 1997 - 01. 01. 1999