1. Antoniou G, Damásio CV, Grosof B, Horrocks I, Kifer M, Małuszyński J, Patel-Schneider PF (2005) Combining rules and ontologies. a survey. FP6 NoE REWERSE, Deliverable I3-D3, Available at. http://rewerse.net/deliverables/m12/i3-d3.pdf
2. Apt KR (1997) From logic programming to prolog, International series in computer science. Prentice-Hall, Englewood Cliffs
3. Apt KR, Bol RN (1994) Logic programming and negation: a survey. J Log Program 19/20: 9–71
4. Baader, F, Calvanese, D, McGuiness, D, Nardi, D, Patel-Schneider, P (eds) (2003) The description logic handbook. Cambridge University Press, Cambridge
5. Baral C, Gelfond M (1994) Logic programming and knowledge representation. J Log Program 19/20: 73–148