- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Mon, 3 Dec 2001 22:28:20 -0500
- To: jos.deroo.jd@belgium.agfa.com
- Cc: ned.smith@intel.com, www-rdf-logic@w3.org
On December 1, jos.deroo.jd@belgium.agfa.com writes: > > > > I'd like to find good concise tutorial material for > > logic & proof disciplines. I've found WikiPedia[1] at Ohio State to > > be a good resource. It doesn't assume the reader is a logician. > > However it lacks information on the mechanics of proofs. > > > > I expect for semantic web vision to be realized, proof mechanics must be > > accessible to the average developer/web professional. HTML and the browser > > made the Internet more accessible when commandline processors to things like > > gopher, ftp and smtp were the norm. > > > > Does the list recommend resources in addition to[1]? > > > > [1] http://www.wikipedia.com/wiki/Larrys_Text > > that's great > we also think about > http://www.stanford.edu/~elitach/soco/theory.htm Sorry for self-publicising, but if you are interested in DLs and DL reasoning you might want to look at the tutorial available at: http://www.cs.man.ac.uk/~horrocks/Slides/IJCAR-tutorial/ Ian > > -- > Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ > >
Received on Monday, 3 December 2001 18:31:31 UTC