Assume I have a hasPart object property.

I modelled a Car class and part classes like Body, Engine and Wheel. Wheel 
is subclassed in 17inchWheel.

Now I want to model a CarWithOnly17inchWheels with a qualified restriction.

I see two options:
- maxcard = 0 (Wheel and not(17inchwheel)...for hasPart for that class
or
- allvaluesfrom not (Wheel and not(17inchWheel))...for hasPart for that 
class
(or alValuesFrom (not(Wheel) or 17inchWheel)

what would be the right/best approach or are they equivalent?
and, how do I model these options exactly in TBC (I tried manchester syntax 
but I cant find out how to do both...)

thx a lot, Michel

-- 
-- You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary 
Network (EVN), TopBraid Composer, TopBraid Live,
TopBraid Ensemble, SPARQLMotion, SPARQL Web Pages 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
--- 
You received this message because you are subscribed to the Google Groups 
"TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to