Re: Data models as constraints

Gerd Wagner wrote:

>>Thanks for your comment on my paper: you must be the fastest reader
>>that I have come across in my life! ;-)
> 
> 
> In fact, I'm not a fast reader at all, of course, I just managed to
> browse through your paper.

Now I understand better! :-)

>>Re. your comment, I must say thay I do not quite understand what it
>>has to do with either the topic of the article, nor  what it means.
>>What I wrote about is simple: because CLP makes rules and constraints
>>orthogonal, it offers a way to use rules over arbitrary data models
>>- not just data and FOTs. I then focused on the OSF and DL formalisms
>>seen as constraint systems for objects and inheritance. The nature of
>>the rules is *not* important and may be of all kinds including Horn,
>>(with or without negations or all kinds), Production, YouNameIt, ...
> 
> 
> OK, but you don't discuss that in your paper, do you?

Quoting from the paper (Section 3.3.2)

"Clearly, non-logical rules systems such as those based on
  condition/action production rules typically used in experts systems
  using object pattern-matching can also be expressed using OSF term
  entailment (as opposed to unification).
"

>>>How can you capture SQL, Prolog and production rules
>>>without supporting NaF?
>>
>>Again the focus of my paper is *NOT* on the rules but (as the title
>>states it clearly) about *data models as constraint systems*.
>>
>>Also, the nature of the paper is that of a (semi-formal) tutorial
>>- not an exhaustive survey about all known or possible ways to
>>conjugate rules and data. Perhaps you should write such an article?
>>:-)
> 
> 
> Come on, you are the expert here, not me!

You are as much as "expert" as I am I am afraid. My point though is
that you seem to have a precise idea of what you want and you are the
most competent to explain it.

> ...
> 
>>At any rate, I am sorry that you find my work of debatable interest
>>for your needs, and I apologize for disappointing your expectations.
> 
> Your paper is clearly of high value as a publication, but for my
> purposes I'd prefer to see a more RIF-focused version of it. 

Your personal purposes notwithstanding, one of the 2 reasons I wrote this
paper and have shared it with the RIF/WG is that I was explicitly asked
(by Jeff Pan, Alex Kozlenkov, and others at the last RIF F2F) to write
such a document explaining in more formal details my claims that data
models are constraint systems. The reason they requested it is because
they could not see clearly how of CLP scheme proposal for the RIF that
I have advocated without being sure how their own systems' data models
could be seen as constraints. I accepted the challenge, agreeing that
the onus was on me as the proposal's author to do so - hence the paper.
The feeling shared by most RIfers (I believe) is that (1) it was not so
obvious and (2) it was a topic of importance for the RIF. So it may be
not "RIF"-focused, but I think that it is definitely "RIF-relevant".

> -Gerd

-hak
-- 
Hassan Aït-Kaci
ILOG, Inc. - Product Division R&D
tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com

Received on Tuesday, 16 January 2007 17:30:42 UTC