@Override public OWLDataRange parseDataRange() { return parseDataIntersectionOf(false); }
@Override public OWLDataRange parseDataRange() { return parseDataIntersectionOf(false); }
@Override public OWLDataRange parseDataRange() { return parseDataIntersectionOf(false); }
@Override public OWLDataRange parseDataRange() { return parseDataIntersectionOf(false); }
@Override public Set<OWLDataRange> parseDataRangeList() { String sep = COMMA.keyword(); Set<OWLDataRange> ranges = new HashSet<>(); while (COMMA.matches(sep)) { potentialKeywords.remove(COMMA); OWLDataRange rng = parseDataIntersectionOf(false); ranges.add(rng); potentialKeywords.add(COMMA); sep = peekToken(); if (COMMA.matches(sep)) { consumeToken(); } } return ranges; }
@Override public Set<OWLDataRange> parseDataRangeList() { String sep = COMMA.keyword(); Set<OWLDataRange> ranges = new HashSet<>(); while (COMMA.matches(sep)) { potentialKeywords.remove(COMMA); OWLDataRange rng = parseDataIntersectionOf(false); ranges.add(rng); potentialKeywords.add(COMMA); sep = peekToken(); if (COMMA.matches(sep)) { consumeToken(); } } return ranges; }
@Override public Set<OWLDataRange> parseDataRangeList() { String sep = COMMA.keyword(); Set<OWLDataRange> ranges = new HashSet<>(); while (COMMA.matches(sep)) { potentialKeywords.remove(COMMA); OWLDataRange rng = parseDataIntersectionOf(false); ranges.add(rng); potentialKeywords.add(COMMA); sep = peekToken(); if (COMMA.matches(sep)) { consumeToken(); } } return ranges; }
@Override public Set<OWLDataRange> parseDataRangeList() { String sep = COMMA.keyword(); Set<OWLDataRange> ranges = new HashSet<>(); while (COMMA.matches(sep)) { potentialKeywords.remove(COMMA); OWLDataRange rng = parseDataIntersectionOf(false); ranges.add(rng); potentialKeywords.add(COMMA); sep = peekToken(); if (COMMA.matches(sep)) { consumeToken(); } } return ranges; }
private SWRLAtom parseDataRangeAtom() { OWLDataRange range = parseDataIntersectionOf(false); consumeToken(OPEN.keyword()); SWRLVariable obj1 = parseDVariable(); consumeToken(CLOSE.keyword()); return df.getSWRLDataRangeAtom(range, obj1); }
private SWRLAtom parseDataRangeAtom() { OWLDataRange range = parseDataIntersectionOf(false); consumeToken(OPEN.keyword()); SWRLVariable obj1 = parseDVariable(); consumeToken(CLOSE.keyword()); return df.getSWRLDataRangeAtom(range, obj1); }
private SWRLAtom parseDataRangeAtom() { OWLDataRange range = parseDataIntersectionOf(false); consumeToken(OPEN.keyword()); SWRLVariable obj1 = parseDVariable(); consumeToken(CLOSE.keyword()); return df.getSWRLDataRangeAtom(range, obj1); }
private SWRLAtom parseDataRangeAtom() { OWLDataRange range = parseDataIntersectionOf(false); consumeToken(OPEN.keyword()); SWRLVariable obj1 = parseDVariable(); consumeToken(CLOSE.keyword()); return df.getSWRLDataRangeAtom(range, obj1); }
private OWLClassExpression parseDataRestriction() { OWLDataPropertyExpression prop = parseDataProperty(); String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataSomeValuesFrom(prop, rng); } else if (ONLY.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataAllValuesFrom(prop, rng); } else if (VALUE.matches(kw)) { OWLLiteral con = parseLiteral(null); return df.getOWLDataHasValue(prop, con); } else if (MIN.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMinCardinality(card, prop, rng); } else if (EXACTLY.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataExactCardinality(card, prop, rng); } else if (MAX.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMaxCardinality(card, prop, rng); } throw new ExceptionBuilder().withKeyword(SOME, ONLY, VALUE, MIN, EXACTLY, MAX).build(); }
private OWLClassExpression parseDataRestriction() { OWLDataPropertyExpression prop = parseDataProperty(); String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataSomeValuesFrom(prop, rng); } else if (ONLY.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataAllValuesFrom(prop, rng); } else if (VALUE.matches(kw)) { OWLLiteral con = parseLiteral(null); return df.getOWLDataHasValue(prop, con); } else if (MIN.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMinCardinality(card, prop, rng); } else if (EXACTLY.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataExactCardinality(card, prop, rng); } else if (MAX.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMaxCardinality(card, prop, rng); } throw new ExceptionBuilder().withKeyword(SOME, ONLY, VALUE, MIN, EXACTLY, MAX).build(); }
private OWLClassExpression parseDataRestriction() { OWLDataPropertyExpression prop = parseDataProperty(); String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataSomeValuesFrom(prop, rng); } else if (ONLY.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataAllValuesFrom(prop, rng); } else if (VALUE.matches(kw)) { OWLLiteral con = parseLiteral(null); return df.getOWLDataHasValue(prop, con); } else if (MIN.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMinCardinality(card, prop, rng); } else if (EXACTLY.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataExactCardinality(card, prop, rng); } else if (MAX.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMaxCardinality(card, prop, rng); } throw new ExceptionBuilder().withKeyword(SOME, ONLY, VALUE, MIN, EXACTLY, MAX).build(); }
private OWLClassExpression parseDataRestriction() { OWLDataPropertyExpression prop = parseDataProperty(); String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataSomeValuesFrom(prop, rng); } else if (ONLY.matches(kw)) { OWLDataRange rng = parseDataIntersectionOf(false); return df.getOWLDataAllValuesFrom(prop, rng); } else if (VALUE.matches(kw)) { OWLLiteral con = parseLiteral(null); return df.getOWLDataHasValue(prop, con); } else if (MIN.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMinCardinality(card, prop, rng); } else if (EXACTLY.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataExactCardinality(card, prop, rng); } else if (MAX.matches(kw)) { int card = parseInteger(); OWLDataRange rng = parseDataIntersectionOf(true); return df.getOWLDataMaxCardinality(card, prop, rng); } throw new ExceptionBuilder().withKeyword(SOME, ONLY, VALUE, MIN, EXACTLY, MAX).build(); }
String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataSomeValuesFrom(prop, dataRange)); } else if (ONLY.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataAllValuesFrom(prop, dataRange)); } else if (MIN.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMinCardinality(cardi, prop, dataRange)); } else if (MAX.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMaxCardinality(cardi, prop, dataRange)); } else if (EXACTLY.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataExactCardinality(cardi, prop, dataRange)); } else if (SUB_PROPERTY_OF.matches(kw)) { return df.getOWLDataPropertyDomainAxiom(prop, domain); } else if (RANGE.matches(kw)) { OWLDataRange range = parseDataIntersectionOf(true); return df.getOWLDataPropertyRangeAxiom(prop, range); } else {
String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataSomeValuesFrom(prop, dataRange)); } else if (ONLY.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataAllValuesFrom(prop, dataRange)); } else if (MIN.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMinCardinality(cardi, prop, dataRange)); } else if (MAX.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMaxCardinality(cardi, prop, dataRange)); } else if (EXACTLY.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataExactCardinality(cardi, prop, dataRange)); } else if (SUB_PROPERTY_OF.matches(kw)) { return df.getOWLDataPropertyDomainAxiom(prop, domain); } else if (RANGE.matches(kw)) { OWLDataRange range = parseDataIntersectionOf(true); return df.getOWLDataPropertyRangeAxiom(prop, range); } else {
String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataSomeValuesFrom(prop, dataRange)); } else if (ONLY.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataAllValuesFrom(prop, dataRange)); } else if (MIN.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMinCardinality(cardi, prop, dataRange)); } else if (MAX.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMaxCardinality(cardi, prop, dataRange)); } else if (EXACTLY.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataExactCardinality(cardi, prop, dataRange)); } else if (SUB_PROPERTY_OF.matches(kw)) { return df.getOWLDataPropertyDomainAxiom(prop, domain); } else if (RANGE.matches(kw)) { OWLDataRange range = parseDataIntersectionOf(true); return df.getOWLDataPropertyRangeAxiom(prop, range); } else {
String kw = consumeToken(); if (SOME.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataSomeValuesFrom(prop, dataRange)); } else if (ONLY.matches(kw)) { OWLDataRange dataRange = parseDataIntersectionOf(false); return parseClassAxiomRemainder(df.getOWLDataAllValuesFrom(prop, dataRange)); } else if (MIN.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMinCardinality(cardi, prop, dataRange)); } else if (MAX.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataMaxCardinality(cardi, prop, dataRange)); } else if (EXACTLY.matches(kw)) { int cardi = parseInteger(); OWLDataRange dataRange = parseDataIntersectionOf(true); return parseClassAxiomRemainder(df.getOWLDataExactCardinality(cardi, prop, dataRange)); } else if (SUB_PROPERTY_OF.matches(kw)) { return df.getOWLDataPropertyDomainAxiom(prop, domain); } else if (RANGE.matches(kw)) { OWLDataRange range = parseDataIntersectionOf(true); return df.getOWLDataPropertyRangeAxiom(prop, range); } else {