Re: silri and metalog

> could someone try to point out the differences between silri and metalog ?

I may have a few words to say here as I've worked with Stefan Decker who
was one of the developers of SiLRI and I was the other developer of
Metalog:

SiLRI [1] is an evaluation environment for rules that are based on
F-Logic.
Metalog [2],[3] is a query language that has representations both in
English-like
syntax and RDF. Metalog is mappable to and from logic programs. I am not
going to state how expressive logic programs can be mapped to and from
Metalog -
the first sketch we made with Massimo Marchiori/W3C only supported
definitive
logic programs i.e. horn clauses.

Regards,
Janne

[1] http://www.aifb.uni-karlsruhe.de/~sde/rdf/
[2] http://www.w3.org/RDF/Metalog/
[3] http://www.w3.org/TandS/QL/QL98/pp/metalog.html
--
Janne Saarela <js@pro-solutions.com>         Pro Solutions Ltd.
Phone/Finland: +358 (0)40 508 4767                   P.O.Box 34
Phone/France :  +33 (0)6.07.45.36.67         FIN-00131 Helsinki
Fax          : +358 (0)42 508 4767                      Finland

Received on Wednesday, 10 November 1999 08:38:09 UTC