Validace sémantiky XML dokumentu
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F06%3A00079836" target="_blank" >RIV/67985807:_____/06:00079836 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Validace sémantiky XML dokumentu
Popis výsledku v původním jazyce
Na rozdíl od validace syntaxe XML dokumentů je validace sémantiky poměrně novou oblastí zájmu. V práci je představen nástroj pro validování sémantiky XML dokumentů na základě omezujících podmínek zapsaných pomocí logiky 1. řádu.
Název v anglickém jazyce
Semantic Validation of XML Documents
Popis výsledku anglicky
In contrast to syntax validation of XML documents semantics validation is a relatively new area of interest. In this publication we present a validator with constraints based on the first order logic.
Klasifikace
Druh
X - Nezařazeno
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/1M06014" target="_blank" >1M06014: Centrum biomedicínské informatiky (CBI)</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů