The DIG Description Logic Interface
Sean Bechhofer, Ralf Möller, Peter Crowther, Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi · 2003
The Semantic Web has seen increased interest in the use of Description Logic technology to support ontologies, in particular, the use of classi cation and consistency checking. This requires that the functionality of DL reasoners be made readily available to applications. We present a simple interface de nition for DL systems that facilitates their use in systems and describe its implementation in two DL systems.