1. FaCT++, http://owl.man.ac.uk/factplusplus
2. Gene Ontology Database, http://www.godatabase.org/dev/database
3. Instance Store, A.: http://sourceforge.net/projects/instancestore
4. Instance Store website, http://instancestore.man.ac.uk
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook — Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)