- From: Mike Dean <mdean@bbn.com>
- Date: Wed, 05 Mar 2003 05:14:09 -0800
- 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 UTC