Re: S&AS: not enough type statements OWL Full-entailed from empty RDF graph

From: Jim Hendler <hendler@cs.umd.edu>
Subject: Re: S&AS: not enough type statements OWL Full-entailed from empty RDF graph
Date: Thu, 10 Apr 2003 11:21:17 -0400

> At 11:08 -0400 4/10/03, Peter F. Patel-Schneider wrote:
> >From: herman.ter.horst@philips.com
> >Subject: S&AS: not enough type statements OWL Full-entailed from 
> >empty RDF graph
> >Date: Thu, 10 Apr 2003 15:56:27 +0200
> 
> snip
> 
> >
> >>  It is interesting to note that the requirement that
> >>  ICEXT has IC as domain necessarily leads to exactly the correction
> >>  of these omissions.
> >
> >I don't believe that this would change the situation.
> >
> >I propose augmenting the common semantic conditions to fix these issues.
> >
> 
> Umm, how much does this change our design/test cases?  Let's be 
> careful not to do changes during LC without care -- basically, I'm 
> hoping this is essentially an "editing change" and not a significant 
> design issue...

It only shows up in OWL Full.

peter