Re: [topbraid-users] Re: rdfs:subClassOf transitivity?

2014-08-21 Thread Holger Knublauch

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? :(

2014-08-21 Thread Scott Henninger

  
  
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 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

Re: [topbraid-users] impossible to remove a piece of code from ui:prototype? :(

2014-08-21 Thread Nicolae Marasoiu
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.