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 satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.
منابع مشابه
DLP and FaCT
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics. FaCT is a full-featured system that contai...
متن کاملDlp
DLP (for Description Logic Prover) is a description logic system that contains a sound and complete rea-soner for an expressive description logic. DLP is an experimental system, in that it does not contain all the support facilities that one might like in a full description logic system. However, DLP does have an interface that allows the creation and examination of taxonomies of concepts. DLP ...
متن کاملPerformance of DLP on Random Modal Formulae
A system that correctly reasons with information in an expressive description logic includes a decision procedure for an expressive propositional modal logic. This decision procedure must be heavily optimised if it is to be able to usefully reason with knowledge bases of any complexity. Description logic systems that incorporate a heavily-optimised propositional modal logic decision procedure i...
متن کاملWhat's New in DLP
DLP has undergone a number of modiications in the last year. Most of the modiications are further optimisations, but DLP now has an option to compute and return the full model it generates for satissable formulae. The new optimisations include some low-level optimisations, more cached information to help in backjumping, early investigation of modal successors , and a form of dynamic backtrackin...
متن کاملThe Largest DLP Possible
Description Logic Programs (DLP) have been described as a description logic (DL) that is in the “expressive intersection” of DL and datalog. This is a very weak guideline for defining DLP in a way that can be claimed to be optimal or maximal in any sense. Moreover, other DL fragments such as EL and Horn-SHIQ have also been “expressed” using datalog. So is DLP just one out of many equal DLs in t...
متن کامل