W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2003

RE: comment horrocks-01

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Fri, 04 Apr 2003 09:36:53 +0100
Message-Id: <>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "Ian Horrocks" <horrocks@cs.man.ac.uk>, "Graham Klyne" <GK@NineByNine.org>
Cc: "pat hayes" <phayes@ai.uwf.edu>, <w3c-rdfcore-wg@w3.org>

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


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:
>    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>
>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
Received on Friday, 4 April 2003 03:36:07 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:21 UTC