[Om] Identifiers for FMPs

Paul Libbrecht paul at activemath.org
Mon Jul 19 22:43:33 CEST 2010


I'm all for grouping and marking with an identifier any FMP.
I note that CMPs are wished in several languages and to contain  
mathematical formulæ (as wel as... a bit more).
I note that identifiers are not the same as titles and that titles are  
also needed and in multiple languages (the notation-census collects an  
amount of them already).

That's all "being baked" for OpenMath 3, right?

Would you add somewhere there also the links within a child of property?

paul


Le 19-juil.-10 à 19:14, Christoph LANGE a écrit :

> Dear all,
>
>  a preliminary consensus of the discussion about linking OpenMath  
> CDs to DLMF
> is that the entries for which DLMF currently has permanent URIs are  
> best
> conceived as counterparts to our FMPs.
>
> When we link from our FMPs to somewhere, but, more importantly, when  
> others
> (such as DLMF) link to our FMPs, they need identifiers.  What I'm  
> currently
> doing in my OCD→RDF translation is simply counting, i.e. the first  
> FMP of the
> sin function would get the URI http://www.openmath.org/cd/transc1#sin-FMP1 
> ,
> the second one FMP2.  (Actually the counting is slightly more  
> complex, but
> I'll keep it simple in this mail.)  That will get us into trouble if  
> e.g.
>
> * wrong or redundant FMPs should ever be deleted
> * additional important FMPs should be added
>
> Also, I see a lot of potential danger in having the "naming of FMPs"  
> done by
> some algorithm that is external to the CDs, which takes away control  
> from the
> CD authors.  (Imagine a CD author who created some FMPs and then  
> wants to
> contribute some RDF links to e.g. DLMF – that author would have to  
> know how
> that external algorithm counts.)
>
> Therefore, I'd strongly suggest to introduce at least some optional  
> mechanism
> for naming FMPs.  This can be a <Name> child element in the OpenMath  
> XML
> "tradition", but we could also borrow @xml:id.
>
> So far we've been talking about FMPs, but isn't the actual  
> counterpart to a
> DLMF equation a _pair_ of CMP (if existing) and FMP?  The OpenMath 2  
> way of
> pairing CMPs and FMPs is hard to process (although possible, of  
> course, I have
> also done it), especially in cases where either the CMP or the FMP  
> is missing.
> The actual objects we are interested in are not XML-encoded OMOBJs  
> in an <FMP>
> container, but "mathematical properties" of symbols.  In the  
> "OpenMath 3 draft
> CDs" this was elegantly solved as
>
> <Property>
>  <CMP/>
>  <FMP/>
> </Property>
>
> That would probably be something worth to adopt.
>
> Besides the obvious technical advantage, such an enhancement would  
> give us the
> opportunity to assign meaningful short names to mathematical  
> properties, such
> as "NAME's identity", "NAME's theorem", "implicit definition  
> of ...", which
> would IMHO facilitate maintenance and understanding.
>
> What do you think?
>
> Cheers,
>
> Christoph
>
> -- 
> Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange,  
> Skype duke4701
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om



More information about the Om mailing list