Knowledge representation language
A language specification that enables knowledge to be processed by machines.