virtuoso knowledge inference(reasoning) - bettermorn/KGCourse GitHub Wiki