1. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2010) The description logic handbook: theory, implementation, and applications, 3rd edn. Cambridge University Press, Cambridge
2. Baral C, Gelfond M (1994) Logic programming and knowledge representation. J Log Program 19(20):73–148
3. Hitzler P, Krötzsch M, Parsia B, Patel-Schneider PF, Rudolph S (2012) OWL 2 web ontology language: primer. W3C, Cambridge
4. Kifer M, Boley H (eds.): RIF overview (Second Edition). W3C Working Group Note (2013) Available at http://www.w3.org/TR/rif-overview/. Accessed 5 Feb 2013
5. Motik B, Cuenca Grau B, Horrocks I, Wu Z, Fokoue A, Lutz C (eds) (2012) OWL 2 web ontology language: profiles, 2nd edn. W3C, Cambridge