*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
