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://topbraid.org/spin/rdfsplus.html
We only manage to fire the first iteration of the rule with the following
SPARQL query:
SPARQL
PREFIX rdfs: <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 the ML,
http://ehc.ac/p/virtuoso/mailman/message/31236551/,
http://ehc.ac/p/virtuoso/mailman/message/24529863/ but unfortunately we did
not found the information we looked for.
------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
Virtuoso-users mailing list
Virtuoso-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
