On 17/07/2010 18:57, Christoph LANGE wrote: > So what is wrong with well I'd say it's encoding a false assertion, it says
the OM symbol transc1#sin is owl sameas an OM symbol transc1#sin that has been annotated wth the mathml3 definitionurl attribute, pointing at dlmf. So it's legal OpenMath but I don't think it means what you want to say. Firstly as I said before if you want to make an owl assertion I;d do it in owl, using something equivalent to http://monet.nag.co.uk/monet/publicdocs/ontologies/openmath.owl for the openmath (and an rdf rendition of dmlf for the other side, and then just use owl syntax. However if you wanted to make the assrtion in openmath you want to say OM sin is same as dmlf sin so something like <OMOBJ> <OMA> <OMS cd="owl" name="sameAs"/> <OMS cd="transc1" name="sin"/> <OMS cd="dmlf" name="sin"/> </OMA> </OMOBJ> and separately you want to state that the canonical uri for dmlf sin is whatever it is, which could be something like <OMOBJ> <OMA> <OMS cd="omrdf" name="URI"/> <OMS cd="dmlf" name="sin"/> <OMSTR>http://.... whatever</OMSTR< </OMA> </OMOBJ> David _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
