Čo je ontológia?

Pojem ontológia pochádza z filozofie, kde je definovaná ako odvetvie metafyziky zaoberajúce sa identifikáciou druhov (kategórií) vecí (v ich najvšeobecnejšom ponímaní), ktoré skutočne existujú.

Ontológia predstavuje explicitnú a formálnu špecifikáciu zdieľaných konceptualizácií znalostnej domény. Explicitná je preto, pretože definuje vlastnosti, vzťahy, ale aj funkcie a obmedzenia, ktoré ich tvoria. Prívlastok formálna dostala preto, pretože je strojovo čitateľná a interpretovateľná. Ontológia je teda definícia množiny konceptov, taxonómie, vzájomných vzťahov a pravidiel nejakej domény. Stručne môžeme povedať, že ontológia je štruktúra na popis domény.

Metafyzika je veda o základných štruktúrach bytia.

Zatiaľčo formálna logika sa zaoberá formálnymi logickými štruktúrami (napr. správnosť, platnosť, konzistentnosť) nezávisle od ich pravdivosti, formálna ontológia sa zaoberá formálnymi ontologickými štruktúrami (napr. teória častí, teória celkov, typmi a jednotlivinami, identitou, vzťahmi, jednotou) t.j formálnymi aspektmi objektov nezávislými na ich špecifickosti.

Úlohou ontológie.. je študovať najvšeobecnejšie vlastnosti (features) reality.

Ontológia aplikovaná v počítačovej vede sa používa vo voľnejšom význame slova (ako vo filozofii); namiesto označenia systému najvšeobecnejších kategórií, sa tiež používa na označenie špecifických teórii o jednotlivých doménach ( napr. právo , medicína, archeológia, molekulárna biológia, atď) nazvaných doménové ontológiami (domain ontologies). Vo filozofickom zmysle je teda ontológia štúdium existencie a spôsobov existencie vo všeobecnosti, v počítačovej vede je doménová ontológia štúdium toho, čo existuje vrámci danej domény alebo oblasti diskurzu (universe of discourse)

V súčastnosti existuje veľa (programovacích) jazykov, ktoré sú používané na konceptutalizácie reálneho sveta. Tieto jazyky sú občas nazývané "domain modeling languages" (napr, LINGO), "ontology representantion languages" (napr. OWL), "sematic data modeling languages" (napr. ER)...... niektoré jazyky na konceptuálne modelovanie boli vytvorené pre iné účely, klasický príklad tohoto je jazyk UML, ktorý bol pôvodne určený na vývoj softvéru.