- 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