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] Inferencing Problem

Timothy Redmond tredmond at stanford.edu
Tue Oct 5 08:57:34 PDT 2010


On 10/03/2010 10:11 AM, Soha Said wrote:
> Thanks very much
> I check help in protege and i found i installed protege 4.1 build 203 
> not 209
> i download the right version and it worked correct.

It is true that there have been some changes to the user interface 
regarding the reasoners.  I usually work with the latest so this makes 
sense.

-Timothy


> Thanks very much
> --------------------------
> > what i should do? is there something wrong with protege 4.1 beta
> > source ? does i need to download the source again?
>
> I am doubting  that there is any problem with your copy of Protege.
> Build 209 is recommended (Help->About).
>
> You need to do the following steps:
>
>   1. Open  the attached ontology in Protege 4.1.
>   2. To see inferences  you need a reasoner.  In the Reasoner menu,
>       select the HermiT reasoner.  Then select classify.
>   3. You will also need to turn on the display of these  inferences in
>       the  reasoner  configuration.  Go to Reasoner->Configure, select
>       the displayed inferences, and make sure that the three items in
>       the "Displayed Individual Inferences" are selected.
>   4. Go to the Individuals tab, select the class A and then select the
>       individual i and you should see the desired inferences.
>
> -Timothy
>
>
>
> On 09/30/2010 11:48 AM, Soha Said wrote:
> > Hello,
> > What is the problem with my application?
> > why i didn't get the same results like your sample ontology capture
> > you sent.
> > I tried to use your owl file and open it in my protege
> > and i got wrong inference again.
> > what i should do? is there something wrong with protege 4.1 beta
> > source ? does i need to download the source again?
> > --------------------------------------------------------------
> > first question: yes, it captures, but mine doesn't
> > my ontology.
> > second question: i want to see like the attached image to see the
> > different
> > parameters in same individual after reasoning.
> >
> > and I adjust before configuration in reasoning to display datatype
> > assertions to
> > individuals.
> > ---------------------------------------------------------
> >
> > Two questions.? Does the attached ontology capture what you are trying
> > to say?? In what way are you not seeing the desired inference (see the
> > attached image)?
> >
> > -Timothy
> >
> >
> > On 09/21/2010 08:22 AM, Soha Said wrote:
> > >
> > > Hello,
> > >
> > > Now,
> > >
> > > Individual y with data property name="chris".
> > >
> > > And individual x with data property age=13.
> > >
> > > And Individual y is same as x.
> > >
> > > When I query on dl query tab get the following:
> > >
> > > Individuals that have name value "chris" and age value 13.
> > >
> > > I got result:
> > >
> > > Individual x,
> > >
> > > Individual y.
> > >
> > > That is good
> > >
> > > But what I need in my application, that is when x is same as y
> > >
> > > When I open each individual of them, to see all data properties, such
> > > that:
> > >
> > > Individual x:
> > >
> > > Name="chris"
> > >
> > > Age=13
> > >
> > > Individual y:
> > >
> > > Name="chris"
> > >
> > > Age=13
> > >
> > > But what happen that, when I open each individual I see:
> > >
> > > Individual x:
> > >
> > > Name="chris"
> > >
> > > Individual y:
> > >
> > > Age=13
> > >
> > > But when I query ontology, I got write results, as I have shown above.
> > >
> > > Finally, I want to see all properties in each individual separately
> > > and equal, so that I can delete one and keep the other. And this is a
> > > very important issue in my application.
> > >
> > > Also, I need a guide to help me in how to write a rule in prot?g? 4.1
> > > beta.
> > >
> > > I wish that I explain my problem clear now, if someone can help me.
> > >
> > > Thanks in advance,
> > >
> > > Soha Said
> > >
> > > -------------------------------------------------------
> > >
> > > I suspect that? the core issue is what you mean by
> > >
> > > > but what happen not that
> > > >
> > > > still each individual has his own data properties after inferencing
> > > >
> > > > and I adjust preferences of reasoner. I don't know why?
> > > >
> > >
> > > The attached ontology seems to be what? you are describing.? In that
> > > ontology a reasoner will infer that x has data property (age=13) and y
> > > has name Chris.? In particular in the latest Protege 4.1 if I
> > >
> > >? 1. classify the ontology
> > >? 2. configure the reasoner (Reasoner->Configure->Displayed Inferences)
> > >? ? ? to show "Data Property? Assertions"
> > >? 3. go to the Individuals tab and select person and then select x 
> or? y
> > >
> > >
> > > then I will see? the inferences that you are talking about.
> > >
> > > -Timothy
> > >
> > >
> > > On 09/19/2010 07:17 AM, Soha Said wrote:
> > > >
> > > > Thanks so much. you got so closed
> > > >
> > > > I do what you said.
> > > >
> > > > now individual? x has data property (name="Chris")
> > > >
> > > > and individual y has data property (age=13)
> > > >
> > > > after they are same the output must be
> > > >
> > > > individual x: name="Chris" and age="13"
> > > >
> > > > and individual y: name="Chris" and age="13"
> > > >
> > > > but what happen not that
> > > >
> > > > still each individual has his own data properties after inferencing
> > > >
> > > > and I adjust preferences of reasoner. I don't know why?
> > > >
> > > > --------------------------------------------------------
> > > >
> > > > From: Timothy Redmond <tredmond at stanford.edu 
> <mailto:tredmond at stanford.edu>
> > <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu>>
> > > <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu> 
> <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu>>>
> > > > <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu> 
> <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu>>
> > <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu> 
> <mailto:tredmond at stanford.edu <mailto:tredmond at stanford.edu>>>>>
> > > >
> > > > Maybe? you are asking whether two individuals that are the same as
> > each
> > > > other should have the same inferred object and data property values?
> > > > The answer is yes.? What's more - this I wasn't clear on - this is
> > > > displayed naturally in the latest Protege.? (I knew? from previous
> > > > discussions that data property values can be difficult for a 
> reasoner
> > > > to compute but I didn't entirely understand why this was so.)
> > > >
> > > > I created the attached ontology.? In the latest Protege 4.1, I
> > selected
> > > > my reasoner (I tried both pellet and HermiT).? I changed the 
> reasoner
> > > > preferences (Reasoner->Configure->Displayed Inferences) to display
> > both
> > > > object property assertions and data property assertions.? Then 
> in the
> > > > individuals tab I selected? the class A and the individual? j.? It
> > then
> > > > showed both the inferred data property and inferred object
> > property that
> > > > was retrieved from? the same individual i.
> > > >
> > > > -Timothy
> > > >
> > > >
> > > > On 09/17/2010 10:25 AM, Timothy Redmond wrote:
> > > > > On 09/17/2010 10:05 AM, Soha Said wrote:
> > > > >> Hello,
> > > > >> I put some rule says that: if person x ,student y , y is 
> copluar to
> > > > >> (some relation in my ontology) x, y is nsubj to (some relation
> > in my
> > > > >> ontology) x then x same as y.
> > > > >> this rule when applied data properties and object properties
> > must be
> > > > >> equaled? of x and y.but what happened object properties are 
> equaled
> > > > >> but data properties are not equaled. why?
> > > > >
> > > > > Again I have trouble understanding your question.? The rule you
> > > > > describe? is as follows:
> > > > >
> > > > >? ? Person(x)
> > > > >? ? Student(y)
> > > > >? ? y copluar x
> > > > >? ? x nsubj y
> > > > >? ? ---------------
> > > > >? ? x = y
> > > > >
> > > > >
> > > > >
> > > > > I am not sure if there are any SWRL constraints? about the
> > conclusion
> > > > > (x=y) but I will ignore that for the moment.? There are not data
> > > > > properties in this rule.? In this rule, x and y must be
> > individuals so
> > > > > the properties, copluar and nsubj,? must be object properties.? I
> > > > > would have guessed that the x and y are the only variables in this
> > > > > rule so this rule only applies to people and students.? It 
> cannot be
> > > > > applied to data properties.
> > > > >
> > > > > -Timothy
> > > > >
> > > > >
> > > > >> Thanks in advance,
> > > > >> Soha Said
> > > > >>
> > > >
> >
> >
> >
> >
>
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>    

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20101005/176f6a1e/attachment.html>


More information about the protege-discussion mailing list