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: Thu, 3 Apr 2003 20:22:52 +0200
To: "Ian Horrocks" <horrocks@cs.man.ac.uk>, "Graham Klyne" <GK@NineByNine.org>
Cc: "pat hayes" <phayes@ai.uwf.edu>, <w3c-rdfcore-wg@w3.org>

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:onProperty rdf:resource="&eg;realComment"/>
      <owl:minCardinality rdf:datatype="&xsd:integer"

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 Thursday, 3 April 2003 13:23:18 UTC

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