W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2001

concrete types and inference

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Mon, 07 May 2001 19:39:25 +0100
Message-ID: <3AF6EBDD.A54BA5A4@hplb.hpl.hp.com>
To: www-rdf-logic@w3.org
In http://www.daml.org/2001/03/daml+oil-ex.daml it states:

<Person rdf:ID="Ian">
  Ian is an instance of Person. Ian has shoesize 14 and age 37. From
  the range restrictions we know that these are of type xsd:decimal
  and xsd:nonNegativeInteger respectively. Ian also has shirtsize 12,
  the type of which is the union type clothingsize; the discriminating
  type "string" has been specified, so the value is to be taken as the
  string "12" rather than the integer 12.  We may be able to infer
  that Ian is an instance of BigFoot (because 14 is a valid value for
  <shirtsize><xsd:string rdf:value="12"/></shirtsize>

which represents a set of RDF statements including:

 (shoesize, Ian, "14")

I was expecting that the set of statements would include instead:

 (shoesize, Ian, #anon1)
 (rdf:value, #anon1, "14")

which could be written in RDF

  <shoesize rdf:value="14"/>

With this construction, the inference of the type can be represented
simply by adding:

  (rdf:type, '#anon1, xsd:decimal)

to the graph.

Brian McBride
Received on Monday, 7 May 2001 07:39:40 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:37 UTC