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
------------------------------------------------------------------------------
Download new Adobe(R) Flash(R) Builder(TM) 4
The new Adobe(R) Flex(R) 4 and Flash(R) Builder(TM) 4 (formerly
Flex(R) Builder(TM)) enable the development of rich applications that run
across multiple browsers and platforms. Download your free trials today!
http://p.sf.net/sfu/adobe-dev2dev
_______________________________________________
Virtuoso-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
--
Dipl. Inf. Sebastian Hellmann
Department of Computer Science, University of Leipzig
Homepage: http://bis.informatik.uni-leipzig.de/SebastianHellmann
Research Group: http://aksw.org
