getDeductionsModel() gets me the forward chained statements, so I just need the order the forward chaining occurs. So can i have all interests added to a user then fire the additional forward chaining rules. So the real question is if some forward chaining must occur before another set of forward chaining, how can I be assured the order?
On Tue, Nov 6, 2012 at 7:18 PM, Scott Streit <[email protected]> wrote: > *Dave, I have some subsequent questions. > > If you have forward rule:* > > (?g ie:mandatoryInterestsForGroupI > nclusion ?i), > noValue(?u ie:hasIndividualInterestOf ?i), > noValue(?u ie:memberOf ?g) > -> > * (?u ie:notEligibleFor ?g) > > This whole thing has to fire after the previous forward rule to add > interests to users. How can I be assured that it fires after the forward > chaining rules for adding interests to groups. * > > *When will it re-fire. Upon adding assertions to the model?* > > Then that will mark anyone who should not be a member of the group. > > So that backward rules (which are guaranteed to run after all forward > rules are stable) can test the results of that: > > (?u ie:memberOf ?g) > <- (?g ie:mandatoryInterestsForGroupInclusion ?i) > noValue(?u ie:notEligibleFor ?g) > * > Lastly do forward generated rules "appear" differently in the model. So > if I persist, how can I tell the difference between the assertions put in > the model and the forward generated assertions.* > > > > On Tue, Nov 6, 2012 at 1:39 PM, Scott Streit <[email protected]>wrote: > >> Why is the prefix not working? It will work without the prefix. >> >> [java] INFO: rules are @prefix ie: >> http://www.compscii.com/ontologies/0.1/AutoIE.owl# >> [java] [IndividualGetsGroupInterests: (?x >> http://www.compscii.com/ontologies/0.1/AutoIE.owl#memberOf ?y), (?y >> http://www.compscii.com/ontologies/0.1/AutoIE.owl#hasGroupInterestOf?z) -> >> (?x >> http://www.compscii.com/ontologies/0.1/AutoIE.owl#hasIndividualInterestOf?z)] >> [java] Nov 6, 2012 1:38:25 PM >> com.compscii.ontology.created.LoadUserPreferences main >> [java] SEVERE: error processing file resultabsolute name >> /home/scott/ontology/trunk/ontology/../result >> [java] com.hp.hpl.jena.reasoner.rulesys.Rule$ParserException: >> Expected '(' at start of clause, found ie: >> [java] At '@prefix ie: ' >> [java] at >> com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.parseNodeList(Rule.java:919) >> [java] at >> com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.parseClause(Rule.java:955) >> [java] at >> com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.doParseRule(Rule.java:998) >> [java] at >> com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.parseRule(Rule.java:971) >> [java] at >> com.hp.hpl.jena.reasoner.rulesys.Rule.parseRules(Rule.java:621) >> [java] at >> com.hp.hpl.jena.reasoner.rulesys.Rule.parseRules(Rule.java:633) >> [java] at >> com.compscii.ontology.created.LoadUserPreferences.doFile(LoadUserPreferences.java:87) >> >> >> >> >> On Tue, Nov 6, 2012 at 1:19 PM, Scott Streit <[email protected]>wrote: >> >>> Dave, >>> >>> Got it!!!! Thanks for the advice. >>> >>> Works! >>> >>> Scott >>> >>> >>> On Tue, Nov 6, 2012 at 11:55 AM, Dave Reynolds < >>> [email protected]> wrote: >>> >>>> On 06/11/12 11:45, Scott Streit wrote: >>>> >>>> I have the rules: The rules do not create the inferred statements. I >>>>> cannot figure out why. >>>>> >>>> >>>> String rules = "[**IndividualGetsGroupInterests: (?x >>>>> http://www.compscii.com/**ontologies/0.1/AutoIE.owl#**memberof<http://www.compscii.com/ontologies/0.1/AutoIE.owl#memberof>?y), >>>>> (?y >>>>> http://www.compscii.com/**ontologies/0.1/AutoIE.owl#** >>>>> hasGroupInterestOf<http://www.compscii.com/ontologies/0.1/AutoIE.owl#hasGroupInterestOf> >>>>> ?z) -> (?x http://www.compscii.com/**ontologies/0.1/AutoIE.owl#** >>>>> hasIndividualInterestOf<http://www.compscii.com/ontologies/0.1/AutoIE.owl#hasIndividualInterestOf> >>>>> ?z)]"; >>>>> >>>> >>>> A typo. That rule has #memberof whereas the data uses #memberOf. >>>> >>>> It would have been lot easier to spot this is you have offered a >>>> minimal, complete test case with just enough data to show the problem. The >>>> chances are tat in creating such a minimal test case you would have spotted >>>> the problem yourself :) >>>> >>>> By the way your data has spaces in some of the URIs, that isn't legal >>>> and is worth fixing now before it causes you problems later on. >>>> >>>> Dave >>>> >>>> >>> >>> >>> -- >>> "If you are lucky enough to have lived in Paris as a young man, then >>> wherever you go for the rest of your life, it stays with you, for Paris is >>> a moveable feast." - Ernest Hemingway >>> >>> www.scottstreit.com >>> >> >> >> >> -- >> "If you are lucky enough to have lived in Paris as a young man, then >> wherever you go for the rest of your life, it stays with you, for Paris is >> a moveable feast." - Ernest Hemingway >> >> www.scottstreit.com >> > > > > -- > "If you are lucky enough to have lived in Paris as a young man, then > wherever you go for the rest of your life, it stays with you, for Paris is > a moveable feast." - Ernest Hemingway > > www.scottstreit.com > -- "If you are lucky enough to have lived in Paris as a young man, then wherever you go for the rest of your life, it stays with you, for Paris is a moveable feast." - Ernest Hemingway www.scottstreit.com
