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>
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 EST

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