The DIG Description Logic Interface.

This document describes a simple API for a general description logic system. This forms the first of a number of such specifications. Later versions will introduce more higher-level functionality. The current, Level 0 specification provides basic access to the reasoning capabilities of a DL reasoner.