Re: Fuzzy about Functional Property

At 12:02 -0500 2/26/03, Roger L. Costello wrote:
>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

Roger - way cool example - (Jeremy, I wonder if we should make this 
one of our test cases for Owl Full).   This is definitely one of the 
uses for functional property.
-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Wednesday, 26 February 2003 12:28:50 UTC