Dear All, We ran here in a modeling issue for which we would highly appreciate your advice.
Suppose I have the following ontology: · Vehicle class · Body class · Wheel class with subclass 17inchWheel · hasPart object property Vehicle hasPart Wheel, 2 or more > QCR-mincard Vehicle hasPart exactly one Body > QCR-card My preference is not to introduce subproperties of hasPart (we prefer one consistent approach that is, now at least, quite class-based). Now suppose we want to model a subclass of Vehicle, a 17inchWheelVehicle (a "vehicle having only 17inch wheels") and want to say that all wheels should be of type 17inchWheel. The first idea was to add an allValuesFrom for hasPart but this is limiting this hasPart too much (also the subtype has a body etc.). Next we could add also a mincard-QCR on the subtype now qualified for 17inchWheel but this is not covering the semantics: then there can be 2 17inchwheels and 2 non-17inchwheels...which you want to exclude So what we really need is a kind of "qualified allValuesFrom" here....: 17inchWheelVehicle hasPart Wheel: allValuesFrom 17inchWheel Which is of course not available. Comments/advice very welcome, In case we have to start introducing subproperties of hasPart here, I would also like to know what are good strategies ( a subprop. For each potential part?, only under certain conditions etc.?), Thanks a lot, Michel Dr. ir. H.M. (Michel) Böhms Sr. Research Scientist Technical Sciences T +31 (0)88 866 31 07 M +31 (0)63 038 12 20 E [email protected]<mailto:[email protected]> Location<http://www.tno.nl/locaties/dtm> Disclaimer<http://www.tno.nl/emaildisclaimer> [Description: C:\Users\bohmshm\AppData\Roaming\Microsoft\Signatures\TNO (EN)_files\logo_signature.gif]<http://www.tno.nl/> -- -- 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
<<inline: image001.gif>>
