- 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>
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="⪚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 UTC