public void createRestrictions(Set<OWLDataProperty> properties, Set<OWLDatatype> fillers, Set<OWLClassExpression> result) { for (OWLDataProperty prop : properties) { for (OWLDatatype filler : fillers) { result.add(getDataFactory().getOWLDataSomeValuesFrom(prop, filler)); } } } });
@Override public OWLDataSomeValuesFrom buildObject() { return df.getOWLDataSomeValuesFrom(getProperty(), getDataRange()); } }
@Override public OWLDataSomeValuesFrom buildObject() { return df.getOWLDataSomeValuesFrom(getProperty(), getDataRange()); } }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) { return df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getOWLDataComplementOf(ax.getRange())); }
@Override public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()), axiom.getDomain()); }
@Override public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = factory .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype()); return and(sub, not(axiom.getDomain())); }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(dataVisitor); if (negated) { return df.getOWLDataAllValuesFrom(ce.getProperty(), filler); } return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLDataAllValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(dataVisitor); if (negated) { return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler); } return df.getOWLDataAllValuesFrom(ce.getProperty(), filler); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = dataFactory .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory .getTopDatatype()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
final public OWLClassExpression DataSomeValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null; OWLDataRange dataRange = null; jj_consume_token(DATASOMEVALUESFROM); jj_consume_token(OPENPAR); prop = DataPropertyExpression(); dataRange = DataRange(); jj_consume_token(CLOSEPAR); return df.getOWLDataSomeValuesFrom(prop, dataRange); }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(dataVisitor); if (negated) { return df.getOWLDataAllValuesFrom(ce.getProperty(), filler); } return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler); }
final public OWLClassExpression DataSomeValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null; OWLDataRange dataRange = null; jj_consume_token(DATASOMEVALUESFROM); jj_consume_token(OPENPAR); prop = DataPropertyExpression(); dataRange = DataRange(); jj_consume_token(CLOSEPAR); return df.getOWLDataSomeValuesFrom(prop, dataRange); }
@Override public Object visit(OWLDataSomeValuesFrom ce) { return visit(ce, () -> df.getOWLDataSomeValuesFrom(t(ce.getProperty()), t(ce.getFiller()))); }
@Override public OWLDataSomeValuesFrom visit(OWLDataSomeValuesFrom ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataSomeValuesFrom(ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce .getFiller())); } return super.visit(ce); }
public void visit(OWLDataMinCardinality min) { if (min.getCardinality() == 1 && min.isQualified()){ OWLDataSomeValuesFrom someValuesFrom = getOWLDataFactory().getOWLDataSomeValuesFrom(min.getProperty(), min.getFiller()); visit(someValuesFrom); } else{ super.visit(min); } } }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public OWLDataSomeValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataSomeValuesFrom(property, filler); } }
@Override public OWLDataSomeValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataSomeValuesFrom(property, filler); } }
@Override public OWLDataSomeValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataSomeValuesFrom(property, filler); } }