- From: Daniel Elenius <danel698@student.liu.se>
- Date: 14 Apr 2003 10:34:28 +0200
- To: jimbobbs@hotmail.com, www-rdf-logic@w3.org
Maybe you could tell us some more about what you want to do with these things? I'm not an expert, but I've started working with DAML+OIL and JTP (the Java Theorem Prover), which works very well. Also, the DAMLValidator and the DAML Emacs mode have been extremely useful. But like the others say, it all depends on what your requirements are. If you need more than RDF(S), the hard choice is between DAML+OIL and OWL. The former has more tool support, but the latter is "the future". Good luck! /Daniel
Received on Monday, 14 April 2003 04:37:35 UTC