RE: comment horrocks-01

Err, I thought we had disposed of horrocks-01 and were just waiting for Pat 
to write it up.

Brian

At 20:22 03/04/2003 +0200, Jeremy Carroll wrote:



>Possible unhelpful observation ...
>
>once XML Schema give us a URI for user defined types, and using facilities
>in OWL DL then:
>
>define
>    realComment as an owl:DatatypeProperty with range string of length
>1000000 or less.
>
>add an axiom giving
>
><owl:Class rdf:about="&owl:Thing">
>   <owl:equivalentClass>
>     <owl:Restricition>
>       <owl:onProperty rdf:resource="&eg;realComment"/>
>       <owl:minCardinality rdf:datatype="&xsd:integer"
>        >&VeryBigNumber;<owl:minCardinality>
>     </owl:Restriction>
>   </owl:equivalentClass>
></owl:Class>
>
>As long as &VeryBigNumber; is exactly the number of strings of length
>1000000 or less then we have addressed Ian's requirement.
>
>(All possible realComments are necessarily true)
>It is hard to know how many strings there are - it might not even be time
>constant.
>
>Jeremy