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

RE: comment horrocks-01

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 4 Apr 2003 10:59:46 +0200
To: "Brian McBride" <bwm@hplb.hpl.hp.com>, "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>
Message-ID: <BHEGLCKMOHGLGNOKPGHDAEGNCBAA.jjc@hpl.hp.com>

Oops sorry - I did say the observation was unhelpful.

Jeremy

> -----Original Message-----
> From: Brian McBride [mailto:bwm@hplb.hpl.hp.com]
> Sent: 04 April 2003 10:37
> To: Jeremy Carroll; Ian Horrocks; Graham Klyne
> Cc: pat hayes; w3c-rdfcore-wg@w3.org
> Subject: 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
>
>
Received on Friday, 4 April 2003 04:05:18 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:56:51 EDT