[rule1: (?a urn:x-dig:eg/P ?b) (?b urn:x-dig:eg/P ?c) -> (?a urn:x-dig:eg/P ?c)]if we run the program we will infer a new triple "eg:A eg:p eg:D" from the above rule.
Statement is [urn:x-hp:eg/A, urn:x-hp:eg/p, urn:x-hp:eg/D] Rule rule1 concluded (eg:A eg:p eg:D) <- Fact (eg:A eg:p eg:B) Rule rule1 concluded (eg:B eg:p eg:D) <- Fact (eg:B eg:p eg:C) Fact (eg:C eg:p eg:D)
Examle 2 gives a fact file and a rule file to test the reasoningn engine. The fact file basically says there're three students each has earned some credits or score, and the rule file says that if someone has more than 60 credits in total then she is a deligent student. And another rule use the previously inferred fact that someone is a deligent student and if she has an average GPA greater than 3.8, then she is a scholarship candidate.
Give your own fact file and rule file.And ask Jena reasoner to run and give result
Get derivations for the derived statement from your own fact file and rule file.