Yes, this is a really nice feature of SPIN. As opposed to being limited to checking consistency of the model, any data constraint can be expressed. Given that, the data constraints are valid before or after applying rules, inference, etc. Another advantage of this approach is that there isn't a problem with halting inference because there is a trivial inconsistency. Instead full inference can be executed, and a full accounting of any inconsistency or data integrity rule can be applied to the results.
-- Scott On Jun 9, 1:38 am, Gerrit <[email protected]> wrote: > Hmm.. I think my question should rather be: When property chains are > inferred, why are constraint violations not prevented? E.g. if I have > an irreflexive property with a property chain, the property chain is > still inferred, and just a violation warning is displayed. > > On Jun 9, 10:14 am, Gerrit <[email protected]> wrote: > > > I think I just found the solution to the first question: Clicking on > > the arrow next to rdf:type and selecting "Add existing..." > > > On Jun 9, 10:10 am, Gerrit <[email protected]> wrote: > > > > Two questions: > > > > If I want to define a property as irreflexive, do I have to click on > > > the arrow next to rdf:type, click "Add empty row" and then enter > > > "owl:IrreflexiveProperty" manually, or is there a faster way of doing > > > this? I see other options like owl:SymmetricProperty is available > > > there. > > > > If I add additional statements to a property that is imported from > > > another ontology, is it possible to reflect the change in the actual > > > imported ontology, or will the new statement always be added to the > > > ontology that is being edited? > > > > Regards, > > > Gerrit -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion 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
