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

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 18:20:08 UTC