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;
}
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;
}