[Om3] Newbie troubles...

[Christoph LANGE]

Hi Herli,

  your mail sounds very interesting to me.  Before I reply, some
administrative things:  This list is about specific issues with OpenMath 3,
which is currently being developed.  The om at openmath.org is for more general
OpenMath-related issues.  What you are interested in is related to OpenMath in
some way.  But particularly it is related to OMDoc.  Therefore, the OMDoc list
would be the best place for continuing this discussion.  You can subscribe at
http://lists.jacobs-university.de/mailman/listinfo/project-omdoc.  The only
problem is that, in a proof of Murphy's law, Michael Kohlhase, the only
administrator of that list, will be on holiday until April 5.  Which means
that we should continue on the om at openmath.org list for now, if the other list
members don't mind.  My actual reply will be on that list, in a few minutes.

Cheers,

Christoph

2010-03-25 13:16 Herli Joaquim de Menezes <herlimenezes at gmail.com>:
> Hello,
> 
> My dissertation project is about representing Physical Science concepts. As
> first step i wrote an OWL ontology. However, OWL2 language has no
> sufficient expressiveness to represent assertions like: For all field F,
> if rot F = 0 then F is a conservative field.
> I think there are many reasons for this:
> 
>  1.  there is no means to represent mathematical formulas in OWL
>  2.  the inference engine of OWL DL does not handle mathematical assertions
> and there is no means to handle mathematical inferences, because there is
> no way to evaluate expressions in OWL 3.  I am trying to write some piece
> of xml code using OmDoc and integrate by means of imports in OWL ontology.
> 4.  I begin writing code using Eclipse IDE but it does not recognize some
> namespaces of OmDoc or OpenMath. How can I do this?
> 
> Im using as reference Kohlhase's OmDoc1.2 book.
> 
> 
> --
> Herli Menezes

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om3/attachments/20100325/8982b9a8/attachment.pgp