»DL by LIU
»Description Logic Programs
»DAML+OIL