Re: AW: [RIF-APS] Rules Sign

Christian de Sainte Marie wrote:
> 
> Jos de Bruijn wrote:
>>
>> I'm not convinced about TY, because it's not an abbreviation.  We might
>> write "type" or use "A" (short for "is a", like in N3, where it's an
>> abbreviation for rdf:type)
> 
> Why not 'isa'? Sounds familiar to me...

Sounds good.


Jos

> 
> Christian
> 
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster