search

GEGlobalResearch / DARPA-ASKE-TA1

ANSWER Project to demonstrate knowledge-driven extraction of scientific models from code and texts
Other
7 stars 5 forks source link

Variables in equation translation #138

Open agabaldon opened 2 years ago

agabaldon commented 2 years ago

Consider the equation

External pressureEq(double t(temperature of a processing of a Part), double v(volume of the processing of the Part)) returns double (pressure of the processing of the Part) : "".

If we look at the translation in OWL, we find in argument patterns:

             <sadlimplicitmodel:TriplePattern>
              <sadlimplicitmodel:gpObject rdf:resource="http://sadl.org/propChains.sadl#pressureEq_v1"/>
              <sadlimplicitmodel:gpPredicate rdf:resource="http://sadl.org/propChains.sadl#processing"/>
              <sadlimplicitmodel:gpSubject rdf:resource="http://sadl.org/propChains.sadl#pressureEq_v0"/>
             </sadlimplicitmodel:TriplePattern>

              <sadlimplicitmodel:TriplePattern>
                <sadlimplicitmodel:gpObject rdf:resource="http://sadl.org/propChains.sadl#pressureEq_v2"/>
                <sadlimplicitmodel:gpPredicate rdf:resource="http://sadl.org/propChains.sadl#processing"/>
                <sadlimplicitmodel:gpSubject rdf:resource="http://sadl.org/propChains.sadl#pressureEq_v0"/>
              </sadlimplicitmodel:TriplePattern>

and in returnTypes patterns:

            <sadlimplicitmodel:TriplePattern>
              <sadlimplicitmodel:gpObject rdf:resource="http://sadl.org/propChains.sadl#pressureEq_v4"/>
              <sadlimplicitmodel:gpPredicate rdf:resource="http://sadl.org/propChains.sadl#processing"/>
              <sadlimplicitmodel:gpSubject>
                <sadlimplicitmodel:GPVariable rdf:about="http://sadl.org/propChains.sadl#pressureEq_v0"/>
              </sadlimplicitmodel:gpSubject>
            </sadlimplicitmodel:TriplePattern>

But the object variable should be the same instead of three different ones.