@Override public OWLDataRange visit(OWLDatatype o) { return m_factory.getOWLDataComplementOf(o); } @Override
@Override public OWLDataRange visit(OWLDatatype node) { if (negated) { return df.getOWLDataComplementOf(node); } return node; }
@Override public OWLDataRange visit(OWLDatatype node) { if (negated) { return df.getOWLDataComplementOf(node); } return node; }
@Override public OWLDataComplementOf visit(OWLDataComplementOf node) { return df.getOWLDataComplementOf(t(node.getDataRange())); }
@Override public Object read(OWLInputStream in) throws IOException { OWLDataRange range = (OWLDataRange) in.read(); return in.getOWLDataFactory().getOWLDataComplementOf(range); }
@Override public OWLDataComplementOf visit(OWLDataComplementOf node) { return df.getOWLDataComplementOf(t(node.getDataRange())); }
@Override public OWLDataComplementOf visit(OWLDataComplementOf node) { return df.getOWLDataComplementOf(get(node.getDataRange())); }
private OWLDataRange parseDataComplementOf() throws ParserException { String not = consumeToken(); if (!not.equalsIgnoreCase(NOT)) { throw createException(NOT); } OWLDataRange complementedDataRange = parseDataRangePrimary(); return dataFactory.getOWLDataComplementOf(complementedDataRange); }
@Override public OWLDataRange visit(OWLDataOneOf node) { if (node.values().count() == 1) { if (negated) { return df.getOWLDataComplementOf(node); } return node; } return df.getOWLDataUnionOf(node.values().map(df::getOWLDataOneOf)).accept(this); }
@Override public OWLDataRange visit(OWLDataOneOf node) { if (node.values().count() == 1) { if (negated) { return df.getOWLDataComplementOf(node); } return node; } return df.getOWLDataUnionOf(node.values().map(df::getOWLDataOneOf)).accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom) { return factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getOWLDataComplementOf(axiom.getRange())); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) { return df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getOWLDataComplementOf(ax.getRange())); }
@Override public OWLDataRange visit(OWLDataComplementOf o) { OWLDataRange dataRangeSimplified=getSimplified(o.getDataRange()); if (dataRangeSimplified instanceof OWLDataComplementOf) return ((OWLDataComplementOf)dataRangeSimplified).getDataRange(); else return m_factory.getOWLDataComplementOf(dataRangeSimplified); } @Override
public OWLDataRange visit(OWLDataComplementOf o) { OWLDataRange dataRangeSimplified=getSimplified(o.getDataRange()); if (dataRangeSimplified instanceof OWLDataComplementOf) return ((OWLDataComplementOf)dataRangeSimplified).getDataRange(); else return m_factory.getOWLDataComplementOf(dataRangeSimplified); } public OWLDataRange visit(OWLDataOneOf o) {
public void visitNot(ATermAppl term) { visit( (ATermAppl) term.getArgument( 0 ) ); if( obj instanceof OWLClassExpression ) obj = factory.getOWLObjectComplementOf( (OWLClassExpression) obj ); else if( obj instanceof OWLDataRange ) obj = factory.getOWLDataComplementOf( (OWLDataRange) obj ); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom) { return factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getOWLDataComplementOf(axiom.getRange())); }
final public OWLDataRange DataComplementOf() throws ParseException {OWLDataRange rng; jj_consume_token(DATACOMPLEMENTOF); jj_consume_token(OPENPAR); rng = DataRange(); jj_consume_token(CLOSEPAR); return df.getOWLDataComplementOf(rng); }
@Test public void testDataComplementOf() { testConversion(_factory.getOWLDataComplementOf(_d1)); }
private OWLDataRange parseDataComplementOf(boolean lookaheadCheck) { String not = consumeToken(); if (!NOT.matches(not)) { throw new ExceptionBuilder().withKeyword(NOT).build(); } OWLDataRange complementedDataRange = parseDataRangePrimary(lookaheadCheck); return df.getOWLDataComplementOf(complementedDataRange); }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }