class DeviceId extends ElementId {

    private DeviceId(URI uri) {
        this.uri = uri;
        this.str = uri.toString().toLowerCase();
    }

    private  DeviceId(URI uri);
    protected  DeviceId();

}