Source: http://www.cs.man.ac.uk/~horrocks/Teaching/cs2312/Lectures/Handouts/Introduction.pdf