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)

AttributesValues
rdf:type
Description
  • 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. (cs)
  • 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)
Title
  • Logické aspekty adaptabilních ontologických schémat (cs)
  • Logical Aspects of Adaptable Ontological Schemas (en)
http://linked.open...vai/cislo-smlouvy
http://linked.open...avai/druh-souteze
http://linked.open...domain/vavai/faze
http://linked.open...vavai/hlavni-obor
http://linked.open...vavai/id-aktivity
http://linked.open.../vavai/id-souteze
http://linked.open...n/vavai/kategorie
http://linked.open...vai/klicova-slova
  • ontological engineering; description logics; semantic web; transformation patterns (en)
http://linked.open...avai/konec-reseni
http://linked.open...nujicich-prijemcu
http://linked.open...avai/poskytovatel
http://linked.open...avai/start-reseni
http://linked.open...ai/statni-podpora
http://linked.open...vavai/typProjektu
http://linked.open...ai/uznane-naklady
http://linked.open...ai/pocet-prijemcu
http://linked.open...cet-spoluprijemcu
http://linked.open...ai/pocet-vysledku
http://linked.open...ku-zverejnovanych
is http://linked.open...ain/vavai/projekt of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software