Re: Expressing mathematical relationships in an ontology?

Roger,

> It would be nice if this mathematical relationship could 
> be declaratively expressed:
>
>     2.54 centimeters = 1.0 inches

Sorry for being late to the conservation.  Could this work:

<rdfs:Datatype
  rdf:about="#in">
  <ex:conversionEquation
    rdf:parseType="Literal"
    xmlns="http://www.w3.org/1998/Math/MathML">
    <math>
      <apply>
        <eq />
        <csymbol definitionURL="#in">in</csymbol>
        <apply>
          <times/>
          <cn>0.0254</cn>
          <csymbol definitionURL="#meter">m</csymbol>
        </apply>
      </apply>
    </math>
  </ex:conversionEquation>
</rdfs:Datatype>
<rdfs:Datatype
  rdf:about="#meter"
  rdfs:isDefinedBy =
"http://www.openmath.org/cocoon/openmath/sts/units_metric1.html#metre"
/>

--
Jimmy Cerra

] "I have learned these days, never to limit
]  anyone else due to my own limited
]  imagination." - Dr. Mae C. Jemison

Received on Monday, 16 June 2003 23:53:31 UTC