RE: LANG: Proposal to close ontology versioning (ISSUE 5.14)

Normally I think of 'A and B' as being consistent with 'A'.  

While I know we are not providing a formal semantics for versioning, I find
your interpretation extremely counterintuitive.  Why make it so confusing?

I think there should be a priorVersion, a backCompatibleWith (which implies
priorVersion), and an incompatibleWith (which also implies priorVersion).
Something like:

A newVersionOf B
A compatibleWith B   ( -> A newVersionOf B)
A incompatibleWith B ( -> A newVersionOf B)

- Mike

-----Original Message-----
From: Jeff Heflin [mailto:heflin@cse.lehigh.edu]
Sent: Tuesday, December 03, 2002 11:03 AM
To: Smith, Michael K
Cc: www-webont-wg@w3.org
Subject: Re: LANG: Proposal to close ontology versioning (ISSUE 5.14)


"Smith, Michael K" wrote:
> 
> > As you point out above, my proposal can
> > already express these two notions.
> 
> How do I say 'A not backCompatWith B' using your terms?

In my terms, A priorVersion B without A backCompatWith B is the same as
A not backCompatWith B. While A priorVersion B and A backCompatWith B
means they are compatible. Since a version can only either be compatible
or incompatible, I only see the need for 1 bit of information.

However, if you think it would make things clearer to have the
"complement" of backCompatWith, that's fine. It certainly doesn't break
anything, it just adds another symbol to our vocabulary. What do you
suggest we call it? incompatWith? Why don't you propose specific wording
for an addendum to my proposal, and the WG can vote on whether or not to
add it?

Jeff

> You stated that if
> 
> A priorVersion B
> 
> then you should not rely on compatibility.  I don't want to
> suggest it, I want to assert that they are definitely not compatible.
> 
> While I am fairly neutral regarding the terms you pick,
> 'priorVersion' suggests a temporal relation between versions
> and nothing more.  At least to me.
> 
> - Mike
> 
> -----Original Message-----
> From: Jeff Heflin [mailto:heflin@cse.lehigh.edu]
> Sent: Tuesday, December 03, 2002 8:41 AM
> To: Smith, Michael K
> Cc: www-webont-wg@w3.org
> Subject: Re: LANG: Proposal to close ontology versioning (ISSUE 5.14)
> 
> "Smith, Michael K" wrote:
> >
> [snip]
> >
> > Extends = priorVersion and backCompatWith. The new version is
compatible.
> > All of the old entailments hold.
> >
> > Replaces = priorVersion and not backCompatwith. In the new version it is
> not
> > the case that all of the old entailments hold.
> >
> > Of course these are just statements of intention, with no logical force.
> >
> 
> Mike, are you suggesting that we use Extends and Replaces instead of
> priorVersion and backCompatWith? As you point out above, my proposal can
> already express these two notions. I think Extends could be confusing,
> because imports already provides a form of ontology extension, but I
> would be interested in hearing the opinions of others.
> 
> Jeff

Received on Tuesday, 3 December 2002 12:19:37 UTC