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

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...




-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Thursday, 10 April 2003 11:21:40 UTC