Abstrakt
V příspěvku logicky explikujeme pojmy koncept a ontologie. Vyložíme netradiční teorii pojmu z hlediska Transparentní intenzionální logiky.
Tato teorie je založena na procedurální sémantice algoritmicky strukturovaných významů. Dále uvedeme koncepci ontologie přirozeného jazyka, tedy 'o čem mluvíme' a pomocí jakých pojmů ('jak') uchopujeme jednotlivé entity.
Význam výrazů přirozeného jazyka explikujeme pomocí klíčového pojmu transparentní intenzionální logiky konstrukce a definujeme význam výrazu jako konstrukci, která je nejjemnější analýzou daného výrazu relativně ke konceptuálnímu systému uživatele. Pojem pak definujeme jako uzavřenou konstrukci v kanonickém tvaru.
Na závěr provedeme stručný rozbor existujících nástrojů používaných pro reprezentaci znalostí v sémantickém webu z pohledu logiky.