DLVSystem SRL is a spin-off company of University of Calabria. DLVSystem started collaboring with the University of Luxembourg in the context of the H2020 project MIREL.

DLVSystem mainly focuses on the research and the development of the DLV system, a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms, also suitable for legal informatics.

DLV supports a language based on a logical formalisms with a very high expressive power so that programs are able to represent relevant practical problems in presence of incomplete or contradictory knowledge. Nowadays it represents the state of the art among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long lasting theoretical and implementation effort, the language is now supported by an efficient run-time system that exploits techniques developed throughout the years by the scientific and industrial database community.