TY - JOUR AU - Yang, Qian AU - You, Jia-Huai AU - Feng, Zhiyong PY - 2011/08/04 Y2 - 2024/03/28 TI - Integrating Rules and Description Logics by Circumscription JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 25 IS - 1 SE - AAAI Technical Track: Knowledge Representation and Reasoning DO - 10.1609/aaai.v25i1.7850 UR - https://ojs.aaai.org/index.php/AAAI/article/view/7850 SP - 274-279 AB - <p> We present a new approach to characterizing the semantics for the integration of rules and first-order logic in general, and description logics in particular, based on a circumscription characterization of answer set programming, introduced earlier by Lin and Zhou. We show that both Rosati's semantics based on NM-models and Lukasiewicz's answer set semantics can be characterized by circumscription, and the difference between the two can be seen as a matter of circumscription policies. This approach leads to a number of new insights. First, we rebut a criticism on Lukasiewicz's semantics for its inability to reason for negative consequences. Second, our approach leads to a spectrum of possible semantics based on different circumscription policies, and shows a clear picture of how they are related. Finally, we show that the idea of this paper can be applied to first-order general stable models. </p> ER -