Some progress…

Well, I cannot say I haven’t done any progress.  Working with OWL DL ontologies is a little bit hard if you want to model some physics concepts. What is the matter? OWL DL lacks of expressivity in order to make inferences or (as expected) calculations. The big trouble is that if you want to assert that “In a closed system the total energy is conserved”, but a simple literal expression. If you want to say that in a closed system E_{total}= T + V, things get worse, because there is no way to operate and make inferences about this arithmetical operation. To give one more example: the mathematical condition on conservative fields is that its rotational be zero. That is to say in mathematical terms: \nabla \times \vec{F} = 0. Some troubles appear: (1) is not possible to query about vector functions in order to know is its rotational is zero; (2) there is no way to say this using OWL DL formalism. There is no straight way to insert mathematical notations in OWL DL, using known ontology editors (Protégé, TopBraid…)

However, there is another possibility. OmDoc and OpenMath. There is a great deal of work about mathematical notation and querying about mathematical formulas.  This is worth to study…


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: