OKBMS: An object-oriented knowledge base management system

An object-oriented knowledge base management system (OKBMS) which has the ability to flexibly define and extend the object types has been developed. It provides a development environment for intelligent applications. The outstanding characteristics of object-oriented style such as abstract data type, information hiding, inheritance and message passing are fully implemented in the OKBMS. The OKBMS inference engine not only handles the certain reasoning but also can deal with uncertain information. In OKBMS, a semi-interpreted approach is adopted to integrate Prolog with the ORACLE database. The key issues involved in OKBMS, such as knowledge structure, inference algorithms, partial evaluation and comprehensive user interfaces are discussed