Problem with logics re simple inference

[Jedda]

Some javascript/style in this post has been disabled (why?)

Hello All,

 

There is no doubt a very simple explanation as to why I can't seem to make this simple scenario infer what I wish. Can anyone offer a solution.

I would like to have the instances of one class be subsumed to belong to another based on the property value of a third class's individuals.

 

IF Inst1(town) of C1(Place) is P1(homeOf) Inst2(john) from C2(Person)

AND Inst2 (john) has dtP_true(speed)

then

 Inst1(town) is_a C3(otherPlace)

 

I have attached the example to better illustrate what I am trying to do.

I cannot get the instances that are towns with "fast people" to be subsumed to the "fast-community-class". I think it is the axioms I am writing relating properties that are not linked to the actual class to be subsumed that I am confused with. I have tried both an enumerate class with {fast and slow} and a Boolean datatype property...

 

Thank you in advance

Jedda

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

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 

[Thomas Russ]

On Jun 30, 2009, at 6:53 PM, Jedda Miles wrote:

> Hello All,
>
> There is no doubt a very simple explanation as to why I can't seem  
> to make this simple scenario infer what I wish. Can anyone offer a  
> solution.
> I would like to have the instances of one class be subsumed to  
> belong to another based on the property value of a third class's  
> individuals.
>
> IF Inst1(town) of C1(Place) is P1(homeOf) Inst2(john) from C2(Person)
> AND Inst2 (john) has dtP_true(speed)
> then
>  Inst1(town) is_a C3(otherPlace)
>
> I have attached the example to better illustrate what I am trying to  
> do.
> I cannot get the instances that are towns with "fast people" to be  
> subsumed to the "fast-community-class".

OK.  I'm still a little confused by the description, but going from  
this last sentence, I think you want to do something like this:

Class Fast-Community <=>  Town and (homeOf someValuesFrom (Person and  
(dtP-speed hasValue fast)))

What you are doing is defining an anonymous class of "fast people" and  
saying that the town must have at least one individual of that class.


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

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 

[Jedda]

Thank you Thomas,
This worked perfectly, my problem was how I was expressing the axiom (syntax issue).

Cheers
Jedda

On Thu, Jul 2, 2009 at 4:32 AM, Thomas Russ <[hidden email]> wrote:

On Jun 30, 2009, at 6:53 PM, Jedda Miles wrote:

> Hello All,
>
> There is no doubt a very simple explanation as to why I can't seem
> to make this simple scenario infer what I wish. Can anyone offer a
> solution.
> I would like to have the instances of one class be subsumed to
> belong to another based on the property value of a third class's
> individuals.
>
> IF Inst1(town) of C1(Place) is P1(homeOf) Inst2(john) from C2(Person)
> AND Inst2 (john) has dtP_true(speed)
> then
>  Inst1(town) is_a C3(otherPlace)
>
> I have attached the example to better illustrate what I am trying to
> do.
> I cannot get the instances that are towns with "fast people" to be
> subsumed to the "fast-community-class".

OK.  I'm still a little confused by the description, but going from
this last sentence, I think you want to do something like this:

Class Fast-Community <=>  Town and (homeOf someValuesFrom (Person and
(dtP-speed hasValue fast)))

What you are doing is defining an anonymous class of "fast people" and
saying that the town must have at least one individual of that class.


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

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

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

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03