ABSTRACT

As mentioned in Chapter 4, we developed multiple inference controllers in the 1990s. These inference controllers operated on relational databases and used mainly logical inferencing. However, with the sophisticated reasoning tools based on Semantic Web technologies and machine-learning techniques that have been developed during the past decade, we can now build more powerful inference controllers. This book will lay the foundations for developing such powerful inference controllers. Some of the technologies and reasoning tools are discussed in this chapter. The organization of this chapter is as follows. Concepts such as the closed world assumption are discussed in Section 5.2. The various systems such as Jena and Sesame are discussed in Section 5.3. The chapter is summarized in Section 5.4. Figure 5.1 illustrates the concepts and systems.