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