kingsley thank you very much for your support and patience! i'm coming to terms now with virtuoso inference.
for people used to owlim it is important to note that in most cases it is necessary to know t-box to ask the right questions (sparql-wise) and that some things are hard to implement, one example being : implementation of virtuoso-sesame-adapters getStatement method which just takes subject predicate and object as params - with boolean includeInferred set to true will hardly meet expectations on different ontologies. nevertheless 6.1 has some significant improvements in the field of reasoning. congrats! wkr turnguard.com/turnguard ----- Original Message ----- From: "Kingsley Idehen" <kide...@openlinksw.com> To: virtuoso-users@lists.sourceforge.net Sent: Saturday, February 6, 2010 5:15:41 PM Subject: [Virtuoso-users] FIX: CORRECTION 6.1 owl support All, Cleaner version of the SKOS based example re. new Virtuoso Inference Rules capabilities. In my last post I had a potentially confusing entry for grabbing the SKOS ontology (which isn't required and commented out). The entry is removed from this version ## Cleanup CLEAR GRAPH <urn:owl.test2.tbox> CLEAR GRAPH <http://turnguard.com/virtuoso/test10.rdf> ##Load Instance Data into Quad Store ## PL Procedure -- SQL realm DB.DBA.RDF_LOAD_RDFXML (http_get ('http://www.w3.org/2009/08/skos-reference/skos-owl1-dl.rdf'), 'no', 'urn:owl.test2.tbox'); DB.DBA.RDF_LOAD_RDFXML (http_get ('http://www.w3.org/2002/07/owl.rdf'), 'no', 'urn:owl.test2.tbox'); DB.DBA.RDF_LOAD_RDFXML (http_get ('http://turnguard.com/virtuoso/test10.rdf'), 'no', 'http://turnguard.com/virtuoso/test10.rdf'); ## select * from <http://www.w3.org/2004/02/skos/core> where { {<http://www.w3.org/2004/02/skos/core#related> ?p ?o} union {?s ?p <http://www.w3.org/2004/02/skos/core#related> } } ##Create Rules -- SQL Realm rdfs_rule_set ('urn:owl.test2.rules', 'urn:owl.test2.tbox'); ##Transitivity Query re. SKOS concept hierarchy DEFINE input:inference "urn:owl.test2.rules" PREFIX skos: <http://www.w3.org/2004/02/skos/core#> SELECT * FROM <http://turnguard.com/virtuoso/test10.rdf> WHERE { <http://www.turnguard.com/ElectroPop> skos:broaderTransitive ?o OPTION (T_DISTINCT). } -- Regards, Kingsley Idehen President & CEO OpenLink Software Web: http://www.openlinksw.com Weblog: http://www.openlinksw.com/blog/~kidehen Twitter/Identi.ca: kidehen ------------------------------------------------------------------------------ The Planet: dedicated and managed hosting, cloud storage, colocation Stay online with enterprise data centers and the best network in the business Choose flexible plans and management services without long-term contracts Personal 24x7 support from experience hosting pros just a phone call away. http://p.sf.net/sfu/theplanet-com _______________________________________________ Virtuoso-users mailing list Virtuoso-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/virtuoso-users -- punkt. netServices ______________________________ Jürgen Jakobitsch Codeography Lerchenfelder Gürtel 43 Top 5/2 A - 1160 Wien Tel.: 01 / 897 41 22 - 29 Fax: 01 / 897 41 22 - 22 netServices http://www.punkt.at
