Chapter 3
Reasoning

Reasoning is a broad topic. Here, we will concentrate on the use of the PowerLoom descriptive logic reasoning system. PowerLoom is available with a Java runtime and Java API - this is what I will use for the examples in this chapter.

Figure 3.1: Overview of how we will use PowerLoom for development and deployment

3.1 Logic

3.2 Descriptive Logic

3.3 PowerLoom Overview

3.3.1 Concepts

3.3.2 Relations

3.3.3 Rules

3.3.4 Modules

3.4 PowerLoom Application Example

3.5 Using the PowerLoom APIs