This content has been marked as final. Show 2 replies
What do you mean by "does not work"?
The syntax looks good to me, if this is not generating triples:
1. Make sure you add 'USER_RULES=T' to the CREATE_ENTAILMENT e.g.:
EXECUTE sem_apis.create_entailment('<ENT_ NAME>', sem_models('<model_name>'), sem_rulebases('OWLPRIME','USER_RULEBASE'), SEM_APIS.REACH_CLOSURE, null, 'USER_RULES=T');
2. Make sure you have triples like
<something> <rdf:type> <u:home>
The conditions in the antecedents part of the rule base are joined by an AND operation:
meaning both conditions need to be true:
(?stop <u:at> ?home) AND (?home <rdf:type> <u:home>)
I am not saying that is the syntax, I am saying both have to be true to generate the triple:
<something> <u:has_purpose> "gohome"
thank you, As you said,the reason is the database doesn't contain the triple of <?home> <rdf:type> <u:home>