Providing information through a formal notation allows machines to calculate new facts (e.g. relations between pages) from the facts represented in the knowledge model.
U svakom slučaju, pružanje informacije kroz formalni zapis omogućava strojevima izračunavanje novih činjenica (npr. odnosa između stranica) iz činjenice prikauanih u modelu znanja.