Re: semantics document revised

>From: pat hayes <phayes@ai.uwf.edu>
>Subject: Re: semantics document revised
>Date: Mon, 23 Sep 2002 20:39:34 -0500
>
>[...]
>
>>  I don't follow you. Of course, in general, they won't have a single
>>  common interpretation.  RDF doesn't have a single common
>>  interpretation, after all, so the interpretation of the RDFS
>>  vocabulary is going to change across interpretations.  Maybe in some
>>  of them there will be classes with more than 57 subclasses, in others
>>  there won't. Some RDFS graphs can be satisfied in very small
>>  interpretations.
>
>Let me rephrase my concern then.
>
>I am concerned that there is no Large OWL interpretation of the empty
>graph.  Remember, such a Large OWL interpretation has to consistently
>assign class extensions to things like the class of classes that have at
>most 57 superclsses.

Right. OK, how about if I construct a large OWL interpretation of the 
empty graph? That would be the required 'core structure' for all 
other interpretations in any case. I have to provide interpretations 
for the RDFS+OWL vocabularies, but nothing more. Bet you a glass of 
scrumpy I can do it?

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 23 September 2002 22:57:55 UTC