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.
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. (cs)
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. (en)