XBUP - Dokumentace: Význam dat

Další úrovní specifikace dokumentu je deklarace významu dat. Za tímto účelem bude použita různá aplikace logik a deklarativních vyjádření. Význam je v těsném kontaktu s transformacemi, neboť na základě deklarovaného významu je často možné transformaci zkonstruovat.

Jako základ bude použita klasická výroková a predikátová logika. (i vyšších řádů?)

Transparentní intenzionální logika je rozšířená varianta logiky, která operuje nad pětirozměrným vektorovým prostorem, nad třemi rozměry klasického prostoru, časem, logickou hodnotou a paralelními dimenzemi. Tato logika umožňuje vyjádřit i tvrzení typu: Kdybych měl auto, tak bych k vám zítra přijel.

Seznam zdrojů, literatury a relevantních odkazů.