- From: Roger L. Costello <costello@mitre.org>
- Date: Wed, 05 Mar 2003 10:48:59 -0500
- To: www-rdf-logic@w3.org
- CC: "Costello,Roger L." <costello@mitre.org>
"Peter F. Patel-Schneider" wrote:
>
> > 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.
>
> Well, the above is English, not OWL. I suggest that you represent the
> above in OWL, if possible, and then redo the example.
It seems like perfectly good OWL to me. Here's the definition of
lengthOf:
<owl:DatatypeProperty rdf:ID="lengthOf">
<owl:type rdf:resource="http://.../owl#FunctionalProperty"/>
<rdfs:range rdf:resource="http://.../rdf-schema#Literal"/>
<rdfs:domain rdf:resource="#Stream"/>
</owl:DatatypeProperty>
Here's an instance document that uses the lengthOf property:
<River rdf:ID="Yangtze">
<length>6300 kilometers</length>
</River>
And here's a second instance document which uses the lengthOf property:
<River rdf:ID="Yangtze">
<length>3937.5 miles</length>
</River>
Since lengthOf has been declared to be a FunctionalProperty I can infer:
6300 kilometers = 3937.5 miles
Why is this not OWL? Thanks! /Roger
Received on Wednesday, 5 March 2003 10:48:05 UTC