Vyjádření ontologie

V tomto úvodu budeme používat význam ontologie jako "explicitní specifikace konceptualizace". Ontologie v tomto smyslu omezuje zamýšlené používání termínů v ontologii (jak je znázorněno na obrázku na předchozí stránce) tak, aby ontologie tvořila slovník a axiomy, které lze použít k vyjádření znalostní báze a ke sdílení znalostí mezi různými systémy.

Dále požadujeme, aby specifikace byla formální (podobně jako je program formálně zapsán v programovacím jazyce), aby ontologii mohl zpracovávat počítač. Některé formální jazyky, které lze použít k vyjádření ontologií, jsou popsány v následující kapitole.

Pokud není řečeno jinak, budeme ve zbytku tohoto úvodu používat pojem ontologie ve smyslu "formální explicitní specifikace konceptualizace".