[sc34wg3] Problem with wildcards
heuer at semagia.com
Mon Mar 2 09:27:05 EST 2009
>> I was thinking of dropping only the ones for wildcards. What do you
> That may work, although TMCL used a bootstrap template to setup
> several constraints. If TMCL (or any other CTM file) uses wildcards to
> initialize an ontology / constraints, all these wildcards are resolved
> against the included file, right? I am not sure if this may cause a
> problem or not.
Currently I think it may not cause problems. Example:
def capital($country, $name)
?capital isa city; - $name .
is-located-in(location: $country, located: ?capital)
capital-of(region: $country, capital: ?capital)
If I do not miss anything, we shouldn't get problems here, although
"Oslo" gets different ?capital item identifiers: One from the
init-defaults() template invocation (resolved against "geo.ctm") and
one from the "norway.ctm" (resolved against norway.ctm).
Anyway, I'll try to verify that everything works as expected this
More information about the sc34wg3