[Discover] A Trustworthy, Extensible Theorem Prover (Ph.D. Dissertation Proposal) http://www.cs.utexas.edu/users/jared/milawa/Documentation/Proposal/proposal-web.pdf
(thesis academic proof theory) 
[Discover] dagstuhlS070202.pdf (Objet application/pdf) http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlS070202.pdf (description logic)
[Discover] OWL: Experiences and Directions http://www.mindswap.org/2005/OWLWorkshop/programme.shtml (owl description logic)
[Discover] dagstuhlS070202.pdf (Objet application/pdf) http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlS070202.pdf (description logic)
[Discover] OWL: Experiences and Directions http://www.mindswap.org/2005/OWLWorkshop/programme.shtml (owl description logic)