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
: <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