[Om] Newbie troubles...

[Herli Joaquim de Menezes]

Hello,
I'newbie in OmDoc and OpenMath and I wish to integrate a Physical Science
ontology witten in OWL to OpenMath ontologies. OWL as I know does not have
sufficient expressivity to handle things like this:
 For all field F, if rot F = 0, then F is a conservative field.
or expressing classical wave equation: laplacian E + partial temporal
derivative order 2 E = 0.
I gess OpenMath and OmDoc facilities can do this. So I decided to study
Kohlhase's book. I tried to repeat some examples of this book using Eclipse
Web Tools got no succes because some lines expressing dc: at XML code are
not recognized by Eclipse. Should I drop Eclipse and do this from the
scratch using Emacs, for example?

-- 
Herli Menezes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om/attachments/20100325/f71ef16c/attachment.htm