Re: [topbraid-users] Re: rdfs:subClassOf transitivity?
On 8/21/2014 16:58, Lieke Verhelst wrote: I also expressed some frustration about the working of the complete mode switch. My point here is that it is often necessary to enable complete mode to be able to see the working of inference according to the spec. While in the documentation this is characterized as "redundant". *It seems that the filtering of one triple* (in this case X rdfs:subClassOf X ) *causes the filtering of other - not redundant, but desired - statements*, even to the point of not detecting inconsistency...(I referenced above to another thread) Can you give me an example Turtle file of where inconsistencies were not detected? This would be a bug indeed. I don't need to keep you any more busy. As far as I am concerned the thread can be closed with a few comments from you regarding my following assumption: when I run the SPIN OWL2-RL reasoner on the ontology listed in the initial thread entry above with complete mode OFF, I see no results for the scm-sco rule because statements are filtered out that cause the hierarchy tree to be messed up, in particular X rdfs:subClassOf X . Because of this, other statements like :C rdfs:subClassOf :A are also not displayed. Yes this is intentional, because a A/B/C tree has all information needed for a human user to understand what's going on. I just looked at the source code and for each newly touched class, it will remove all transitive superclasses of all direct superclasses, e.g. if C if inferred to be subclass of A then this triple will be deleted if C is also subclass of B (in your example). This happens after all other inferences have been completed, i.e. the whole TopSPIN looping and stuff is done. There is also code that makes sure that each named class at least has owl:Thing as its parent, so that people can see it in the class tree. HTH Holger -- -- 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 Insight, SPARQLMotion, SPARQL Web Pages 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 --- 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 topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [topbraid-users] impossible to remove a piece of code from ui:prototype? :(
Nicolae; Traversing to the graph where the property value is defined depends on whether or not you have access to the owl:imported data - it could be imported from the Web or a read-only graph. Also, if you wanted just look at the definition, then you'd have to realize that a different graph had been loaded and move back. That could be more confusing and error-prone. In the meantime, the Composer UI gives some cues in the icon on whether the property is defined on the current graph or not. A good references is at Composer Help > TopBraid Composer > Reference > Icons Legend. Also, if you mouse over the property icon, a tooltip will tell you where the property value has been defined. -- Scott On 8/21/2014, 1:26 PM, Nicolae Marasoiu wrote: hi, in fact the code i was calling was updated to include the code i deleted..so no prb anymore, thank you! we have another problem that clicking into functions or swp modules stays in the same editor tab/file , even if it actually navigates ti a graph in another perhaps currently opened file. this ia confusing, misleading and eror prone, can it be made to navigate to the other file and open it i it is not? thanks În data de joi, 21 august 2014, Holger Knublaucha scris: Another thought is doing a web browser refresh (if this is UI code). Holger On 8/21/14, 12:33 AM, Nicolae Marasoiu wrote: Hi, Editing ui:errorPrototype, I remove a piece of code. I refreshed, the same. Restarted, the same. Reimported fully the project after stopping TBC, removing workspace, the same. Where can this state be? I triple checked the file content and the piece of code is no longer there. I have been told by my colleagues that "rollbacks" are almost impossible task, too. Any idea why is this happening? Thanks, Nicu Marasoiu Computas -- -- 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 Insight, SPARQLMotion, SPARQL Web Pages 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 --- 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 topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- -- 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 Insight, SPARQLMotion, SPARQL Web Pages 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 --- You received this message because you are subscribed to a topic in the Google Groups "TopBraid Suite Users" group. To unsubscribe from this topic, visit https://groups.google.com/d/topic/topbraid-users/makF_Ktjbdc/unsubscribe. To unsubscribe from this group and all its topics, send an email to topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- -- 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 Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this
Re: [topbraid-users] impossible to remove a piece of code from ui:prototype? :(
hi, in fact the code i was calling was updated to include the code i deleted..so no prb anymore, thank you! we have another problem that clicking into functions or swp modules stays in the same editor tab/file , even if it actually navigates ti a graph in another perhaps currently opened file. this ia confusing, misleading and eror prone, can it be made to navigate to the other file and open it i it is not? thanks În data de joi, 21 august 2014, Holger Knublauch a scris: > Another thought is doing a web browser refresh (if this is UI code). > > Holger > > > On 8/21/14, 12:33 AM, Nicolae Marasoiu wrote: > > Hi, > > Editing ui:errorPrototype, I remove a piece of code. I refreshed, the > same. Restarted, the same. Reimported fully the project after stopping TBC, > removing workspace, the same. > Where can this state be? I triple checked the file content and the piece > of code is no longer there. > I have been told by my colleagues that "rollbacks" are almost impossible > task, too. > > Any idea why is this happening? > Thanks, > Nicu Marasoiu > Computas > -- > -- 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 > Insight, SPARQLMotion, SPARQL Web Pages 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 > --- > 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 topbraid-users+unsubscr...@googlegroups.com > > . > For more options, visit https://groups.google.com/d/optout. > > > -- > -- 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 > Insight, SPARQLMotion, SPARQL Web Pages 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 > --- > You received this message because you are subscribed to a topic in the > Google Groups "TopBraid Suite Users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/topbraid-users/makF_Ktjbdc/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > topbraid-users+unsubscr...@googlegroups.com > > . > For more options, visit https://groups.google.com/d/optout. > -- -- 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 Insight, SPARQLMotion, SPARQL Web Pages 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 --- 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 topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.