W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

Re: possible changes to abstract syntax and direct semantics to support annotations and fix problem with imports

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 07 Feb 2003 18:32:26 -0500 (EST)
Message-Id: <20030207.183226.50037226.pfps@research.bell-labs.com>
To: jos.deroo@agfa.com
Cc: www-webont-wg@w3.org, www-webont-wg-request@w3.org

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: possible changes to abstract syntax and direct semantics to support annotations and fix problem with imports
Date: Sat, 8 Feb 2003 00:10:09 +0100

> 
> In the EC Extension Table
> http://www-db.research.bell-labs.com/user/pfps/owl/semantics/semantics-all.html#description-interpretations
> I see that the extension of a class is now intersected
> with sets of elements for which the annotations are in A.

I don't see that there.  The extension of a class is defined on the
next table, not this one.  Even there, there is no notion of changing the
extension of a class.

> Annotations now seem to be so powerful
> (at least compared to coming from no power)
> that I can't see all the consequences.

I think that you are misreading the revised semantics.

> On the other hand, the so called annotation "triples"
> (NOT to confuse with RDF triples) are so
> weak that no entailement other than belonging to A
> can be done with them (seems to me).

Well, this was the entire idea.

> I'm in shock...
> 
> -- ,
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

The basic idea is that annotations on classes, and properties, and
ontologies require the presence of the correct annotation triple.

For Individual constructs the situation is a bit different.  Here the
``extension'' of the Individual construct is indeed a subset of set of
domain elements that have the correct annotations.  However, this is
precisely what is needed for Individual constructs with no name, and it
works just as well for Individual constructs that provide a name.

peter
Received on Friday, 7 February 2003 18:32:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT