Re: [RIF] Minutes of of Sept. 18 telecon

>> Hassan_Ait-Kaci: An example might be a rule set which us
>> metaprogramming...
> 
> to: "An example may be any rule set dealing with metaprogramming where
> terms
>      denoting predicate calls are used at both the predicate and term
> level.
>      I would be curious to see how Jos's would-be normative (!)
> model-theoretic
>      semantics renders such RDF/S applications - which all users of such
> rules
>      should of course be intimately familiar with since it'd be
> normative..."

Users do not need to be intimately familiar with the semantics of a
language to be able to use it. This goes for RIF, RDF, as well as their
combination.

Regarding the meta-programming: if the extension of BLD with
meta-programming is a semantic extension of BLD, i.e. more components or
conditions are added to the semantic structures, as would be the case
for a hilog-like metaprogramming extension, then the proposed
model-theoretic semantics can be used as is.

If the metaprogramming extension is not a semantic extension of BLD,
then the model-theoretic semantics I proposed can possibly not be used
directly, but probably neither could the operational approach.


Could you perhaps sketch such a metaprogramming extension of BLD, to
help clarify your question?


Jos


> 
> Thanks,
> 
> -hak

-- 
                         debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
In heaven all the interesting people are
missing.
  - Friedrich Nietzsche