public String shortForm(final String uri) { return shortForm(uri, true); }
public QNameProvider() { _uriToPrefix = new Hashtable<>(); _prefixToUri = new Hashtable<>(); // initialize it with standard stuff setMapping("owl", OWL); setMapping("rdf", RDF); setMapping("rdfs", RDFS); setMapping("xsd", XSD); setMapping("dc", DC); // setMapping("foaf", FOAF); }
public String longForm(final String qname) { final String[] str = qname.split(":"); return getURI(str[0]) + str[1]; }
public static int findNameStartIndex(final String str) { final char[] strChars = str.toCharArray(); int nameStartIndex = -1; boolean foundNameChar = false; for (int strIndex = strChars.length - 1; strIndex >= 0; strIndex--) { final char letter = strChars[strIndex]; if (isNameStartChar(letter)) { nameStartIndex = strIndex; foundNameChar = true; } else if (foundNameChar && !isNameChar(letter)) break; } return nameStartIndex; }
static public QNameProvider makeQNameProvider(final PrefixMapping mapping) { final QNameProvider qnames = new QNameProvider(); final Iterator<Map.Entry<String, String>> entries = mapping.getNsPrefixMap().entrySet().iterator(); while (entries.hasNext()) { final Map.Entry<String, String> entry = entries.next(); final String prefix = entry.getKey(); final String uri = entry.getValue(); qnames.setMapping(prefix, uri); } return qnames; } }
public String shortForm(final String uri, final boolean default_to_uri) final String[] bpn = splitURI(uri); String base, possible_prefix, prefix, name; String qname; possible_prefix = Character.toLowerCase(possible_prefix.charAt(0)) + possible_prefix.substring(1, possible_prefix.length()); prefix = getPrefix(base); if (prefix == null) while (!setMapping(prefix, base))
throw new OpenlletCmdException("Ontology is inconsistent, run \"openllet explain\" to get the reason"); final QNameProvider qnames = new QNameProvider(); final Set<String> unsatisfiableClasses = new TreeSet<>(Comparators.stringComparator); final ATermAppl c = i.next(); if (!kb.isSatisfiable(c)) unsatisfiableClasses.add(qnames.shortForm(c.getName()));
final String[] bpn = new String[3]; nameStart = findLastNameIndex(uriString); if (nameStart < 0) return null; prefixStart = findNameStartIndex(base); if (prefixStart < 0) prefix = "b"; // Pick a uniqe prefix later else prefixEnd = findNextNonNameIndex(base, prefixStart + 1); prefix = uriString.substring(prefixStart, prefixEnd);
public static int findNextNonNameIndex(final String str, final int startIndex) { final char[] strChars = str.toCharArray(); int nameIndex = startIndex; for (nameIndex = startIndex; nameIndex < strChars.length; nameIndex++) { final char letter = strChars[nameIndex]; if (!isNameChar(letter)) break; } return nameIndex; }
public static boolean isNameChar(final char ch) { return isNameStartChar(ch) || Character.isDigit(ch) || ch == '.' || ch == '-'; }
static public QNameProvider makeQNameProvider(final PrefixMapping mapping) { final QNameProvider qnames = new QNameProvider(); final Iterator<Map.Entry<String, String>> entries = mapping.getNsPrefixMap().entrySet().iterator(); while (entries.hasNext()) { final Map.Entry<String, String> entry = entries.next(); final String prefix = entry.getKey(); final String uri = entry.getValue(); qnames.setMapping(prefix, uri); } return qnames; } }
public String shortForm(final String uri, final boolean default_to_uri) final String[] bpn = splitURI(uri); String base, possible_prefix, prefix, name; String qname; possible_prefix = Character.toLowerCase(possible_prefix.charAt(0)) + possible_prefix.substring(1, possible_prefix.length()); prefix = getPrefix(base); if (prefix == null) while (!setMapping(prefix, base))
final String[] bpn = new String[3]; nameStart = findLastNameIndex(uriString); if (nameStart < 0) return null; prefixStart = findNameStartIndex(base); if (prefixStart < 0) prefix = "b"; // Pick a uniqe prefix later else prefixEnd = findNextNonNameIndex(base, prefixStart + 1); prefix = uriString.substring(prefixStart, prefixEnd);
public static int findNameStartIndex(final String str) { final char[] strChars = str.toCharArray(); int nameStartIndex = -1; boolean foundNameChar = false; for (int strIndex = strChars.length - 1; strIndex >= 0; strIndex--) { final char letter = strChars[strIndex]; if (isNameStartChar(letter)) { nameStartIndex = strIndex; foundNameChar = true; } else if (foundNameChar && !isNameChar(letter)) break; } return nameStartIndex; }
public static int findNextNonNameIndex(final String str, final int startIndex) { final char[] strChars = str.toCharArray(); int nameIndex = startIndex; for (nameIndex = startIndex; nameIndex < strChars.length; nameIndex++) { final char letter = strChars[nameIndex]; if (!isNameChar(letter)) break; } return nameIndex; }
public static boolean isNameChar(final char ch) { return isNameStartChar(ch) || Character.isDigit(ch) || ch == '.' || ch == '-'; }
public String shortForm(final String uri) { return shortForm(uri, true); }
static public QNameProvider makeQNameProvider(final PrefixMapping mapping) { final QNameProvider qnames = new QNameProvider(); final Iterator<Map.Entry<String, String>> entries = mapping.getNsPrefixMap().entrySet().iterator(); while (entries.hasNext()) { final Map.Entry<String, String> entry = entries.next(); final String prefix = entry.getKey(); final String uri = entry.getValue(); qnames.setMapping(prefix, uri); } return qnames; } }
public QNameProvider() { _uriToPrefix = new Hashtable<>(); _prefixToUri = new Hashtable<>(); // initialize it with standard stuff setMapping("owl", OWL); setMapping("rdf", RDF); setMapping("rdfs", RDFS); setMapping("xsd", XSD); setMapping("dc", DC); // setMapping("foaf", FOAF); }
public String longForm(final String qname) { final String[] str = qname.split(":"); return getURI(str[0]) + str[1]; }