#formal specification #shared understanding #conceptual model #knowledge engineering #semantic agreement #controlled vocabulary