few things in paper 1
Merge branch 'master' of github.com:boschthomas/work

Conflicts:
	paper/paper 1/paper 1.tex
Entry paragraph to OWL 2 DL is provided .
Merge branch 'master' of github.com:boschthomas/work