Hi As indicated in the examples in the Virtuoso inferencing documentation at [1] you would need to load your OWL files into Virtuoso, which being in RDF/XML can be done with the Virtuoso RDF_LOAD_RDFXML() function as detailed at [2]. Once the data is loaded into Virtuoso you can then used the rdfs_rule_set() function to create the rule sets in Virtuoso, at which point when creating the Virtuoso Sesame HTTP Repository you can then set the "Inference RuleSet name" parameter to the name of the rule set to be used ie "upper" in your example below. Note also when using the SPARQL query interface of the OpenRDF Workbench, you also need to check the "Include inferred statements" check box of the rule set to be applied against the query being run.
I hope this answers your question, as that is how I got this to work in the OpenRDF Workbench using the first example in section 16.8.8.1 of the the documentation at [1] ... Best Regards Hugh Williams Professional Services OpenLink Software Web: http://www.openlinksw.com Support: http://support.openlinksw.com Forums: http://boards.openlinksw.com/support Twitter: http://twitter.com/OpenLink [1] http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruleexamples [2] http://docs.openlinksw.com/virtuoso/fn_rdf_load_rdfxml.html On 4 Jun 2010, at 04:13, bluestar wrote: > Hi Hugh, > > thanks for this. it confirms what i was thinking. and yes i am using the > sesame provider as outlined in the link you gave me. > > however my next question is; how do i do it using this rdfs_rule_set > function; i am not really sure about this. > > for example my owl files are very similar to > http://proton.semanticweb.org/2005/04/protonu, > http://proton.semanticweb.org/2005/04/protont, > http://proton.semanticweb.org/2005/04/protons > > how would i do this using these owl files? > > like this: > > rdfs_rule_set ("upper", "http://proton.semanticweb.org/2005/04/protonu";)? > > if so this seems to have no effect at all. > > Please let me know. > > cheers. > > >> Hi >> >> If using the Virtuoso Sesame HTTP repository as detailed at [1], then you >> can create your inference rules in Virtuoso using the rdfs_rule_set >> function as detailed at [2], then you can use the "Inference RuleSet name" >> parameter of the created Virtuoso Sesame HTTP repository to specify the >> inference rule set name to be used.created with the rdfs_rule_set >> function. >> >> Best Regards >> Hugh Williams >> Professional Services >> OpenLink Software >> Web: http://www.openlinksw.com >> Support: http://support.openlinksw.com >> Forums: http://boards.openlinksw.com/support >> Twitter: http://twitter.com/OpenLink >> >> [1] >> http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/VirtSesame2HttpRepository >> [2] >> http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlrulemake >> >> On 3 Jun 2010, at 15:32, bluestar wrote: >> >>> hi, >>> >>> i am trying to use the Virtuoso sesame provider. how do i achieve >>> inferencing through this? >>> >>> I have been using sesame in-mem with direct type hierarchy, but now >>> moving >>> to Virtuoso. i want the same behaviour in virtuoso. >>> >>> i have 3 different owl files with the hierachy of all my classes; plus >>> thousands of triples based on this. >>> >>> i can see there is a "Inference RuleSet name" field in the repo creation >>> screen of Virtuoso sesame provider; what do i put in there? >>> will this enable inferencing? >>> >>> any suggestions will be greatly appreciated. >>> >>> thanks >>> >>> >>> >>> >>> ------------------------------------------------------------------------------ >>> ThinkGeek and WIRED's GeekDad team up for the Ultimate >>> GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the >>> lucky parental unit. See the prize list and enter to win: >>> http://p.sf.net/sfu/thinkgeek-promo >>> _______________________________________________ >>> Virtuoso-users mailing list >>> [email protected] >>> https://lists.sourceforge.net/lists/listinfo/virtuoso-users >> >> > > > > ------------------------------------------------------------------------------ > ThinkGeek and WIRED's GeekDad team up for the Ultimate > GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the > lucky parental unit. See the prize list and enter to win: > http://p.sf.net/sfu/thinkgeek-promo > _______________________________________________ > Virtuoso-users mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/virtuoso-users
