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
--
Dipl. Inf. Sebastian Hellmann
Department of Computer Science, University of Leipzig
Homepage: http://bis.informatik.uni-leipzig.de/SebastianHellmann
Research Group: http://aksw.org
