Re: On formal HAS-A definition

On May 13, 10:07 am, Nilone <rea..._at_gmail.com> wrote:
> // 'is' of identity
> Flower = [x: Name]
>         Rose
>         Violet
>
> // 'is' of predication
> FlowerColor = [x : Animal, y : Color]
>         Rose, Red
>         Violet, Blue

Another mess. I apologize.

I don't think 'is' of identity belongs in a relation. Domains and the elements in them are orthogonal to relations over them.

If a is a finite subset of b, and we assume CWA, then we can enumerate it in the RM and use referential constraints to enforce it.

Although I'm interested in infinite domains, OWA and subset expressions, I'm tired of the taste of my own foot. Received on Thu May 13 2010 - 16:33:24 CEST