Description Logic for Vision-Based Intersection Understanding
attributive concept descriptions with complements .