Logické aspekty adaptabilních ontologických schémat

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

Šestý rámcový program Evropského společenství pro výzkum, technický rozvoj a demonstrační činnosti

Veřejná soutěž

FP6-2002-Mobility-12

Hlavní účastníci

—

Druh soutěže

RP - Spolufinancování programu EK

Číslo smlouvy

MSMT-2955/2012-36

Název projektu anglicky

Logical Aspects of Adaptable Ontological Schemas

Anotace anglicky

The proposal aims to integrate the complementary ontological engineering research streams at both sites, thus obtaining novel theoretical findings and experimental results. The main goal is to improve the ontology transformation approach developed at University of Economics, Prague, by applying deeper formal analysis of impacts of the transformation in terms of description logics. The result of the project will be 1) a framework allowing to characterize different transformation patterns in terms of preserving logical properties of the source ontology, and, 2) a formalism for composing complex transformation patterns from simpler ones. Besides, the possibility of interpreting design patterns used in ontologies as context parameters will be verified, andcontext logics operating over such parameters will be examined. The two-year project will also prepare the ground for long-term collaboration among the groups.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt je realizován v rámci Aktivity MOBILITY, jejímž hlavním cílem je navázání a prohlubování kontaktů se zahraničními výzkumnými institucemi. Neprobíhá tedy kontrola dílčích výstupů projektu prostřednictvím hodnotící komise, avšak je kontrolována sp?

Zahájení řešení

1. 1. 2012

Ukončení řešení

31. 12. 2013

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

25. 2. 2013

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP14-MSM-7A-U/01:1

Datum dodání záznamu

30. 6. 2014

Celkové uznané náklady

90 tis. Kč

Výše podpory ze státního rozpočtu

90 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč