. . . . . "http://www.isvav.cz/projectDetail.do?rowId=7AMB12SK020"^^ . "Projekt je realizov\u00E1n v r\u00E1mci Aktivity MOBILITY, jej\u00EDm\u017E hlavn\u00EDm c\u00EDlem je nav\u00E1z\u00E1n\u00ED a prohlubov\u00E1n\u00ED kontakt\u016F se zahrani\u010Dn\u00EDmi v\u00FDzkumn\u00FDmi institucemi. Neprob\u00EDh\u00E1 tedy kontrola d\u00EDl\u010D\u00EDch v\u00FDstup\u016F projektu prost\u0159ednictv\u00EDm hodnot\u00EDc\u00ED komise, av\u0161ak je kontrolov\u00E1na spr\u00E1vnost \u010Derp\u00E1n\u00ED p\u0159id\u011Blen\u00FDch financ\u00ED a p\u0159im\u011B\u0159enost jejich vyu\u017Eit\u00ED."@cs . "7AMB12SK020" . "Logical Aspects of Adaptable Ontological Schemas"@en . . . "ontological engineering; description logics; semantic web; transformation patterns"@en . . "0"^^ . "Logick\u00E9 aspekty adaptabiln\u00EDch ontologick\u00FDch sch\u00E9mat" . . "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 . . "0"^^ . "4"^^ . "4"^^ . "1"^^ . "2013-02-25+01:00"^^ . . "2012-01-01+01:00"^^ . "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\u00E1vrh projektu sm\u011B\u0159uje k integraci komplement\u00E1rn\u00EDch sm\u011Br\u016F v\u00FDzkumu ontologick\u00E9ho in\u017Een\u00FDrstv\u00ED na obou pracovi\u0161t\u00EDch, kter\u00E1 povede k nov\u00FDm teoretick\u00FDm poznatk\u016Fm a experiment\u00E1ln\u00EDm v\u00FDsledk\u016Fm. Hlavn\u00EDm c\u00EDlem je zdokonalit p\u0159\u00EDstup k transformaci ontologi\u00ED, vyvinut\u00FD na V\u0160E v Praze, pomoc\u00ED hlub\u0161\u00ED form\u00E1ln\u00ED anal\u00FDzy d\u016Fsledk\u016F transformace z pohledu deskrip\u010Dn\u00ED logiky. V\u00FDsledky projektu bude 1) form\u00E1ln\u00ED r\u00E1mec umo\u017E\u0148uj\u00EDc\u00ED charakterizovat r\u016Fzn\u00E9 transforma\u010Dn\u00ED vzory vzhledem k zachov\u00E1v\u00E1n\u00ED logick\u00FDch vlastnost\u00ED zdrojov\u00E9 ontologie, a 2) formalismus pro skl\u00E1d\u00E1n\u00ED komplexn\u00EDch transforma\u010Dn\u00EDch vzor\u016F z jednodu\u0161\u0161\u00EDch. Vedle toho bude ov\u011B\u0159ena mo\u017Enost ch\u00E1pat n\u00E1vrhov\u00E9 vzory pou\u017Eit\u00E9 v ontologi\u00EDch jako kontextov\u00E9 parametry, a prozkoum\u00E1na kontextov\u00E1 logika pracuj\u00EDc\u00ED s takov\u00FDmi parametry. Dvoulet\u00FD projekt bude rovn\u011B\u017E p\u0159ipravovat podm\u00EDnky pro dlouhodobou spolupr\u00E1ci mezi ob\u011Bma pracovi\u0161ti." . "ontological engineering" . . . . "2013-12-31+01:00"^^ . . . " semantic web" . " description logics" . . "2014-06-30+02:00"^^ .