Search in sources :

Example 1 with Member

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

the class ModelRifToRifTranslator method createSourceInstanceMembershipFormula.

private Formula createSourceInstanceMembershipFormula(ModelSentence sentence, RifVariable instanceVariable) {
    Formula result = factory.createFormula();
    Member member = factory.createMember();
    Instance instance = factory.createInstance();
    Var var = factory.createVar();
    String name = sentence.getSourceClass().getName();
    var.getContent().add(name);
    Const const1 = factory.createConst();
    // $NON-NLS-1$
    const1.setType("rif:iri");
    const1.getContent().add(instanceVariable.getClassName());
    org.w3._2007.rif.Class clazz = factory.createClass();
    instance.setVar(var);
    clazz.setConst(const1);
    member.setInstance(instance);
    member.setClazz(clazz);
    result.setMember(member);
    return result;
}
Also used : Formula(org.w3._2007.rif.Formula) Instance(org.w3._2007.rif.Instance) ActionVar(org.w3._2007.rif.Do.ActionVar) Var(org.w3._2007.rif.Var) Const(org.w3._2007.rif.Const) Member(org.w3._2007.rif.Member)

Example 2 with Member

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

the class ModelRifToRifTranslator method createTargetInstanceMembershipFormula.

private Assert createTargetInstanceMembershipFormula(Actions actions, ModelSentence sentence, RifVariable instanceVariable) {
    Assert assert1 = factory.createAssert();
    Target target = factory.createAssertTarget();
    Member member = factory.createMember();
    Instance instance = factory.createInstance();
    Var var = factory.createVar();
    var.getContent().add(instanceVariable.getName());
    instance.setVar(var);
    member.setInstance(instance);
    org.w3._2007.rif.Class clazz = factory.createClass();
    Const const1 = factory.createConst();
    // $NON-NLS-1$
    const1.setType("rif:iri");
    const1.getContent().add(instanceVariable.getClassName());
    clazz.setConst(const1);
    member.setClazz(clazz);
    target.setMember(member);
    assert1.setTarget(target);
    return assert1;
}
Also used : Target(org.w3._2007.rif.Assert.Target) Assert(org.w3._2007.rif.Assert) Instance(org.w3._2007.rif.Instance) ActionVar(org.w3._2007.rif.Do.ActionVar) Var(org.w3._2007.rif.Var) Const(org.w3._2007.rif.Const) Member(org.w3._2007.rif.Member)

Aggregations

Const (org.w3._2007.rif.Const)2 ActionVar (org.w3._2007.rif.Do.ActionVar)2 Instance (org.w3._2007.rif.Instance)2 Member (org.w3._2007.rif.Member)2 Var (org.w3._2007.rif.Var)2 Assert (org.w3._2007.rif.Assert)1 Target (org.w3._2007.rif.Assert.Target)1 Formula (org.w3._2007.rif.Formula)1