Re: [Virtuoso-users] Forward Chaining in Virtuoso 7

2015-05-26 Thread Julien Subercaze
you in advance, Julien 2015-05-22 16:06 GMT+02:00 Kingsley Idehen : > On 5/22/15 9:16 AM, Julien Subercaze wrote: > > Hi, > > we are investigating forward chaining reasoning in Virtuoso 7. > As an example, we tried to infer the transitive closure of the rule scm-sco > from http

[Virtuoso-users] Forward Chaining in Virtuoso 7

2015-05-22 Thread Julien Subercaze
: <http://www.w3.org/2000/01/rdf-schema#> CONSTRUCT {?c1 rdfs:subClassOf ?c3 . } WHERE { ?c1 rdfs:subClassOf ?c2 . ?c2 rdfs:subClassOf ?c3 . } ; Is it possible to compute the fixed-point inference for the rule ? Greetings, Julien Subercaze We did look at previous entries in