ABSTRACT

In this chapter, we look at methods and tools to assist in building a knowledge base, with emphasis on the design and use of a computer-aided software engineering tool based on a repository implemented as a deductive database, i.e. use of a deductive database to help build a deductive database.