Dear Hugh,
I can't understand why, in my schema it seems not working.
These are the steps I followed:
1) Default graph: http://ex.org/schema.rdfs
ASK {<http://ex.org/schema.rdfs#hasActiveAdministrator>
<http://www.w3.org/2000/01/rdf-schema#range>
<http://ex.org/schema.rdfs#ActiveAdministrator>}
returns true;
2) rdfs_rule_set('http://ex.org/schema.rdfs', 'http://ex.org/schema.rdfs');
3) The following query:
Default graph: http://ex.org/data.rdf
define input:inference "http://ex.org/schema.rdfs";
SELECT *
WHERE {?s <http://ex.org/schema.rdfs#hasActiveAdministrator> ?o}
returns:
<http://ex.org/data.rdf#o1> <http://ex.org/data.rdf#p5>;
4) The following query:
Default graph: http://ex.org/data.rdf
define input:inference "http://ex.org/schema.rdfs";
SELECT *
WHERE {?s <http://ex.org/schema.rdfs#hasActiveAdministrator> ?o. ?o a
<http://ex.org/schema.rdfs#ActiveAdministrator>}
returns empty set;
I expected to have in my result set <http://ex.org/data.rdf#o1>
<http://ex.org/data.rdf#p5>; as in the previous query, because the range
of hasActiveAdministrator is ActiveAdministrator, also if in my dataset
p5 is a Person which is a superclass of ActiveAdministrator.
Moreover in documentation
(http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html and
http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/VOSVirtuoso6FAQ#What%20inferencing%20is%20supported?)
there is no mention of domain and ranged inferencing. Maybe I missed
something...
Best regards,
Riccardo
On 29/09/2010 02:44, Hugh Williams wrote:
Hi Ricardo,
Yes, Virtuoso does support RDFS Domain and Ranged inferencing, have to read the
Virtuoso inferencing documentation:
http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html
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
On 28 Sep 2010, at 23:40, Riccardo Tasso wrote:
Hello,
I'm interested in using Virtuoso server as a triple store. My
question is if does it support RDFS domain and range inference, because
this has some relevance to my use case.
I didn't found any trace of this kind of inference inside Virtuoso
documentation, neither in the mailing list, but I really would like to
be sure.
Thank you,
Riccardo
------------------------------------------------------------------------------
Start uncovering the many advantages of virtual appliances
and start using them to simplify application deployment and
accelerate your shift to cloud computing.
http://p.sf.net/sfu/novell-sfdev2dev
_______________________________________________
Virtuoso-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
