description logic, quantification, role

Článek je zaměřen na analýzu sémantiky univerzálně kvantifikovaných formulí v deskripční logice, vysvětluje jejich sémantický význam a konfrontuje jej s významem v přirozeném jazyce.

The contribution is aimed to analyze the semantic of universally quantified roles of formulas in description logic. It presents semantic definition meaning of this constructor, how is it presented from the view of the formal logic and where is the difference in human common sense of sentences, where this constructor is expected to be used. In next part of contribution there are examples of defined queries in syntax of SQL database language, as it can be used as the base layer for description language knowledge systems. Finally, results of unofficial disquisition are presented and the conclusion is made.