The KR system dlv: progress report, comparisons and benchmarks

Abstract

dlv is a knowledge representation system, based on disjunctive logic programming, which offers frontends to several advanced KR formalisms. The system has been developed since one year at the Technical University of Vienna in an ongoing project funded by the Austrian Science Funds. After a report on the current state of the art in the implementation of dlv and of its application front-ends, the paper compares dlv with other knowledge representation systems. Both a qualitative and a quantitative comparison are carried out. The first compares the representational power of the systems (intended as the ability to represent problems in a natural and simple fashion). The latter compares the performances of the systems. The dlv system turns out to be very powerful from the knowledge representation side and, on the other hand, quite good also in computational power. Keywords: Implemented KR&R Systems: Reports, Comparisons, Evaluations. 1 INTRODUCTION The extension of logic programming by d...