Examples with Implies org.w3._2007.rif.Implies used on opensource projects

Example 1 with Implies

use of org.w3._2007.rif.Implies in project hale by halestudio.

the class ModelRifToRifTranslator method buildSentence.

private Sentence buildSentence(ModelSentence s) {
    // sort variables within sentence
    final Sentence sentence = factory.createSentence();
    final Implies implies = factory.createImplies();
    sentence.setImplies(implies);
    final If if1 = factory.createIf();
    implies.setIf(if1);
    final Exists exists = factory.createExists();
    if1.setExists(exists);
    ThenPart then = factory.createThenPart();
    implies.setThen(then);
    Do do1 = factory.createDo();
    then.setDo(do1);
    processChildren(s, exists, do1);
    return sentence;
}