1. Gene ontology;Ashburner;Nature Genetics,2000
2. Appendix;Baader;The Description Logic Handbook,2003
3. The Description Logic Handbook,2003
4. An overview of tableau algorithms for description logics;Baader;Studia Logica,2001
5. Modular ontologies—a formal investigation of semantics and expressivity;Bao,2006