Re: Semantics of rdf:Statement

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.

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

Received on Tuesday, 5 January 2010 06:55:37 UTC