# XBUP - Dokumentace: Význam dat

### Úvod

Tento dokument je součástí dokumentace projektu eXtensible Binary Universal Protocol. Obsahuje popis deklarace významu dat reprezentovaných daným blokem.

O úroveň výše

### Obsah

1. Význam dat
1.1. Výroková a predikátová logika
1.2. Transparentní intenzionální logika
2. Reference

### 1. 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.

### 1.1. Výroková a predikátová logika

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

### 1.2. Transparentní intenzionální logika

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.

### 2. Reference

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

RDF - Resource Description Framework [http://www.w3.org/RDF/]
Ontologie - [http://en.wikipedia.org/wiki/Ontology_%28computer_science%29]
SPARQL - SPARQL Protocol and RDF Query Language [http://en.wikipedia.org/wiki/SPARQL]

Homepage: http://xbup.sf.net
License: GNU Free Documentation License (FDL)
Latest update: 2007-05-13