RE: [RIF] Extensible Design

> However, making the domain/range be a non-literal rdfs:Class 
> doesn't really impose any restriction.

It does, whenever most of your classes are disjoint, 
which is typically the case in any real world ontology. 

> Less clearly, the object can be a URIreference without 
> an error. 

But only if this URIref is not also an instance of some 
class.
 
> Further, if the value is a typed value but for an unknown 
> type then there is no error because there is nothing to 
> prevent the value for my datatype, that you haven't heard 
> of, from overlaping with xsd:int. The 
> open world assumption applies to datatypes as well.
 
OK, but that doesn't seem to be the typical case to me.

-Gerd