-
bazbishop237 committed revision 1384 to the WSML2Reasoner SVN repository, changing 1 files.
2009-10-13 13:12:48 UTC in WSML2Reasoner
-
bazbishop237 added daniel_winkler to the SEALS project.
2009-10-12 08:40:28 UTC in SEALS
-
bazbishop237 added adrian_marte to the SEALS project.
2009-10-12 08:40:17 UTC in SEALS
-
bazbishop237 added barrynorton to the SEALS project.
2009-10-10 06:07:26 UTC in SEALS
-
bazbishop237 added daniel_winkler to the IRIS - Integrated Rule Inference System project.
2009-09-18 07:50:42 UTC in IRIS - Integrated Rule Inference System
-
bazbishop237 added daniel_winkler to the WSML2Reasoner project.
2009-08-28 12:27:56 UTC in WSML2Reasoner
-
bazbishop237 added matpre to the wsmo4j project.
2009-08-25 14:31:34 UTC in wsmo4j
-
bazbishop237 added adrian_marte to the wsmo4j project.
2009-08-24 15:08:48 UTC in wsmo4j
-
The magic sets optimisation of the following program;
triple(?y, ?a, ?z) :- triple(?x, '88', ?y), triple(?x, ?a, ?z), NOT_EQUAL(?a, '88'), NOT_EQUAL(?x, ?y).
triple(?z, ?a, ?y) :- triple(?x, '88', ?y), triple(?z, ?a, ?x), NOT_EQUAL(?a, '88'), NOT_EQUAL(?x, ?y).
?- triple('184', ?p, ?o).
can produce a different output program between subsequent invocations. It has been reported that the...
2009-08-20 09:57:53 UTC in IRIS - Integrated Rule Inference System
-
The magic sets optimisation of the following program;
triple(?y, ?a, ?z) :- triple(?x, '88', ?y), triple(?x, ?a, ?z), NOT_EQUAL(?a, '88'), NOT_EQUAL(?x, ?y).
triple(?z, ?a, ?y) :- triple(?x, '88', ?y), triple(?z, ?a, ?x), NOT_EQUAL(?a, '88'), NOT_EQUAL(?x, ?y).
?- triple('184', ?p, ?o).
includes the production of rules that can never fire:
label_xXx_prefix_xXx_triple_2_fbf(?a) :-...
2009-08-20 09:50:57 UTC in IRIS - Integrated Rule Inference System
