Dhaval Thakker wrote:
Hi
We are evaluating virtuoso and would like to see if the owl:inverseOf
is supported in the open source edition.
I tried the following ontology and data:
Person isa Class
A isa Person
B isa Person
hasFather is a property
fatherOf is a property
hasFather and fatherOf are inverse
A hasFather B
and did the routine loading/inference linkage (rdfs_rule_set) etc.
when I do sparql query, it doent give do inference when asked:
B fatherOf ?x.
shall we conclude that there is no direct/indirect support for inverse
properties?
Yes, we support:
owl:sameAs, owl:equivalentClass, owl:equivalentProperty,
rdfs:subClassOf, rdfs:subPropertyOf .
Inference rules details:
1. http://docs.openlinksw.com:80/virtuoso/rdfsparqlrule.html
Kingsley
any hints?
--
Regards
Dhaval Thakker
------------------------------------------------------------------------
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
------------------------------------------------------------------------
_______________________________________________
Virtuoso-users mailing list
Virtuoso-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
--
Regards,
Kingsley Idehen Weblog: http://www.openlinksw.com/blog/~kidehen
President & CEO
OpenLink Software Web: http://www.openlinksw.com
