DLP System Description

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 satis ability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.

• Type: Conference
• Year: 1998
• Where: DLOG
• Authors: Peter F. Patel-Schneider
• Keywords: Automated Reasoning, Description Logic, Description Logic Prover, DLOG 1998, Propositional Dynamic Logic