- From: Peter Crowther <Peter.Crowther@networkinference.com>
- Date: Sun, 23 Feb 2003 11:31:11 -0000
- To: "Jingdong Liu" <jingdong.liu@sympatico.ca>, "Www-Rdf-Interest@W3.Org" <www-rdf-interest@w3.org>
> From: Jingdong Liu [mailto:jingdong.liu@sympatico.ca] > I am new to this group. Can someone please tell me where I > can find the > following tools (software package) if ever exists: > - reasoning engine based on OWL or DAML-OIL. FaCT (http://www.cs.man,ac,uk/~horrocks/FaCT/) with OilEd (http://img.cs.man.ac.uk/oil/) > - converter between OWL syntax (or DAML-OIL) and DL > (Description Logics) syntax OilEd used to be able to export various DL formats; I also suggest you look at DIG (http://dl.kr.org/dig/). Protege-2000 (http://protege.stanford.edu/) has a FaCT plugin written by Michael Sintek that will produce TeX output. It's a little unclear as to what you mean by 'DL syntax' - machine readable such as KRSS/DIG/OWL itself? Human-readable? - Peter -- Peter Crowther
Received on Sunday, 23 February 2003 06:31:42 UTC