B.O. Akinkunmi

Academic and Professional Qualifications

 B.Sc.(Hons), M.Sc.,PhD(Ibadan)

SENIOR LECTURER

Area of Specialisation

Knowledge Representation, Reasoning and Formal Ontologies

Office

Office: Room A12, Ground Floor,

Old Mathematics Building, Africanus HortonRoad.

Tel: 00 234 (0)802 360 4294

email:

bo.akinkunmi@mail.ui.edu.ng

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)

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.

[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.

[9]      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

[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.

Recommended Links

(1) folli.loria.fr

(2) www.loa-cnr.it

(3) esslli2011.ijs.si