Foundations of Description Logic [pdf]