1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
package uk.ac.ox.cs.pagoda;
import java.util.Map;
import uk.ac.ox.cs.pagoda.owl.OWLHelper;
import uk.ac.ox.cs.pagoda.util.Namespace;
import uk.ac.ox.cs.pagoda.util.Utility;
public class MyPrefixes {
public final static MyPrefixes PAGOdAPrefixes = new MyPrefixes();
private org.semanticweb.HermiT.Prefixes hermit = new org.semanticweb.HermiT.Prefixes();
private uk.ac.ox.cs.JRDFox.Prefixes rdfox = new uk.ac.ox.cs.JRDFox.Prefixes();
public MyPrefixes() {
hermit.declareSemanticWebPrefixes();
hermit.declarePrefix("anony:", Namespace.PAGODA_ANONY);
hermit.declarePrefix("aux:", Namespace.PAGODA_AUX);
rdfox.declareSemanticWebPrefixes();
rdfox.declarePrefix("anony:", Namespace.PAGODA_ANONY);
rdfox.declarePrefix("aux:", Namespace.PAGODA_AUX);
}
public org.semanticweb.HermiT.Prefixes getHermiTPrefixes() {
return hermit;
}
public uk.ac.ox.cs.JRDFox.Prefixes getRDFoxPrefixes() {
return rdfox;
}
public void declarePrefix(String prefixName, String prefixIRI) {
Utility.logDebug("Prefix declared: " + prefixName + "=" + prefixIRI);
hermit.declarePrefix(prefixName, prefixIRI);
rdfox.declarePrefix(prefixName, prefixIRI);
}
public static boolean isColon4Prefixes(String text, int index) {
if (index >= text.length() - 1) return false;
if (index > 0 && text.charAt(index - 1) == '_') return false; // _: blank node
char nextCharacter = text.charAt(index + 1);
if (nextCharacter == '-') return false; // :-
if (nextCharacter == '/') return false; // :/
return true;
}
public String expandText(String text) {
for (int index = 0; ;) {
index = text.indexOf(':', index);
if (!isColon4Prefixes(text, index)) {
++index;
continue;
}
if (index == -1) return text;
int start = index - 1, ends = index + 1;
char ch;
while (start >= 0 && (ch = text.charAt(start)) != ',' && ch != '(' && ch != ' ') --start;
while (ends < text.length() && (ch = text.charAt(ends)) != '(' && ch != ',' && ch != ')') ++ends;
String sub = text.substring(start + 1, ends);
String newSub = OWLHelper.addAngles(hermit.expandAbbreviatedIRI(sub));
text = text.replaceAll(sub, newSub);
index = ends + newSub.length() - sub.length();
}
}
public void declareNewPrefix(String iri) {
if (!iri.startsWith("<")) return ;
int index = splitPoint(iri);
if (index >= 0) {
String prefixIRI = iri.substring(1, index + 1), prefixName;
if ((prefixName = getPrefixName(prefixIRI)) == null) {
prefixName = getNewPrefixName();
declarePrefix(prefixName, prefixIRI);
}
}
}
/**
* detect the split point of prefix and name for an <url>
*
* @param uri
* @param index
* @return
*/
private int splitPoint(String uri) {
int index = uri.lastIndexOf("#");
if (index != -1) return index;
index = uri.lastIndexOf("/");
if (index > 0 && uri.charAt(index - 1) != '/')
return index;
return -1;
}
private int prefixNumber = 0;
public String getNewPrefixName() {
return "prefix" + (prefixNumber ++) + ":";
}
public String abbreviateIRI(String iri) {
declareNewPrefix(iri);
if (iri.startsWith("<"))
return hermit.abbreviateIRI(OWLHelper.removeAngles(iri));
else if (iri.contains("^^")) {
int index = iri.indexOf("^^");
if (iri.charAt(index + 2) == '<')
return iri.substring(0, index + 2) + abbreviateIRI(iri.substring(index + 2, iri.lastIndexOf('>') + 1));
}
return iri;
}
/**
* expanded iri without <>
*
* @param iri
* @return
*/
public String expandIRI(String iri) {
if (hermit.canBeExpanded(iri))
return hermit.expandAbbreviatedIRI(iri);
else if (iri.startsWith("<"))
return iri.substring(1, iri.length() - 1);
else
return iri;
}
/**
* expanded iri with <>
*
* @param iri
* @return
*/
public String getQuotedIRI(String iri) {
if (iri.startsWith("<")) return iri;
if (hermit.canBeExpanded(iri))
return OWLHelper.addAngles(hermit.expandAbbreviatedIRI(iri));
return iri;
}
public String getPrefixName(String prefixIRI) {
return hermit.getPrefixName(prefixIRI);
}
public Map<String, String> getPrefixIRIsByPrefixName() {
return hermit.getPrefixIRIsByPrefixName();
}
public String prefixesText() {
StringBuffer buf = new StringBuffer();
for (Map.Entry<String, String> entry: getPrefixIRIsByPrefixName().entrySet())
buf.append("PREFIX ").append(entry.getKey()).append(" <").append(entry.getValue()).append(">").append(Utility.LINE_SEPARATOR);
return buf.toString();
}
}
|
