Hajo Rijgersberg
Hajo Rijgersberg
Thanx! :) Do you mean e.g. this pdf? https://emmo-repo.github.io/versions/1.0.0-alpha/emmo.pdf. AT first glance it seems there are some specific issues, but I should study it more deeply. https://github.com/jmkeil, do you know...
Thanx! :) Yes, I hope to study it more deeply! Would it be worthwhile for EMMO to use OM? Are you going to study it more deeply?
Thanks for your update, both about EMMO and your project. In both cases: sorry to hear that. :/ Of course it's very good that you have made an objective choice...
Hi Georg, thanks for your attention! :) Well, I haven't defined Pressure (and other quantity classes) as NamedIndividuals. Perhaps this is due to loading the ontology in an editor that...
Interesting, Georg, I have to dive into this. It was not my intention that quantity classes are named individuals. Perhaps I have to remove the commonlyHasUnit relations.
Thanx Jan Martin, for detecting these issues with the robot validate profile! And thanx so much for (immediately!) fixing these issues. I have merged your pull request some minutes ago....
Hi Georg, Could you explain your first sentence a bit more? The sentence seems to be incomplete in some way. Apart from that, do you mean _compound_ units with complex...
Hi Georg, That's a very interesting and clear explanation, thanx! Quite a challenge indeed to express that in OM. Seems like apart from scalar, vector and matrix types, we should...
Hi Georg, I presume that the imaginary part of a complex number doesn't have a different unit than the real part. It seems more like a special tuple, a complex...
> So first: How can we consolidate that with om-2:Measure (where currently a measurement expects one single real numerical value)? I think it would be overkill to simply always allow...