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? any hints? -- Regards Dhaval Thakker