Semantic Validation of XML Documents
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Validace sémantiky XML dokumentu
Original language description
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.
Czech name
Validace sémantiky XML dokumentu
Czech description
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.
Classification
Type
X - Unclassified
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M06014" target="_blank" >1M06014: Centre of Biomedical Informatics</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů