  on owl:imports  From: Jeremy Carroll <jjc@hpl.hp.com> Date:
Thu, 14 Jun 2007 16:03:31 +0100 Message-ID:
<467158C3.6000404@hpl.hp.com> To: Alan Ruttenberg
<alanruttenberg@gmail.com>, Owl Dev <public-owl-dev@w3.org>  Hi
Alan  following up from our chat yesterday, (but note public
list), you  mentioned how some of the possible constructs in OWL
Full seemed totally  useless and just plain confusing.  Two you
mentioned were:  what would  rdf:type rdf:type rdfs:Class .
And what would:  restriction( owl:imports, minCardinality(4) )
The general OWL Full mentality, is to allow people to say
things,  including unhelpful things, and then to take a garbage-
in garbage-out  type approach.  For instance, earlier today I
have been answering a question on the jena  support list
concerning an intersection of a class and a datatype  property:
unsurprisingly not what was intended.  But, it has occurred to
me that the restriction on owl:imports is, in  fact, plausibly
useful in some cases.  Here goes:  I have been investiga