Hello Sebastian, I'm fixing this now, item 1 is fixed, before the rest I'll make a test suite for "Approved" collection from owl.semanticweb.org to see the progress.
Best Regards, Ivan Mikhailov OpenLink Software http://virtuoso.openlinksw.com On Tue, 2010-10-19 at 02:45 +0200, Sebastian Hellmann wrote: > Hi, > I read my mail again and it might not have been clear, how to > reproduce the behaviour. > Here is the 1. and 2. again. (I think the third one should be clear). > > 1.******************** > http://owl.semanticweb.org/page/TestCase:WebOnt-inverseOf-001 > download ontology: > http://owl.semanticweb.org/page/Special:GetOntology/TestCase:WebOnt-inverseOf-001?m=p > SQL> DB.DBA.RDF_LOAD_RDFXML (file_to_string > ('/tmp/premiseontology.rdf'), '', 'http://test.de/inverse'); > SQL> rdfs_rule_set > ('http://test.de/inverse/reasoning','http://test.de/inverse'); > will result in : > *** Error 42000: [Virtuoso Driver][Virtuoso Server]RDFI.: No RDF > inference rule set 'http://test.de/inverse/reasoning' > at line 4 of Top-Level: > rdfs_rule_set > ('http://test.de/inverse/reasoning','http://test.de/inverse') > > In the ontology there is an owl:inverseOf definition, but no rdf:type > rdf:Property or so. > > 2.********************* > Go to: > http://code.google.com/p/ontowiki/source/browse/extensions/components/easyinference/rule.rdf > Download: > http://ontowiki.googlecode.com/hg/extensions/components/easyinference/rule.rdf > SQL> DB.DBA.RDF_LOAD_RDFXML (file_to_string ('/tmp/rule.rdf'), '', > 'http://test.de/rule'); > compare: > SQL> sparql PREFIX : <http://ns.ontowiki.net/Extension/EasyInference/> > PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> SELECT > DISTINCT ?name ?r ?predicate ?conclusion { ?r a :InfRule ; > rdfs:label ?name ; :Conclusion ?conclusion ; :Predicate ?predicate }; > to: > SQL> sparql DEFINE input:same-as "yes" PREFIX : > <http://ns.ontowiki.net/Extension/EasyInference/> PREFIX rdfs: > <http://www.w3.org/2000/01/rdf-schema#> SELECT > DISTINCT ?name ?r ?predicate ?conclusion { ?r a :InfRule ; > rdfs:label ?name ; :Conclusion ?conclusion ; :Predicate ?predicate }; > > If DEFINE input:same-as "yes" is on, nothing is returned. I found this > weird. All properties in the Ontology are functional, but not inverse > functional. > > 3.************************ > see below > HotGreenPepperTopping should be returned as subclassOf > VegetableTopping and vice versa. > > Regards, > Sebastian > > > Am 19.10.2010 00:27, schrieb Kingsley Idehen: > > On 10/18/10 5:34 PM, Sebastian Hellmann wrote: > > > Dear Virtuoso team, > > > I tested the reasoning in Virtuoso 6.1.2 and could not get things > > > running, which was a little bit frustrating. (I tested it on > > > 6.0.0-tp1and it worked back then) > > > All which I really could get working where the examples on the > > > documentation site ... > > > Here, I hope to provide some test cases: > > > > > > 1.**************** > > > In general I tried the reasoning features with OntoWiki using a rule for > > > each graph first, which gave me a lot of errors like: "No rdf inf ctx" > > > (6.1.0) and "No RDF Inference rules" This was e.g. with this test case : > > > http://owl.semanticweb.org/page/TestCase:WebOnt-inverseOf-001 > > > > > > 2.**************** > > > With owl:sameAs activated I had the problem that this query: > > > > > > PREFIX : <http://ns.ontowiki.net/Extension/EasyInference/> > > > PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>'. > > > SELECT DISTINCT ?name ?r ?predicate ?conclusion'. > > > WHERE { ?r a :InfRule ; rdfs:label ?name ; :Conclusion ?conclusion > > > ; :Predicate ?predicate } > > > > > > didn't return anything any more on: > > > http://ontowiki.googlecode.com/hg/extensions/components/easyinference/rule.rdf > > > > > > 3.**************** > > > Below is a script for subClassOf Reasoning in up and down direction, > > > which I could not do in Virtuoso: > > > > > > cd /tmp > > > wget "http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl"; > > > > > > DB.DBA.RDF_LOAD_RDFXML (file_to_string ('/tmp/pizza.owl'), '', > > > 'http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl'); > > > > > > rdfs_rule_set > > > ('http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl/reasoning','http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl'); > > > > > > sparql define input:inference > > > "http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl/reasoning"; > > > select * > > > {<http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl#HotGreenPepperTopping> > > > > > > rdfs:subClassOf ?super} ; > > > > > > sparql define input:inference > > > "http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl/reasoning"; > > > select * { ?sub rdfs:subClassOf > > > <http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl#VegetableTopping>} > > > > > > ; > > > > > > sparql select * { ?sub rdfs:subClassOf > > > <http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl#VegetableTopping>} > > > > > > ; > > > > > > Cheers, > > > Sebastian > > > > > > > > Please send you complete SPARQL Query or a SPARQL Protocol URL. > > > > I see use of "define input:inference .." pragma, but no reference to > > the "owl:sameAs" pragma. > > > > -- > > > > Regards, > > > > Kingsley Idehen > > President & CEO > > OpenLink Software > > Web: http://www.openlinksw.com > > Weblog: http://www.openlinksw.com/blog/~kidehen > > Twitter/Identi.ca: kidehen
