DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription.
Fangkai Yang, Xiaoping Chen · 2007
Abstract. In this paper, we propose DLclog, a new hybrid formalism combining Description Logics and Logic Programming for Semantic Web serving as an extension to DL + log[19]. Negative dl-atoms are allowed to occur in the bodies of the rules, and we extend NM-Semantics of DL + log to evaluate dl-atoms with circumscriptive models of DL ontology in the sense of parallel circumscription rather than classical models. In this way, negative dl-atoms are treated in nonmonotonic way under Extended Closed World Assumption, and the formalism still remains faithful to NM-Semantics, DL and LP. Finally, we present decidability and complexity result for a restricted form of DLclog. 1