Un ejemplo de este tipo de representación de conocimiento seria CYRUS.