In 6beta the behaviour is exactly the same. Hereby the files.
1. solutions.ttl The instance Square_1 with 25/25 width/length shows no constraint warning. This is ok. 2.requirements.ttl Importing solutions.ttl DOES show a warning for the same instance! Note also that solutions:width has an an empty symbol when imported (not the "F"). (ignore the added constraints in the second file, they are not relevant here) Thanks, Michel Dr. ir. H.M. (Michel) Bohms Sr. Research Scientist Structural Reliability T +31 (0)88 866 31 07 M +31 (0)63 038 12 20 E michel.bo...@tno.nl -----Original Message----- From: topbraid-users@googlegroups.com [mailto:topbraid-users@googlegroups.com] On Behalf Of Scott Henninger Sent: maandag 5 maart 2012 18:17 To: TopBraid Suite Users Subject: [topbraid-users] Re: Question on constraint import Michel; We are not able to reproduce this problem, regardless of whether the values are untyped or typed literals. Can you give us some more information, including what OS you are running on? -- Scott On Mar 5, 7:24 am, Michel Bohms <michel.bo...@gmail.com> wrote: > I have an ontology with: > ASK WHERE { > ?this :length ?length . > ?this :width ?width . > FILTER (?length != ?width) . > > } > > instantiating gives the right warnings when not ok. > > But when I import this ontology in another one, the flag is always > raised, also in case of say 10/10. > > Any idea? > thx Michel > > ps running: > TopBraid Composer Maestro Edition > from TopQuadrant. > > Version: 3.5.2.v20110828-2200R -- 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 and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en This e-mail and its contents are subject to the DISCLAIMER at http://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 and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
solutions.ttl
Description: solutions.ttl
solutions.ttl.tbc
Description: solutions.ttl.tbc
requirements.ttl
Description: requirements.ttl
requirements.ttl.tbc
Description: requirements.ttl.tbc
