David Carlisle wrote:
But <CDDefinition> does not define a CD, but declares a symbol in a
CD.
Yes it's best not to "see" the CD prefix on the element names at all,
just thing of them as a pre-namespaces namespace mechanism (rather like
the OM prefix on openmath instance elements). If you read it as CD
Definition then it could be thought to mena definition of a CD, but if
you read it as CD:Definition then it's the Definition element in the CD
Vocabulary which is a better reading.
You are right, but unfortunately, it is not really a definition in the
strict sense either. It is more a declaration of the form "symbol foo
exists and has some properties". In almost all instances we have in the
CDs the properties (either in the description or in the CMP/FMPs) do not
fully define a symbol. But we should probably let this go.
Michael
David
________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs.
________________________________________________________________________
_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor of Computer Science Campus Ring 12,
School of Engineering & Science D-28759 Bremen, Germany
Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140
[EMAIL PROTECTED] http://kwarc.info/kohlhase
skype: m.kohlhase * International University Bremen until Feb. 2007
----------------------------------------------------------------------
begin:vcard
fn:Michael Kohlhase
n:Kohlhase;Michael
org:Jacobs University;Computer Science
adr:;;Campus Ring 1;Bremen;;28759;Germany
email;internet:[EMAIL PROTECTED]
title:Prof. Dr.
tel;work:+49 421 200 3140
tel;fax:+49 421 200 3140
x-mozilla-html:TRUE
url:http://kwarc.info/kohlhase
version:2.1
end:vcard
_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om
