W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: Even more Fuzzy about FunctionalProperty!

From: Mike Dean <mdean@bbn.com>
Date: Wed, 05 Mar 2003 05:14:09 -0800
Message-Id: <200303051314.FAA20556@escher.SD.BBN.COM>
To: "Roger L. Costello" <costello@mitre.org>
Cc: www-rdf-logic@w3.org

A better example for FunctionalProperty is probably
hasFather.  If I know that

  :hasFather rdf:type owl:FunctionalProperty
  :mike :hasFather :joe
  :mike :hasFather :joseph

I can then conclude that

  :joe owl:sameIndividualAs :joseph

Such cardinality reasoning with data type properties is less
useful, although the modelling aspects of "at most 1" can
also be very important (as seen in most programming
languages and database systems).

Also, I would recommend that folks avoid using a value like
"6300 kilometers" in favor of a representation that made
6300 an XML Schema numeric datatype (e.g. xsd:decimal)
suitable for arithematic computation and :kilometers an
instance that could then be related to other instances such
as :miles and :meters.

	Mike
Received on Wednesday, 5 March 2003 08:22:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT