[Discover] Magic sets and other strange ways to implement logic programs (extended abstract) http://doi.acm.org/10.1145/6012.15399
(academic inference formal method) 
[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)