Re: [topbraid-users] Newbie UI question

[Scott Henninger]

Matthew; Check the inference settings (Inference > Configure Inference...) and make sure you have Jena Reasoner, SwiftOWLIM or TopSPIN chosen.  If you use TopSPIN, keep in mind that you need to set the reasoning profile.  To do that, go to the ontology home (house icon in top icon row) and choose the Profile sub-tab of the middle Resource Form pane.  Choose the RDFS Plus profile for your inverse properties.  OWL 2 RL for OWL inferences not included in the RDFS Plus profile. If those don't hit the issue, then we'll need a more detailed description of the actions you are taking and what specifically what is not meeting your expectations. -- Scott On 1/22/2013 10:55 AM, Matthew Degel wrote: I do understand that and I have re-run the inferences. The inferred domain and range are still not showing up. On Thursday, January 17, 2013 6:47:19 PM UTC-5, Scott Henninger wrote: Matthew; Inferences are not saved, by definition.  Therefore they will need to be re-executed each time the file (or any graph source) is opened. If you need to undo the inferences, use the Inference > Reset Inferences.  The inferences can be run any time. -- Scott On 1/17/2013 6:25 PM, Matthew Degel wrote: I've only just started using TopBraid. Say I define the following concepts...    :Author a owl:Class.    :Novel a owl:Class.    :authorOf a owl:ObjectProperty ;        rdfs:domain :Author ;       rdfs:range :Novel . Next, I create an inverse of the object property...    :writtenBy a owl:ObjectProperty ;       owl:inverseOf :authorOf . After I did this and ran inferencing, I looked at the form view of the resource editor and I could swear the UI showed the inferred domain and range values highlighted as inferences (blue field background). I've tried doing this since but i can't duplicate the behavior.  Did I actually see this or was I imagining it? What could I have been doing differently the first time? Thanks Matthew -- -- 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 topbrai...@googlegroups.com To unsubscribe from this group, send email to topbraid-user...@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 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 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 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 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