Introduction to Description Logic