DLP System Description.

Abstract

DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as K (m) and KT (m) . Although DLP is an experimental system, it nonetheless provides a fast satisfiability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.