1. The Rule Markup Initiative, http://www.ruleml.org
2. Antoniou, G.: A Nonmonotonic Rule System using Ontologies. In: CEUR Proceedings (2002)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
4. Baader, F., Sattler, U.: Number Restrictions on Complex Roles in Description logics. In: Proc. of KR 1996, pp. 328–339 (1996)
5. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)