http://logd.tw.rpi.edu/sourcehttp://www.w3.org/2002/07/owl

used by 0: