Re: [Virtuoso-users] Inferencing Question with InverseFunctionalProperty

Nathan wrote: Hijacking the thread a little.. Are there any documents defining how much of owl(2) is supported for inference and reasoning in virtuoso? No OWL2 at this point in time. Kingsley For example could it handle the following: _:myfriends owl:equivalentClass [ a owl:Rest

Re: [Virtuoso-users] Inferencing Question with InverseFunctionalProperty

Hijacking the thread a little.. Are there any documents defining how much of owl(2) is supported for inference and reasoning in virtuoso? For example could it handle the following: _:myfriends owl:equivalentClass [ a owl:Restriction ; owl:hasValue

Re: [Virtuoso-users] Inferencing Question with InverseFunctionalProperty

Hello Mark, I'm debugging this and will report the result (patch?) before end of the week. Best Regards, Ivan Mikhailov OpenLink Software http://virtuoso.openlinksw.com On Fri, 2010-05-07 at 16:59 +1000, Mark James wrote: > Hi, > I can't seem to get an inference pattern match (sameAs) when comb

[Virtuoso-users] Inferencing Question with InverseFunctionalProperty

Hi, I can't seem to get an inference pattern match (sameAs) when combining InverseFunctionalProperty and subPropertyOf. The first example (based on) - http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruleinversefunc(I've only removed the sameAs triple). This example produces the exp