diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java b/src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java index a60b664..1ed8ba6 100644 --- a/src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java +++ b/src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java | |||
| @@ -99,7 +99,12 @@ public class RLPlusOntology implements KnowledgeBase { | |||
| 99 | 99 | ||
| 100 | try { | 100 | try { |
| 101 | String path = OWLHelper.getOntologyPath(inputOntology); | 101 | String path = OWLHelper.getOntologyPath(inputOntology); |
| 102 | String name = path.substring(path.lastIndexOf(Utility.JAVA_FILE_SEPARATOR)); | 102 | String name; |
| 103 | if (path.contains(Utility.JAVA_FILE_SEPARATOR)) | ||
| 104 | name = path.substring(path.lastIndexOf(Utility.JAVA_FILE_SEPARATOR)); | ||
| 105 | else | ||
| 106 | name = path.substring(path.lastIndexOf(":")); | ||
| 107 | |||
| 103 | String originalExtension = name.lastIndexOf(".") >= 0 ? name.substring(name.lastIndexOf(".")) : ""; | 108 | String originalExtension = name.lastIndexOf(".") >= 0 ? name.substring(name.lastIndexOf(".")) : ""; |
| 104 | 109 | ||
| 105 | if (inputOntology.getOntologyID().getOntologyIRI() == null) | 110 | if (inputOntology.getOntologyID().getOntologyIRI() == null) |
