Michel; The templates Holger refers to are the implementation of the CWA constraints you use when choosing "SPIN constraints on OWL axioms with CWA" in the Profile sub-tab. They refer to the same thing and Holger may be indicating that you can extend these if you wish.
-- Scott On Sep 20, 1:40 am, Michel Bohms <[email protected]> wrote: > Hi Scott, (Holger) > > works perfectly (some constraints only satisfied after inference as > expected) > > but I was wondering how it relates to the answer by Holger who advices to > use the spin template.. > > isnt this template this/your way instantiated on the fly? > > thx again, michel > > 2012/9/19 Scott Henninger <[email protected]> > > > > > > > > > Michel; I'm not sure, but are you referring to the CWA (Closed World > > Assumption) constraints on OWL axioms? To turn these on, go to the > > Ontology Home and choose the Profile sub-tab. Choose "SPIN > > constraints on OWL axioms with CWA". > > > You can then see the results in two ways. Refresh the Problems View > > (Window > Show View) to see all constraint violations in your > > workspace, so it may take a few minutes. To see individual violations > > in Composer's UI, click on the "Display constraint violations" icon > > (yellow warning sign with an exclamation) and violations will appear > > in the form for instances of your model. > > > -- Scott > > > On Sep 19, 9:02 am, Scott Henninger <[email protected]> > > wrote: > > > Michel; Yes, there needs to be a way of materializing the inferences. > > > > And if these "inferences" are relationships you always need, then I > > > would suggest asserting them in your model. > > > > -- Scott > > > > On Sep 19, 8:58 am, "Bohms, H.M. (Michel)" <[email protected]> > > > wrote: > > > > > Ok but... > > > > > The relations I DO have (like hasBody) are all a subproperty of the > > indicated property....(hasParts) > > > > > So this works only after inferencing than? > > > > > 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] > > > > Location > > > > Disclaimer > > > > > -----Original Message----- > > > > From: [email protected] [mailto: > > [email protected]] On Behalf Of Scott Henninger > > > > Sent: woensdag 19 september 2012 15:48 > > > > To: TopBraid Suite Users > > > > Subject: [topbraid-users] Re: associations view issue > > > > > Michel; The Association View will show all property "chains" of > > resources that use the property. In the files you attached, the properties > > are not used, so they will not appear in the Association View. For > > example, if you had defined: > > > > > :MyCar cmo:hasPart :Body_1 . > > > > :Body_1 cmo:hasPart :NavigationSystem_1 . > > > > > Then you would get a tree in the Association View like the following > > (you can reverse the property, if that is better): > > > > > - :NavigationSystem_1 > > > > | > > > > -- Body_1 > > > > | > > > > -- :MyCar > > > > > If you are looking for the subPropertyOf tree, then that appears by > > default in the Properties View. > > > > > -- Scott > > > > > On Sep 19, 3:14 am, "Bohms, H.M. (Michel)" <[email protected]> > > > > wrote: > > > > > I try to view the decomposition tree based on cmo:hasParts or > > composite:child in car.ttl. > > > > > > When I try to select one of these properties in the association-view > > I don't see them! > > > > > (only the defined leaves like hasBody, hasWheel etc. which have only > > one decomposuition step, clearl;y I want their superproperties... > > > > > > What am I doing wrong? > > > > > > Att. are the 2 relevant files (locally avail. In the workspace) > > > > > > Version: TopBraid Composer Maestro Edition > > > > > from TopQuadrant. > > > > > Version: 3.6.0.v20120209-1231B > > > > > > Thx 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/> > > > > > > image001.gif > > > > > 3KViewDownload > > > > > > car.ttl > > > > > 4KViewDownload > > > > > > cmo.ttl > > > > > 1KViewDownload > > > > > > This e-mail and its contents are subject to the DISCLAIMER > > > > > athttp://www.tno.nl/emaildisclaimer > > > > > -- > > > > -- 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 athttp:// > > groups.google.com/group/topbraid-users?hl=en > > > -- > > -- 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 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
