- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Mon, 14 Apr 2003 09:02:02 -0400
- To: Daniel Elenius <danel698@student.liu.se>, jimbobbs@hotmail.com, www-rdf-logic@w3.org
At 10:34 AM +0200 4/14/03, Daniel Elenius wrote: >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 For what it is worth, the bulk of the DAML+OIL tools are migrating to OWL and the DARPA program supporting DAML+OIL has asked its participants to move to OWL in the next 60 days. Also, on the Web Ontology WG home page [1] we have a pointer to some useful tools - one is a translator that will move DAML+OIL ontologies to legal OWL Full. Another will check OWL documents to see if they are legal OWL (Lite, DL and Full checking). Hope those help - Jim H [1] http://www.w3.org/2001/sw/WebOnt -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell) http://www.cs.umd.edu/users/hendler
Received on Monday, 14 April 2003 09:02:14 UTC