Sebuah spesifikasi formal eksplisit dari representasi objek, konsep, dan entitas lain yang bisa eksis di beberapa daerah kepentingan dan hubungan antara mereka. Lihat Bahasa Ontologi juga Web.