Re: Arcs

Lars,

On Thu, 2010-10-21 at 12:47 +0200, Lars Heuer wrote:
> Hi Patrick,
> 
> [...]
> > Not that I necessarily disagree but what do you mean by:
> 
> > "properly defined role types"?
> 
> > I read the post as saying an arc starts/end at role types. Yes?
> 
> The proposal defines the role types "from" and "to". An author may be
> tempted to say:
> 
>    sean child-of john
> 
> which leads to the following association:
> 
>    child-of(from: sean, to: john)
> 
> That's crappy since it does not say that sean plays the "child" role
> and john the "father" role.
> 

OK, but the role types are still "properly defined," they are simply not
associated with their role players. 

What threw me was "properly defined," which I take to be a question of
defining a role, not who it is associated with. (Leaving aside the case
where a role is defined in part by its player.)

Hope you are having a great day!

Patrick

> Best regards,
> Lars