Fangkai Yang, Xiaoping Chen: Integrating Rules and Description Logics with Circumscription for the Semantic Web. RuleML 2007: 182-189