About: Logical Aspects of Adaptable Ontological Schemas

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Logical Aspects of Adaptable Ontological Schemas Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=7AMB12SK020
Description	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, and context logics operating over such parameters will be examined. The two-year project will also prepare the ground for long-term collaboration among the groups. (en) 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.
Title	Logical Aspects of Adaptable Ontological Schemas (en) Logické aspekty adaptabilních ontologických schémat
skos:notation	7AMB12SK020
http://linked.open...avai/cep/aktivita	The sixth framework programme of the European Community for research, technological development and demonstration activities
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/7AMB12SK020/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/7AMB12SK020/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2014-06-30 (xsd:date)
http://linked.open...i/cep/druhSouteze	RP - Spolufinancování programu ES
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100623835
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	ontological engineering; description logics; semantic web; transformation patterns (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky a statistiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	4 (xsd:int)
http://linked.open...enychVysledkuVRIV	4 (xsd:int)
http://linked.open...lneniVMinulemRoce	2013-02-25 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/MSMT-2955%2F2012-36
http://linked.open...iciPoslednihoRoku	2013
http://linked.open...atUdajeProjZameru	2014
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2013-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2012-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	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. (en) 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 správnost čerpání přidělených financí a přiměřenost jejich využití. (cs)
http://linked.open...tniCyklusProjektu	ZKU
http://linked.open...n/vavai/cep/vyzva	http://linked.opendata.cz/resource/domain/vavai/cep/vyzva/FP6-2002-Mobility-12
http://linked.open.../cep/klicoveSlovo	ontological engineering semantic web description logics
is http://linked.open...vavai/riv/projekt of	Mapping Structural Design Patterns in OWL to Ontological Background Models Towards Searching for Transformation Patterns in Support of Language Profiling Reactive ontological engineering on the semantic web Towards Typed Higher-Order Description Logics
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/7AMB12SK020/2012/orjk%3A31140 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/7AMB12SK020/2013/orjk%3A31140 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/7AMB12SK020/2014/orjk%3A31140

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 109 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software