Publications

1. B.O. Akinkunmi, A.O. Osofisan and A.F.  Donfack Kana. Matching SHIQ Ontologies. International Journal Of Computer Science and Information Security, 8(4): 215  222, 2010.
2. B.O. Akinkunmi. Temporal Entities: Types, Tokens and Qualifications.Proceedings of the 2^nd International Conference on Knowledge Engineering and Ontology Development(KEOD 2010), Valencia, Spain, pp 288-294, SciTe Press, Portugal, 2010.
3. B.O. Akinkunmi, A.O. Osofisan, I.F. Essien, A.O. Ladipo. Towards knowledge Engineering for Expertise Retention in the Third World. In A.O. Bada and A. Okunoye(eds) Proceedings of the 8^th IFIP Working Conference of IFIPWG9.4 pp 579-588, 2005.
4. B.O. Akinkunmi and A.O.  Osofisan. Temporal properties of repetitive entities Artificial Intelligence  Review 22(4): 297-338, December 2004. Read abstract

5. B.O. Akinkunmi and A.O. Olamiti. Qualitative and Quantitative Knowledge Engineering. Nigerian Journal of Computer Literacy, 4(1): 44-55, 2002
6. B.O. Akinkunmi. Plan based models of algebraic competence in elementary algebraic problem solving. In A. M. Vilas, J.A. Mesa Gonzalez and Ines Solo De Zaldivar(eds) Educational Technology: Proceedings of the international Conference on ICT in Education, ICTE 2002, pp 1112-1117.
7. B.O. Akinkunmi. Temporal entities, truths and Recurrence. Journal of Computer science and its Applications 8(1): 48-56, 2001.
8. B.O. Akinkunmi  On  the expressive limits of reified theories  Journal of Logic and Computation 10(2): 297-313, April 2000. Read abstract

9. A.O.Eyitayo, B.O. Akinkunmi and O.T. Eyitayo. The CALCHEM software: Design and functional specification. Journal of Science Research4(1): 39-43, 1998
10. B.O. Akinkunmi. Towards Translating System Specification to Digital Circuits. Proceedings of the 3^rd  International Conference on Automation, Robotics and Computer Vision (ICARCV, 94), Volume 1, pp  388-342, Singapore, 1994.