Souleymane KOUSSOUBE

Work place: Laboratoire Africain d’Informatique et de Mathématiques appliquées (LAIMA), Institut Africain d’Informatique (IAI), BP: 2263 Libreville Gabon



Research Interests: Theory of Computation, Computational Learning Theory


KOUSSOUBE Souleymane (1951-), male, Institut Africain d’informatique Professor, Ph.D., his research directions include ontology, expert knowledge Business intelligence, intelligence computation. Machine learning, Dataming.

Author Articles
A Formal Description of Problem Frames

By Souleymane KOUSSOUBE Roger NOUSSI Balira O. KONFE

DOI:, Pub. Date: 8 Mar. 2014

Michael Jackson defines a Problem Frame as a mean to describe and classify software development problems. The initial description of problem Frames is essentially graphical. A weakness of this proposal is the lack of formal specification allowing efficient reasoning tools. This paper deals with Problem Frames’ formal specification with Description Logics. We first propose a formal terminology of Problem Frames leading to the specification of a Problem Frames’ TBOX and a specific problem’s ABOX. The Description Logics inference tools can then be used to decompose multi frame problems or to fix a particular problem into a Problem Frame.

[...] Read more.
Using Description Logics to specify a Document Synthesis System

By Souleymane KOUSSOUBE Roger NOUSSI Balira O. KONFE

DOI:, Pub. Date: 8 Feb. 2013

This paper deals with an automatic document’s synthesis system. Our approach is based on the prior formal description of the semantics of the main elements (document, reader and his request) in the synthesis system. In this approach, semantic capture is based on ontology definition that is specified formally using Description Logics (DL). The DL inference techniques associated to production rules are then used to compute a document synthesis. Moreover, DL inference techniques are used to reason about each component.

[...] Read more.
Other Articles