Re: DAMl "Thing" should be Top, Universal class - including concrete types

On Thu, 1 Feb 2001, Tim Berners-Lee wrote:

>
> > The proposal
> > simply suggests a way to extend daml+oil with (a restricted form of)
> > concrete domains while still retaining the above properties.
>
> However, it loses the ability to be a general unconstraining
> langauge for unifying a very wide range of systems present and future.
> This is the requirement of the semantic web

hmmm... do we have a requirements document?

Would it help to try to get buy-in on these broad (and broadly couched)
'requirements' before wading into the nitty gritty?

You might for eg propose we take http://www.w3.org/DesignIssues/Semantic
(and nearby docs) as our requirements...


> [...] We are making
> a universal language which will allow the expression of information
> from many difefrent systems. When a given system has limited descriptive
> power, then its input and output will be limited to a subset of the
> language.

yup

dan