Thanks for this very clear info esp. on SPIN/SPARQL versus RIF... Michel
Dr. ir. H.M. (Michel) Böhms Sr. Research Scientist Technical Sciences T +31 (0)88 866 31 07 M +31 (0)63 038 12 20 E [email protected]<mailto:[email protected]> Location<http://www.tno.nl/locaties/dtm> Disclaimer<http://www.tno.nl/emaildisclaimer> [Description: C:\Users\bohmshm\AppData\Roaming\Microsoft\Signatures\TNO (EN)_files\logo_signature.gif]<http://www.tno.nl/> From: [email protected] [mailto:[email protected]] On Behalf Of Irene Polikoff Sent: dinsdag 25 september 2012 22:52 To: [email protected] Subject: RE: [topbraid-users] Re: constraint modelling Michel, Any inference engine in order to do its processing needs to represent the standard in a format it can understand and use. For TopSPIN this format is SPARQL and RDF. SPIN is currently a W3C member submission. It is up to W3C to decide(based on the various criteria of which industry interest and adoption seem to play a significant role) what submissions it will take through the entire standardization process taking typically 2-3 years. We have heard that W3C is considering starting a working group (this would be the group to take it through the full standard status) this fall for representing rules in SPARQL and RDF. SPIN has been identified as a key input for such a group. As always, in the standardization process some things will change along the way, but we are committed to keeping up with the standards development and will adjust accordingly. For the comparison with RIF see this blog entry http://topquadrantblog.blogspot.com/2011/06/comparing-spin-with-rif.html . Since I have not been involved with RIF development it would be inappropriate for me to go as far as to say that RIF is not successful or dead on arrival. There have been, however, public statements made pretty much along these lines by the RIF working group leader and other folks at W3C. Regards, Irene Polikoff From: [email protected]<mailto:[email protected]> [mailto:[email protected]]<mailto:[mailto:[email protected]]> On Behalf Of Michel Bohms Sent: Tuesday, September 25, 2012 2:01 PM To: [email protected]<mailto:[email protected]> Subject: Re: [topbraid-users] Re: constraint modelling Hi Scott maybe I am wrong but although SPIN is itself owl-based (meta-wise) I still see a difference in directly owl-based (only dependent on a standard) and a rule/constraint as a language that has to become a standard first.... but ok, the message is like : when you want constraints modelled take the spin/sparql route... what brings me to...what is the current status and outlook of spin and the actual acceptance as constraint language? and, is there a potential overlap with RIF developments? (like I see in http://www.w3.org/TR/2010/REC-rif-dtb-20100622/) sorry if the question is already wrong, I am a bit newbee in this rule stuff gr Michel 2012/9/25 Scott Henninger <[email protected]<mailto:[email protected]>> On Sep 25, 9:38 am, "Bohms, H.M. (Michel)" <[email protected]<mailto:[email protected]>> wrote: > Dear all, > > Once in a while we ask ourselves: what is the best way to model numerical > constraints. > In the past we used SPIN/SPARQL constraints but can't we do it more > rdf/rdfs/owl-based? Michel; I don't see the distinction you are trying to raise. For example, the OLW 2 RL profile written in SPIN **is** OWL based. It is an implementation of OWL rules. It also does all of the OWL-based consistency checking. Please note the distinction between consistency checking and constraints. OWL consistency checks cover just a few FOL (first-order predicate logic) inconsistencies, such as declaring that an instance is a member of disjoint classes. Constraints cover any data relationship that can be computed by the reasoner - SPARQL in the case of SPIN. > Like simple example: SmallCar being subclass of Car with length property > where SmallCar has length < 2 ('meter' acc. to nasa ont.) > > (Or subclasses for "requiredItems" as subclasses limiting the solution space > in case of configuration processes). > > Kind of hasValue but then more flexible "hasLessThanValue etc. > > Guess all this is OWA-related like the examples > in:http://answers.semanticweb.com/questions/1476/expressing-constraints-... > You can write SPIN constraints for all of these. It is not part of RDFS or OWL inferences, though, by definition of the standards. -- Scott -- -- 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 [email protected]<mailto:[email protected]> To unsubscribe from this group, send email to [email protected]<mailto:topbraid-users%[email protected]> 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 [email protected]<mailto:[email protected]> To unsubscribe from this group, send email to [email protected]<mailto:[email protected]> 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 [email protected]<mailto:[email protected]> To unsubscribe from this group, send email to [email protected]<mailto:[email protected]> 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 [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
<<inline: image001.gif>>
