1. Reasoning in description logics using declarative logic programming;Alsaç,1997
2. TheDescription Logic Handbook: Theory, Implementation, and Applications,2003
3. Modern Information Retrieval;Baeza-Yates,1999
4. A useful four-valued logic;Belnap,1977
5. Design rationale of RuleML: a markup language for semantic web rules;Boley,2001