论文信息 - System Description: DLP

System Description: DLP

DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP implements an expressive description logic that includes propositional dynamic logic as a subset. DLP provides a simple interface allowing users to build knowledge bases of descriptions in this description logic, but, as an experimental system, DLP does not have a full user interface.

Peter F. Patel-Schneider | P. Patel-Schneider

[1] Ian Horrocks,et al. An Analysis of Empirical Testing for Modal Decision Procedures , 2000, Log. J. IGPL.

[2] A. B. Baker. Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results , 1995 .

[3] Peter F. Patel-Schneider,et al. FaCT and DLP , 1998, TABLEAUX.

[4] Matthew L. Ginsberg,et al. Dynamic Backtracking , 1993, J. Artif. Intell. Res..

[5] Ian Horrocks,et al. DLP and FaCT , 1999, TABLEAUX.

[6] Peter F. Patel-Schneider,et al. Performance of DLP on Random Modal Formulae , 1999, Description Logics.

[7] Bernhard Nebel,et al. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[8] Sergio Tessaris,et al. Implementing and Testing Expressive Description Logics: a Preliminary Report , 1995 .

[9] Fausto Giunchiglia,et al. More Evaluation of Decision Procedures for Modal Logics , 1998, KR.

[10] Ian Horrocks,et al. The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.