super(type, value, ctx, fullURI, displayURI);
String str = fullURI.getURI().getPath();
String newHost = str.substring(1,str.indexOf("/",1));
String newPath = str.substring(str.indexOf("/",1)+1);
URI uri = URIUtil.assumeCorrect(newHost, "", newPath);
this.value = new LazyList(25, new LineStreamFiller(ValueFactoryFactory.getValueFactory().sourceLocation(uri), ctx), type.getElementType());
}