An Introduction to Description Logic