Logical Aspects of Adaptable Ontological Schemas
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
FP6-2002-Mobility-12
Main participants
—
Contest type
RP - Co-financing of EC programme
Contract ID
MSMT-2955/2012-36
Alternative language
Project name in Czech
Logické aspekty adaptabilních ontologických schémat
Annotation in Czech
Návrh projektu směřuje k integraci komplementárních směrů výzkumu ontologického inženýrství na obou pracovištích, která povede k novým teoretickým poznatkům a experimentálním výsledkům. Hlavním cílem je zdokonalit přístup k transformaci ontologií, vyvinutý na VŠE v Praze, pomocí hlubší formální analýzy důsledků transformace z pohledu deskripční logiky. Výsledky projektu bude 1) formální rámec umožňující charakterizovat různé transformační vzory vzhledem k zachovávání logických vlastností zdrojové ontologie, a 2) formalismus pro skládání komplexních transformačních vzorů z jednodušších. Vedle toho bude ověřena možnost chápat návrhové vzory použité v ontologiích jako kontextové parametry, a prozkoumána kontextová logika pracující s takovými parametry. Dvouletý projekt bude rovněž připravovat podmínky pro dlouhodobou spolupráci mezi oběma pracovišti.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
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
This project is being realized in the framework of the MOBILITY Activity that aims primarily on establishing and strenghtening ties with foreign research institutions. The control of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked.
Solution timeline
Realization period - beginning
Jan 1, 2012
Realization period - end
Dec 31, 2013
Project status
U - Finished project
Latest support payment
Feb 25, 2013
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
CEP14-MSM-7A-U/01:1
Data delivery date
Jun 30, 2014
Finance
Total approved costs
90 thou. CZK
Public financial support
90 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK