Re: Many meanings of Is A

P.S. mKR "isa" has 2 possible meanings -- "isu" or "iss"

    x isu y;    means
                            x is an individual
                            y is a class
                            x  is an instance of y

    x iss y;    means
                            x is a class
                            y is a class
                            x  is a species of y       (x is a proper 
subclass of y)
Dick

----- Original Message ----- 
From: "Richard H. McCullough" <rhm@PioneerCA.com>
To: "Bijan Parsia" <bparsia@cs.man.ac.uk>; "Matt Williams" 
<matthew.williams@cancer.org.uk>
Cc: "Owl Dev" <public-owl-dev@w3.org>; "Semantic Web" <semantic-web@w3.org>
Sent: Thursday, June 19, 2008 5:59 PM
Subject: Re: Many meanings of Is A


>I went thru a similar problem when I was trying to figure out how to
> translate
> English "is" into mKR language.   I found about 10 meanings listed in my
> dictionary.
> My notes are attached.
>
> Dick
>
> ----- Original Message ----- 
> From: "Bijan Parsia" <bparsia@cs.man.ac.uk>
> To: "Matt Williams" <matthew.williams@cancer.org.uk>
> Cc: "Owl Dev" <public-owl-dev@w3.org>; "Semantic Web" 
> <semantic-web@w3.org>
> Sent: Thursday, June 19, 2008 2:36 PM
> Subject: Re: Many meanings of Is A
>
>
>>
>> On Jun 19, 2008, at 8:57 PM, Matt Williams wrote:
>>
>>> Dear All,
>>>
>>> I remember reading somewhere that someone had once compared many
>>> different usages of "Is A".
>>>
>>> Can anyone point me to the ref?
>>
>> "What IS-a is and isn't", by Ron Brachman.
>>
>> IIRC, he distinguishes on the order of 27 senses in use at the time  in
>> KR/semantic net systems.
>>
>> I believe it's online.
>>
>> Cheers,
>> Bijan.
>>
>>
> Dick McCullough
> http://mKRmKE.org/
> knowledge := man do identify od existent done;
> knowledge haspart proposition list;
> mKE do enhance od "Real Intelligence" done;
>
Dick McCullough
http://mKRmKE.org/
knowledge := man do identify od existent done;
knowledge haspart proposition list;
mKE do enhance od "Real Intelligence" done;

Received on Friday, 20 June 2008 01:28:29 UTC