Re: Punning and the "properties for classes" use case (from public-owl-dev)

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Subject: Re: Punning and the "properties for classes" use case (from public-owl-dev)
Date: Fri, 2 Nov 2007 13:01:00 -0400

> On Nov 2, 2007, at 12:36 PM, Jeremy Carroll wrote:

[...]

> Also, I'd like to understand the reasoning behind Ian's assertion
> 
> > Name separation is required, however, if Fast OWL is to be embedded  
> > in RDFS in such a way as to be semantically compatible with Large OWL.

This is precisely the argument that is being replayed right now.  It was
thought that name separation would allow complete and exact
correspondence between the two semantics when ontologies were restricted
to OWL DL.  

This doesn't work because of domain size issues, e.g., 

	Axy x=y -> pa iff qa

is "valid" in OWL Full but not in OWL DL.  

(Yes, this is neither OWL Full nor OWL DL, but it illustrates the point.
The OWL version is something like

	ObjectProperty ( ex:s inverseOf ( ex:si ) )
	ObjectProperty ( ex:q )
	SubClassOf ( owl:Thing restriction ( ex:s value ( ex:spy ) ) ) 
	Individual ( ex:spy type ( restriction ( ex:si cardinality ( 1 ) ) ) )
	Individual ( ex:a type ( ex:p ) )

entails in OWL Full / does not entail in OWL DL

	Individual ( ex:a type ( ex:q ) ) 

I leave it up to the WG members to rewrite this in RDF/XML.)

I believe that the name separation compromise worked into the RDF
mapping was to try to achieve complete correspondence on the part of OWL
DL that was rewritable as RDF.  When it was shown that complete
correspondence was not possible name separation was already in and never
was revisited.

>   (BTW, what's Fast OWL and Large OWL?)

Working names for what became OWL DL and OWL Full.

> 
> -Alan

peter

Received on Friday, 2 November 2007 17:32:34 UTC