McGuinness, D. L.. Explaining Reasoning in Description Logics. No Publisher Supplied, 1996, doi:10.7282/t3-q0c6-5305.