HOD's Profile : Department of Computer Science
Academic and Professional Qualifications
Area of Specialisation
Knowledge Representation, Reasoning and Formal Ontologies
Office: Room A12, Ground Floor,
Old Mathematics Building, Africanus HortonRoad.
Tel: 00 234 (0)802 360 4294
Current (Research) Projects/Activities
i. Efficient Algorithms for the problem of Coincidence in Multiple recurrence.
ii. Ontological Analysis of Abstract domain entities.
iii. Logical theories of Spatial Qualification (with Pat Bassey)
 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.
 B.O. Akinkunmi. Temporal Entities: Types, Tokens and Qualifications. Proceedings of the 2nd International Conference on Knowledge Engineering and Ontology Development(KEOD 2010), Valencia, Spain, pp 288-294, SciTe Press, Portugal, 2010.
 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 8th IFIP Working Conference of IFIPWG9.4 pp 579-588, 2005.
 B.O. Akinkunmi and A.O. Osofisan. Temporal properties of repetitive entities Artificial Intelligence Review 22(4): 297-338, December 2004.
 B.O. Akinkunmi and A.O. Olamiti. Qualitative and Quantitative Knowledge Engineering. Nigerian Journal of Computer Literacy, 4(1): 44-55, 2002
 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.
 B.O. Akinkunmi. Temporal entities, truths and Recurrence. Journal of Computer science and its Applications 8(1): 48-56, 2001.
 B.O. Akinkunmi On the expressive limits of reified theories Journal of Logic and Computation 10(2): 297-313, April 2000.
 A.O.Eyitayo, B.O. Akinkunmi and O.T. Eyitayo. The CALCHEM software: Design and functional specification. Journal of Science Research 4(1): 39-43, 1998
 B.O. Akinkunmi. Towards Translating System Specification to Digital Circuits. Proceedings of the 3rd International Conference on Automation, Robotics and Computer Vision (ICARCV, 94), Volume 1, pp 388-342, Singapore, 1994.