RE: DTTF: List Ontology test case

> I was thinking that the OWL MT would have the normative definition of an
> owl:List.
>

Yes - I am sufficiently perverse to regard the language used in a MT as
"English".

> >
> > It's just I find it an odd exception if we cannot use OWL to say things
> > that it is clearly capable of saying about other things, when we are
> trying
> > to build a description of itself, such as daml:first being a
> > UniqueProperty. i.e. my position is having normatively bootstrapped in
> > English, that OWL is then capable of describing some aspects of itself.
> >
>
> I agree, but that is an entirely different issue (one that I think was
> prematurely closed - btw)
>

Which issue? closed?

Jeremy

Received on Thursday, 25 April 2002 10:40:17 UTC