Overview of different reasoning techniques


I've been doing some reading about semantic web technologies. Therefore I stumbled over reasoners. I'd like to get an overview of the different algorithms used in reasoning ((Hyper-)tableau, rule-based, ...). Does anyone know some document/link where I can find such information, without having to know about the mathematical foundations? Besides, how come termini like "forward chaining" and "backward chaining" into play?

Many thanks!

There's a good bit of info on this site

Community Wiki... please feel free to add/reorder/edit:



Reasoning (General)

Tableau Reasoning

Rule-based Reasoning


As this seems to be a question on reasoning techniques in general, I would like to mention the reasoning Bible (although already about 10 years old), a so-called "handbook" that treats virtually every aspects of logic-based reasoning and where the list of chapter authors reads like a Who-is-Who of the field of computational logic: J. Alan Robinson and Andrei Voronkov (Eds.), Handbook of Automated Reasoning. The two volumes of the book have more than 2000 pages and 28 chapters. Related to the Semantic Web, Chapter 23 is about "Reasoning in Expressive Description Logics", and Chapter 3 is more generically on "Tableaux and Related Methods". The rest is on other techniques. Google Scholar has a partial version of the book.

Another book is the Description Logic Handbook, which is restricted to description logics.

Hi, check out the Wikipedia Page for Description Logic. its a good starting point i'd say. especially the section about Tools and the notes and references. There is quite some information about reasoning.
But i guess the stuff will be math heavy...but i don't see a way around that.