Why i can't get result from differentFrom() and swrlb:notEqual()

classic Classic list List threaded Threaded
21 messages Options
12
Reply | Threaded
Open this post in threaded view
|

Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Hi, Martin.

I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?


Thank you so much
Sakesan

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

Martin O'Connor-2

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

Martin O'Connor-2

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

Martin O'Connor-2

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

food.owl (1M) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

Martin O'Connor-2

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev





_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev






_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

xxx.jpg (238K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

Csongor Nyulas
Administrator
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor


On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Thank you.
I put it to all individual in ingredients class but it's still not work.




On Sat, Mar 26, 2016 at 4:49 AM, Csongor Nyulas <[hidden email]> wrote:
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor



On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email][hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email][hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email][hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email][hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Hello, Martin.

Do you have example of Publication.owl to test is SWRL rule?

Publication(?a) ^ hasAuthor(?x, ?y) ^ hasAuthor(?x, ?z) ^ differentFrom(?y, ?z) -> cooperatedWith(?y, ?z)

I need to know the structure of this ontology to apply my ontology.

Thank you again and again for your support it's very important for me. :D

Sakesan

On Sat, Mar 26, 2016 at 8:19 AM, Win Sivilai <[hidden email]> wrote:
Thank you.
I put it to all individual in ingredients class but it's still not work.




On Sat, Mar 26, 2016 at 4:49 AM, Csongor Nyulas <[hidden email]> wrote:
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor



On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email][hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email][hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email][hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email][hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

Lorenz Buehmann
In reply to this post by winsivilai
Did you make all individuals pairwise disjoint? The ontology contains 468 individuals, I don't think that you did this via Protege manually. In Protege 5.x, there is an option "Edit -> Make all individuals distinct...", but I don't know if this exists in your Protege version. Just from the screenshots, it looks like you'Re using an older version.

Lorenz

Thank you.
I put it to all individual in ingredients class but it's still not work.




On Sat, Mar 26, 2016 at 4:49 AM, Csongor Nyulas <[hidden email]> wrote:
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor



On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
Yes, I'm used protege 3.5 
I need to compare between in individuals in ingredients class they have 109 individuals i have change to owl:differentFrom all ready but it's not work.

On Sat, Mar 26, 2016 at 10:13 PM, Lorenz B. <[hidden email]> wrote:
Did you make all individuals pairwise disjoint? The ontology contains 468 individuals, I don't think that you did this via Protege manually. In Protege 5.x, there is an option "Edit -> Make all individuals distinct...", but I don't know if this exists in your Protege version. Just from the screenshots, it looks like you'Re using an older version.

Lorenz

Thank you.
I put it to all individual in ingredients class but it's still not work.




On Sat, Mar 26, 2016 at 4:49 AM, Csongor Nyulas <[hidden email]> wrote:
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor



On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email][hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email][hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email][hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email][hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email][hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
now i'm trying to use Protege 5.0 :D

On Sat, Mar 26, 2016 at 10:18 PM, Win Sivilai <[hidden email]> wrote:
Yes, I'm used protege 3.5 
I need to compare between in individuals in ingredients class they have 109 individuals i have change to owl:differentFrom all ready but it's not work.

On Sat, Mar 26, 2016 at 10:13 PM, Lorenz B. <[hidden email]> wrote:
Did you make all individuals pairwise disjoint? The ontology contains 468 individuals, I don't think that you did this via Protege manually. In Protege 5.x, there is an option "Edit -> Make all individuals distinct...", but I don't know if this exists in your Protege version. Just from the screenshots, it looks like you'Re using an older version.

Lorenz

Thank you.
I put it to all individual in ingredients class but it's still not work.




On Sat, Mar 26, 2016 at 4:49 AM, Csongor Nyulas <[hidden email]> wrote:
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor



On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email][hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email][hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email][hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email][hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email][hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Why i can't get result from differentFrom() and swrlb:notEqual()

winsivilai
I was set "Edit -> Make all individuals distinct..." already but it's not work
They can infer but not difference i need to compare A = {1 2 3}, B = {2 3 5 6} then the result should be 1 5 6 right? but not ;(

It's very importance for me i need your help.

Thank you so much.

Sorry my English :D

On Sat, Mar 26, 2016 at 10:34 PM, Win Sivilai <[hidden email]> wrote:
now i'm trying to use Protege 5.0 :D

On Sat, Mar 26, 2016 at 10:18 PM, Win Sivilai <[hidden email]> wrote:
Yes, I'm used protege 3.5 
I need to compare between in individuals in ingredients class they have 109 individuals i have change to owl:differentFrom all ready but it's not work.

On Sat, Mar 26, 2016 at 10:13 PM, Lorenz B. <[hidden email]> wrote:
Did you make all individuals pairwise disjoint? The ontology contains 468 individuals, I don't think that you did this via Protege manually. In Protege 5.x, there is an option "Edit -> Make all individuals distinct...", but I don't know if this exists in your Protege version. Just from the screenshots, it looks like you'Re using an older version.

Lorenz

Thank you.
I put it to all individual in ingredients class but it's still not work.




On Sat, Mar 26, 2016 at 4:49 AM, Csongor Nyulas <[hidden email]> wrote:
Yes, that's correct, but you have to use this property with individuals, not classes. (With classes you would use owl:disjointWith)

Csongor



On 03/25/2016 10:49 AM, Win Sivilai wrote:
This is correct? Martin :D

On Fri, Mar 25, 2016 at 11:40 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Can i add here right?

Inline image 1

On Fri, Mar 25, 2016 at 11:36 PM, Win Sivilai <[hidden email][hidden email]> wrote:
some sentence I'm not clear cause my English is not so good i will try my best.
:D

On Fri, Mar 25, 2016 at 11:32 PM, Win Sivilai <[hidden email][hidden email]> wrote:
OK thank you so much i will learn carefully.

:D

On Fri, Mar 25, 2016 at 10:16 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

There are no owl:AllDifferent or owl:DifferentFrom axioms in your ontology - and hence neither OWL nor SWRL can conclude that the Ingredient individuals are different from each other. You should learn about those axioms types and also read the following carefully:

Maritn

On Mar 24, 2016, at 10:55 PM, Win Sivilai <[hidden email][hidden email]> wrote:

Hello, Martin.

What do you think about my ontology it's work?

Thank you so much.
Sakesan

On Thu, Mar 24, 2016 at 10:41 PM, Win Sivilai <[hidden email][hidden email]> wrote:
Yes, Thank you so much.

On Thu, Mar 24, 2016 at 10:27 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you email me the ontology.

Martin

On Mar 24, 2016, at 7:43 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes i have.
I don't understand why sameAs that work? but differentFrom is not work?

:D

On Thu, Mar 24, 2016 at 9:34 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Have you explicitly stated that all individuals of type ingredient are disjoint?

See:


Martin


On Mar 24, 2016, at 7:25 AM, Win Sivilai <[hidden email][hidden email]> wrote:

Yes!
Thank you so much. :D



food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ sameAs(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

food:Diseases(?x) ∧ food:hasDiseaseName(?x, "Gout") ∧ food:essentialNutrient(?x, ?ess) ∧  food:avoidNutrient(?x, ?avoid) ∧ food:Ingredients(?ine) ∧ food:Ingredients(?ina) ∧ food:hasNutrients(?ine, ?ess) ∧  food:hasNutrients(?ina, ?avoid) ∧ differentFrom(?ine,?ina) →  food:shouldConsume(?x, ?ine) ∧ food:shouldNotConsume(?x, ?ina)

On Thu, Mar 24, 2016 at 9:13 PM, Martin O'Connor <[hidden email][hidden email]> wrote:

Can you give a specific example of a rule exhibiting this behaviour?

Martin

> On Mar 24, 2016, at 2:55 AM, Win Sivilai <[hidden email][hidden email]> wrote:
>
> Hi, Martin.
>
> I can use sameAs and swrlb:equal to get individuals and data type in protege 3.5 but why  i can't get the result from differentFrom() and swrlb:notEqual()?
>
>
> Thank you so much
> Sakesan
> _______________________________________________
> protege-dev mailing list
> [hidden email][hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev



_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email][hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev







_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev





_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
12