FO(ID) as an Extension of DL with Rules [chapter]

Joost Vennekens, Marc Denecker
2009 Lecture Notes in Computer Science  
One of the important topics under active investigation in the area of description logic (DL) is that of adding rules to the language. In this paper, we observe that the logic FO(ID), which was developed as an integration of ASP and classical logic, provides an interesting source of inspiration for such extensions. In particular, it seems well-suited as an upperbound to a hierarchy of increaslingly expressive extensions of DL with rules. We demonstrate this by defining two interesting sublogics of FO(ID), called ALCI(ID) and guarded ALCI(ID).
doi:10.1007/978-3-642-02121-3_30 fatcat:7ymvsia3fzhxld2rxn2slb4nga