Filozofický obor, který zkoumá bytí a existenci jako takové, snaží se popsat nejzákladnější typy jsoucen a jejich obecné principy a vyjasnit, co znamená, že něco je. Bývá chápán jako součást metafyziky a navazuje na klasické otázky o podstatě reality.
V informatice a umělé inteligenci formální a sdílitelný popis pojmů v určité doméně a vazeb mezi nimi, používaný pro reprezentaci znalostí a propojování dat, například při práci se sémantickými technologiemi.