 |
    |
RDL: Enhancing Description Logic with Rules
Yi Zhou and Yan Zhang
Artificial Intelligence Research Group School of Computing, Engineering and Mathematics, University of Western Sydney, AustraliaAbstract. In this paper, we propose Rule Description Logic (RDL) for enhancing Description Logic (DL) with nonmonotonic recursive rules, like those in Answer Set Programming (ASP). We define the world view semantics for RDL and show that it is faithful with respect to both DL and ASP. More importantly, we show that the full language of RDL is decidable.
LNAI 7691, p. 567 ff.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2012