W3C home > Mailing lists > Public > public-webont-comments@w3.org > March 2003

Re: Fuzzy about Functional Property

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Mon, 3 Mar 2003 20:21:45 +0000
Message-ID: <1057786946.IAA22192@phantom.w3.org>
To: "Roger L. Costello" <costello@mitre.org>
Cc: public-webont-comments@w3.org

On February 26, Roger L. Costello writes:
> 
> Hi Folks,
> 
> I am a bit confused about what a functional property is.  Let me give an
> example:
> 
> Let the property be: lengthOf
>   - it maps a River to a Distance
> 
> Suppose that one instance document asserts this:
> 
>     The Yangtze has a lengthOf 6300 kilometers.
> 
> A second instance document then asserts this:
> 
>     The Yangtze has a lengthOf 3937.5 miles.
> 
> If lengthOf has been declared "functional" then we can infer that:
> 
>     6300 kilometers = 3937.5 miles.
> 
> Is the purpose of functional to enable inferences like this?  /Roger

Unfortunately, I don't believe that we can capture this in OWL, as
there is no way to apply a unit to an XML Schema data type, and
certainly not to specify the relationship between two values having
different units.

If OWL supported binary datatype predicates (in fact it only supports
unary datatype predicates), then one way we could do this would be to
define a pair of functional datatype properties called something like
kLength and mLength, and a binary datatype predicate called something
like ratio1.6:1. Then we could make the assertion that
allValuesFrom((kLength,mLength),ratio1.6:1) must be true in all cases
(i.e., subsumes Thing).

Even this doesn't exactly give you the inference you suggested - it
tells you that anything having both a kLength and an mLength that are
not in the ratio 1.6:1 is logically inconsistent.

Regards, Ian
Received on Monday, 3 March 2003 17:57:30 GMT

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