The NVL knowledge representation language | IEEE Conference Publication | IEEE Xplore