Describing and Recognizing Patterns of Events in Smart Environments With Description Logic