Предполагая, что мне предоставлен URI, и я хочу найти расширение файла возвращаемого файла, что мне нужно сделать в Java.
Например, файл http://www.daml.org/2001/08/baseball/baseball-ont является http://www.daml.org/2001/08/baseball/baseball-ont.owl
Когда я делаю
URI uri = new URI(address);
URL url = uri.toURL();
String file = url.getFile();
System.out.println(file);
Я не могу видеть полное имя файла с расширением .owl
, просто /2001/08/baseball/baseball-ont
, как получить расширение файла.
``