Systeem van notaties voor de representatie van entiteiten, o.a. gebruikt voor het opslaan van kennis.

Een formele structuur voor het opslaan en weergeven van kennis.