
53
Chapter 5
Inference Engines
5.1 Overview
Now that we have provided an overview of the inference problem, we describe
the concepts and systems that have been developed for reasoning. ese concepts
and systems are essentially based on Semantic Web technologies. For example, the
concepts include the closed world assumption, negation by failure, and OWL. e
systems include Jena, Euler, and Sesame, which essentially manage RDF data and
reason about the data. We have utilized these concepts and systems in our design
and development of the inference controller.
As mentioned in Chapter 4, we developed multiple inference controllers in
the 1990s. ese ...