RE: comment horrocks-01 from Jeremy Carroll on 2003-04-03 (w3c-rdfcore-wg@w3.org from April 2003)

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>
Message-ID: <BHEGLCKMOHGLGNOKPGHDIEGMCBAA.jjc@hpl.hp.com>

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