1. The Rule Markup Initiative, http://www.ruleml.org
2. Alsaç, G., Baral, C.: Reasoning in Description Logics using Declarative Logic Programming (2002), http://www.public.asu.edu/~guray/dlreasoning.pdf
3. Andréka, H., Németi, I., Van Benthem, J.: Modal languages and bounded fragments of predicate logic. J. of Philosophical Logic 27(3), 217–274 (1998)
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
5. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004)