Michel; That may be the best way to model this, depending on the
semantics you are trying to convey.
If you choose to model the property range, i.e. {:footLength
rdfs:range unit:Meter}, then the RDFS entailment is that any triple
with the :footLength property has a type of unit:Meter in its range.
I.e.:
?s :footLength ?o .
?o a unit:Meter .
...will always hold true.
If you choose to model this as a local class restriction, then the
entailment is limited to all members of the class. Using your
restriction, if a member of :Person has a :footLength property, then
its type is unit:Meter. I.e.:
?s a :Person .
?s :footLength ?o .
?o a unit:Meter .
...will always hold true.
So you can see that the bottom-line effect of a local restriction is
to limit the entailment to members of the restricted class.
-- Scott
On Oct 25, 6:40 am, "Bohms, H.M. (Michel)" <[email protected]>
wrote:
> would:
>
> :Person
>
> a owl:Class ;
>
> rdfs:subClassOf owl:Thing ;
>
> rdfs:subClassOf
>
> [ a owl:Restriction ;
>
> owl:allValuesFrom unit:Meter ;
>
> owl:onProperty :footLenght
>
> ] .
>
> the right way to model a unit at class level (instead of for all classes via
> range)
>
> Dr. ir. H.M. (Michel) Böhms
> Sr. Research Scientist
> Technical Sciences T +31 888663107
> M +31 630381220
> E [email protected]<mailto:[email protected]>
> Location<http://www.tno.nl/locaties/dtm>
> Disclaimer<http://www.tno.nl/emaildisclaimer>
>
> [cid:498531511@25102011-2766]<http://www.tno.nl/>
>
> logo_signature.gif
> 3KViewDownload
--
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include TopBraid Composer,
TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en
