RACER is a knowledge representation system it supports:
* the DIG standard such that, for instance, graphical ontology editors such as OilEd can be usedwith RACER as a reasoning engine.
* directly read knowledge bases specified w.r.t.the DAML+OIL,RDFS or RDF standard (although there are some restrictions on some DAML+OIL language expressions).
* an interactive graphical shell called RICE.
http://www.fh-wedel.de/~mo/racer/
This came in response to a question on the RDF-Interest mailing list about inferencing tools the other ones mentioned were:
http://www.networkinference.com/
http://www.agfa.com/w3c/euler/
http://infomesh.net/2001/cwm/
http://www.cs.man.ac.uk/~horrocks/FaCT
No comments:
Post a Comment