From: Oancea D. <do...@gm...> - 2010-02-26 11:01:19
|
Hello Igor, I run your example and I tried to understand the logic on behind. Now, I don't want to get me wrong Igor, I appreciate allot your help, but you solved my problem in another way. Unfortunately I must stick, more or less to the first taxonomy. For example, I can not create the concepts:Salad_300g or Salad_100g. Them must remain like entities in my ontology. I just wondering, if it's possible without changing to much. the ontology taxonomy. Thanks. -Daniel On Thu, Feb 25, 2010 at 7:37 PM, Igor Toujilov <i.t...@uc...> wrote: > Hi Daniel, > > When there is no assertion that John is hungry, executing the DL query > > > > eat some (Salad_300g or Salad_100g) > > > > (Who does eat a 100g or 300g salad portion?), returns individual John. > > But the query > > > > eat some Salad_300g > > > > (Who does eat a 300g salad portion?), returns nobody because it is unknown > whether John will prefer a 100g portion or a 300g portion in such > conditions. > > > > When we assert that John is hungry, executing both DL queries will return > John. > > > > Cheers, > > Igor > ------------------------------ > > *From:* Oancea Daniel [mailto:do...@gm...] > *Sent:* 25 February 2010 18:53 > > *To:* owl...@li... > *Subject:* Re: [OWLAPI-developer] refine the new facts > > > > Here is the ontology. > > On Thu, Feb 25, 2010 at 6:51 PM, Oancea Daniel <do...@gm...> wrote: > > Hello Igor, > > I made what you suggested on my ontology. The reasoner (Pellet) does not > return any individual along side "eat" property. > I attached the modified ontology to this reply. What I'm doing wrong? > > Thank you. > > -Daniel > > On Thu, Feb 25, 2010 at 5:25 PM, Igor Toujilov <i.t...@uc...> > wrote: > > Individual: John > > > > Types: > > Person, > > (Hungry_person > > and (eat some Salad_300g)) > > or ((not (Hungry_person)) > > and (eat some (Salad_100g > > or Salad_300g))) > > > > > ------------------------------ > > *From:* Oancea Daniel [mailto:do...@gm...] > *Sent:* 25 February 2010 15:08 > *To:* owl...@li... > *Subject:* [OWLAPI-developer] refine the new facts > > > > Hello, > > I made a very simple ontology (see the attachment) using Protege4.0.2. > A person can eat some food. Based on the description of the food, a > vegetarian people can eat one or several types of vegetarian food. In my > particular example. invoking the reasoner we will get the following > statement: "John" can "eat" the food: "salate1(300g)" or "salate2(100g)". > Now, what I would like to do is to re-fine the decision of the reasoner so > that you get only one answer based on other characteristics of the food > (e.g., "quantity"). If John is hungered it will eat a big portion of salad > (300g). > > Any hint, it will be appreciated. > > Thank you. > > -Daniel > > -- > ________ > Note: If the reader of this message is not the intended recipient, or an > employee or agent responsible for delivering this message to the intended > recipient, you are hereby notified that any dissemination, distribution or > copying of this communication is strictly prohibited. If you have received > this communication in error, please notify us immediately by replying to the > message and deleting it from your computer. Thank you. > > > > > ------------------------------------------------------------------------------ > Download Intel® Parallel Studio Eval > Try the new software tools for yourself. Speed compiling, find bugs > proactively, and fine-tune applications for parallel performance. > See why Intel Parallel Studio got high marks during beta. > http://p.sf.net/sfu/intel-sw-dev > _______________________________________________ > Owlapi-developer mailing list > Owl...@li... > https://lists.sourceforge.net/lists/listinfo/owlapi-developer > > > > > -- > ________ > Note: If the reader of this message is not the intended recipient, or an > employee or agent responsible for delivering this message to the intended > recipient, you are hereby notified that any dissemination, distribution or > copying of this communication is strictly prohibited. If you have received > this communication in error, please notify us immediately by replying to the > message and deleting it from your computer. Thank you. > > > > > -- > ________ > Note: If the reader of this message is not the intended recipient, or an > employee or agent responsible for delivering this message to the intended > recipient, you are hereby notified that any dissemination, distribution or > copying of this communication is strictly prohibited. If you have received > this communication in error, please notify us immediately by replying to the > message and deleting it from your computer. Thank you. > > > > ------------------------------------------------------------------------------ > Download Intel® Parallel Studio Eval > Try the new software tools for yourself. Speed compiling, find bugs > proactively, and fine-tune applications for parallel performance. > See why Intel Parallel Studio got high marks during beta. > http://p.sf.net/sfu/intel-sw-dev > _______________________________________________ > Owlapi-developer mailing list > Owl...@li... > https://lists.sourceforge.net/lists/listinfo/owlapi-developer > > -- ________ Note: If the reader of this message is not the intended recipient, or an employee or agent responsible for delivering this message to the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. If you have received this communication in error, please notify us immediately by replying to the message and deleting it from your computer. Thank you. |