Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] inferred knowledge

Samson Tu swt at
Mon May 2 14:09:58 PDT 2011

Nikos needs to clarify what he meant by asserting "inferred facts" (done 
by his supervisor's JessTab button).

I referred him to the Protege mailing list because he said he is using 
DL classification. If he saves the DL inferred facts and map them to 
Jess, then Jess rules should use these 'inferred facts' like any other fact.

So is the problem saving DL inferred fact? Or is the problem mapping 
them to Jess? Without saying what the "assert all inferred fact" button 
does, we can't really help you.


On 4/27/11 8:25 AM, Timothy Redmond wrote:
> Your post was fine. I didn't get to this question right away because I
> don't know the answer yet. I know how to save inferred knowledge from an
> owl classification but I don't know a lot about the jess tab. I think
> though that there are resources at Stanford who can help me.
> -Timothy
> On 04/27/2011 03:07 AM, nikos erinis wrote:
>> hi guys,
>> i posted something last week about inferred and asserted knowledge and
>> if it is possible for someone to access it or convert it.
>> i got no answer and i am not sure if i sent the e-mail because i had
>> some difficulties an the beginning.
>> anyway, i am using protege 3.4.4 with jesstab and i want to make a
>> simple rule-based-system for my master-thesis.
>> i already did two simple rules but it doesn't seem to work.
>> the one rule should "spit out" all the instances of a class "human"
>> and say that for example bob is human.
>> the second rule should say that bob is a "man" as a subclass of "human".
>> my supervisor programmed a modified jesstab with two extra buttons.
>> the one button is to assert all inferred facts and the second button
>> to execute a file with all the rules inside.
>> everything works fine but only for one time, the first time. if i try
>> to assert again than it doesn't work anymore.
>> what can we do?
>> thanks for your time
>> _______________________________________________
>> protege-discussion mailing list
>> protege-discussion at
>> Instructions for unsubscribing:
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing:

More information about the protege-discussion mailing list