W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2001

Re: Logic and proof tutorial resources

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Mon, 3 Dec 2001 22:28:20 -0500
Message-ID: <15372.17108.964906.152190@localhost.localdomain>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:41 GMT