public ManchesterSyntaxKeywords() { for(ManchesterOWLSyntax syntax : ManchesterOWLSyntax.values()) { keywordMap.put(syntax.keyword(), syntax); if(syntax.isFrameKeyword()) { keywordStyleMap.put(syntax, FRAME_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), FRAME_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword() + ":", FRAME_KEYWORD_STYLE); keywordMap.put(syntax.keyword() + ":", syntax); } else if(syntax.isSectionKeyword()) { keywordStyleMap.put(syntax, SECTION_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), SECTION_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword() + ":", SECTION_KEYWORD_STYLE); keywordMap.put(syntax.keyword() + ":", syntax); } else if(syntax.isClassExpressionQuantiferKeyword()) { keywordStyleMap.put(syntax, QUANTIFIER_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), QUANTIFIER_KEYWORD_STYLE); } else if(syntax.isClassExpressionConnectiveKeyword()) { keywordStyleMap.put(syntax, CONNECTIVE_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), CONNECTIVE_KEYWORD_STYLE); } else if(syntax.isAxiomKeyword()) { keywordStyleMap.put(syntax, AXIOM_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), AXIOM_KEYWORD_STYLE); } } }
public Style getKeywordStyle(ManchesterOWLSyntax keyword) { if (keyword.isAxiomKeyword()) { return AXIOM_KEYWORD_STYLE; } if (keyword.isFrameKeyword()) { return FRAME_KEYWORD_STYLE; } if (keyword.isClassExpressionQuantiferKeyword()) { return CLASS_EXPRESSION_QUANTIFIER_STYLE; } if (keyword.isClassExpressionConnectiveKeyword()) { return CLASS_EXPRESSION_CONNECTIVE_STYLE; } return BLANK_STYLE; }
private static boolean isManchesterSyntaxKeyword(String currentToken) { String strippedToken; if(currentToken.endsWith(":")) { strippedToken = currentToken.substring(0, currentToken.length() - 1); } else { strippedToken = currentToken; } for(ManchesterOWLSyntax syntax : ManchesterOWLSyntax.values()) { if(strippedToken.equals(syntax.keyword())) { return true; } } return false; }
public KeywordColourMap() { Color restrictionColor = new Color(178, 0, 178); Color logicalOpColor = new Color(0, 178, 178); Color axiomColor = new Color(10, 94, 168); Color typeColor = new Color(178, 178, 178); for (ManchesterOWLSyntax keyword : ManchesterOWLSyntax.values()){ if (keyword.isAxiomKeyword()){ put(keyword.toString(), axiomColor); put(keyword.toString() + ":", axiomColor); } else if (keyword.isClassExpressionConnectiveKeyword()){ put(keyword.toString(), logicalOpColor); } else if (keyword.isClassExpressionQuantiferKeyword()){ put(keyword.toString(), restrictionColor); } else if (keyword.isSectionKeyword()){ put(keyword.toString(), typeColor); put(keyword.toString() + ":", typeColor); } } put("o", axiomColor); // put("\u279E", axiomColor); // put("\u2192", axiomColor); // put("\u2227", axiomColor); } }
private SWRLSameIndividualAtom parseSameAsAtom() { consumeToken(ManchesterOWLSyntax.SAME_AS.toString()); consumeToken(OPEN.keyword()); SWRLIArgument obj1 = parseIObject(); consumeToken(COMMA.keyword()); SWRLIArgument obj2 = parseIObject(); consumeToken(CLOSE.keyword()); return df.getSWRLSameIndividualAtom(obj1, obj2); }
private SWRLAtom parseRuleAtom() { String predicate = peekToken(); if (isClassName(predicate)) { return parseClassAtom(); } else if (OPEN.matches(predicate)) { return parseClassAtom(); } else if (isObjectPropertyName(predicate)) { return parseObjectPropertyAtom(); } else if (isDataPropertyName(predicate)) { return parseDataPropertyAtom(); } else if (isDatatypeName(predicate)) { return parseDataRangeAtom(); } else if (DIFFERENT_FROM.matchesEitherForm(predicate)) { return parseDifferentFromAtom(); } else if (SAME_AS.matchesEitherForm(predicate)) { return parseSameAsAtom(); } else if (isSWRLBuiltin(predicate) || predicate.startsWith("<")) { return parseBuiltInAtom(); } else { consumeToken(); Set<String> kw = new TreeSet<>(); kw.addAll(ruleBuiltIns.keySet()); kw.add(DIFFERENT_FROM.toString()); kw.add(SAME_AS.toString()); throw new ExceptionBuilder().withKeyword(kw).withClass().withObject().withData() .build(); } }
OWLDatatype datatype = getOWLDatatype(tok); String next = peekToken(); if (OPENBRACKET.matches(next)) { String sep = COMMA.keyword(); Set<OWLFacetRestriction> facetRestrictions = new HashSet<>(); while (COMMA.matches(sep)) { OWLFacet fv = parseFacet(); if (fv == null) { if (!CLOSEBRACKET.matches(sep)) { throw new ExceptionBuilder().withKeyword(CLOSEBRACKET).build(); } else if (NOT.matches(tok)) { return parseDataComplementOf(false); } else if (OPENBRACE.matches(tok)) { return parseDataOneOf(); } else if (OPEN.matches(tok)) { consumeToken(); OWLDataRange rng = parseDataIntersectionOf(false); consumeToken(CLOSE.keyword()); return rng; } else { for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getTopDatatype();
private void renderKeyword(ManchesterOWLSyntax keyword) { String styleName = ""; if (keyword.isAxiomKeyword()) { styleName = "ms-axiom-kw"; } else if (keyword.isClassExpressionConnectiveKeyword()) { styleName = "ms-connective-kw"; } else if (keyword.isClassExpressionQuantiferKeyword()) { styleName = "ms-quantifier-kw"; } else if (keyword.isSectionKeyword()) { styleName = "ms-section-kw"; } stringBuilder.append("<span class=\"").append(styleName).append("\"").append(">"); stringBuilder.append(keyword); stringBuilder.append("</span>"); }
/** * @return keyword */ public String keyword() { return legacy.keyword(); }
/** * @param s s * @return true if matches keyword */ public boolean matches(String s) { return legacy.matches(s); }
@Override public Set<OWLAnnotationProperty> parseAnnotationPropertyList() { Set<OWLAnnotationProperty> props = new HashSet<>(); String sep = COMMA.keyword(); while (COMMA.matches(sep)) { props.add(parseAnnotationProperty()); sep = peekToken(); if (COMMA.matches(sep)) { consumeToken(); } } return props; }
/** * @param s s * @return true if either form matches */ public boolean matchesEitherForm(String s) { return legacy.matchesEitherForm(s); }
/** * @return section keyword */ public boolean isSectionKeyword() { return legacy.isSectionKeyword(); }
/** * @return frame keyword */ public boolean isFrameKeyword() { return legacy.isFrameKeyword(); }
/** * @return class conective */ public boolean isClassExpressionConnectiveKeyword() { return legacy.isClassExpressionConnectiveKeyword(); }
/** * @return class quantifier */ public boolean isClassExpressionQuantiferKeyword() { return legacy.isClassExpressionQuantiferKeyword(); }
/** * @return axiom keyword */ public boolean isAxiomKeyword() { return legacy.isAxiomKeyword(); }
public KeywordColourMap() { Color restrictionColor = new Color(178, 0, 178); Color logicalOpColor = new Color(0, 178, 178); Color axiomColor = new Color(10, 94, 168); Color typeColor = new Color(178, 178, 178); for (ManchesterOWLSyntax keyword : ManchesterOWLSyntax.values()){ if (keyword.isAxiomKeyword()){ put(keyword.toString(), axiomColor); put(keyword.toString() + ":", axiomColor); } else if (keyword.isClassExpressionConnectiveKeyword()){ put(keyword.toString(), logicalOpColor); } else if (keyword.isClassExpressionQuantiferKeyword()){ put(keyword.toString(), restrictionColor); } else if (keyword.isSectionKeyword()){ put(keyword.toString(), typeColor); put(keyword.toString() + ":", typeColor); } } put("o", axiomColor); // put("\u279E", axiomColor); // put("\u2192", axiomColor); // put("\u2227", axiomColor); } }