Re: Semantics of rdf:Statement

On Tue, Jan 5, 2010 at 7:54 AM, Pat Hayes <phayes@ihmc.us> wrote:

>
> On Jan 4, 2010, at 5:11 PM, darood wrote:
>
>
>> Cheers Dan, I had one more question which I am a bit wary about:
>>
>> Is the following which I listed as transitive, symmetric and/or functional
>> correct?
>> •       “taller than” - Transitive
>>
>
> Yes.   Inverse would be "shorter than"
>
>  •       “sister of” - Symmetric
>>
>
> No. Mary sisterOf John, but not John sisterOf Mary.
>
> Inverse would be "has sister"
>
>  •       “mother of” - Functional
>>
>
> No. Mary motherOf Bill and Mary motherOf John is possible. motherOf is
> inverse functional; hasMother (its inverse) is functional.
>
>  •       “likes” - Symmetric
>>
>
> Unfortunately, no. If it were, personal relationships would be a lot easier
> than they are. Inverse would be "liked by"
>
>  •       “eats” - Functional
>>
>
> ??
>
>  •       “neighbour of” - Symmetric
>>
>
> Yes. This is its own inverse.
>

Hoping not to be pedantic but im curious as to whether this is a valid case:

I am neighbour of noisey teenagers

does that imply

(All?) Noisey teenagers are neighbours of me?


>
> Hope this helps.
>
> Pat Hayes
>
>
>
>> Can you help me get the inverse properties of each example?
>>
>>
>> Thanks in adv.
>> Darood
>> --
>> View this message in context:
>> http://old.nabble.com/Semantics-of-rdf%3AStatement-tp11705919p27020856.html
>> Sent from the w3.org - semantic-web mailing list archive at Nabble.com.
>>
>>
>>
>>
> ------------------------------------------------------------
> IHMC                                     (850)434 8903 or (650)494 3973
> 40 South Alcaniz St.           (850)202 4416   office
> Pensacola                            (850)202 4440   fax
> FL 32502                              (850)291 0667   mobile
> phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
>
>
>
>
>
>
>