DLP system description
| Author(s) : | Peter F. Patel-schneider, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| 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., |