Re: RDF and (a subsets of) F-Logic

> Michael Kifer wrote:
> 
> > Also, at the f2f we discussed that OWL uses RDF data, but strictly
> > separates individuals from concepts.
> 
> OWL/DL does, OWL/full of course does not. We have a significant number 
> of uses and users of OWL/full so requiring such separation could be a 
> serious problem for us. [I don't think you were suggesting that but 
> wanted to be on record on this.]

Yes, I was just pointing out that it is possible.
But if OWL/DL is an issue (I forgot why it was raised at f2f),
sorts allow us to separate things in the core and not separate in some
other dialect.


	--michael  


> Dave
> 
> > Just wanted to point out that sorts can give us a way to do that also.
> > Simply require appropriate signatures for the subclassOf, memberOf
> > relationships, and also for the attributes of objects (i.e., rolesd).
> > 
> > 
> > 	--michael  
> > 
> 
> 

Received on Thursday, 22 March 2007 14:03:59 UTC