RuleML Elements of UR-Equalog DTD: Equation for URI Expansion

<if>

<eq>

<nano>

<fun>uriexp</fun>

<ind>daml</ind>

</nano>

<ur>http://www.daml.org/</ur>

</eq>

<and/>

</if>

uriexp(daml) = http://www.daml.org/

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen