James Sorry - poor wording on my part. What I meant to say is "what is meant by 'the standard arith1'?". As I see it, in the absence of an EXPLICIT CDbase, the application is meant to know, either inherently OR by going to www.openmath.org, the semantics of the OMS.
yes, agreed. I don't understand (this may be because I don't speak RDF) what is meant by "the system's CDBase". I just meant the CDBase as understood by the OM system (which as above might be read from a CDBase element in a CD (or perhaps STS file) or a cdbase= attribute in an OM fragment, or just somewhere known to the system, or www.openmath.org/cd, as appropriate. I'm not sure if we agree here, or not. My intention was to echo your sentiment, so I hope that we agree! 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. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
