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

Re: ISSUE 5.3 Semantic Layering

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 27 Jun 2003 17:25:41 -0400 (EDT)
Message-Id: <20030627.172541.68528647.pfps@research.bell-labs.com>
To: jjc@hpl.hp.com
Cc: www-webont-wg@w3.org

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: Re: ISSUE 5.3 Semantic Layering
Date: Fri, 27 Jun 2003 14:54:49 +0200

> 
> 
> As a straw man, how effective would the following change to S&AS be:
> 
> rewrite 5.3 so that:
> 
> OWL Full neither affirms or denies that owl:Thing = rdfs:Resource,
> owl:ObjectProperty = rdf:Property owl:Class = rdfs:Class (where = is
> equality of class extension).
> 
> Specifically replace:
> 
> [[
> OWL Full augments the common conditions with conditions that force the parts
> of the OWL universe to be the same as their analogues in RDF. These new
> conditions strongly interact with the common conditions. For example,
> because in OWL Full IOT is the entire RDF domain of discourse, the second
> comprehension condition for lists generates lists of any kind, including
> lists of lists.
> 
> Definition: A OWL Full interpretation of a vocabulary V is an OWL
> interpretation as above that satisfies the following conditions.
> 
> IOT = RI
> IOOP = PI
> IOC = CI
> ]]
> 
> by
> [[
> Definition: A OWL Full interpretation of a vocabulary V is an OWL
> interpretation as above
> ]]
> 
> This seems to fix the specific counter-examples.
> Moreover it makes OWL Full and OWL DL (as in 5.4) closer; and the
> correspondence theorem is already stated as an IFF between section 5.4 model
> theory and section 3 model theory; which makes an IFF between the modified
> 5.3 and section 3 seem more plausible.
> 
> Would that work?

Sure, it would work.

> How much baby goes out with the bath water?

However, you would then need to assert, for example, that rdfs:Class was an
owl:Class before you would get many OWL inferences from it.  In essence,
you would have to do all the same typing you need to do in OWL DL.

> Jeremy

peter
Received on Friday, 27 June 2003 17:25:53 GMT

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