Description
DLV [1] is a flexible rule engine dealing efficiently with disjunctive datalog and extensions thereof. What makes the engine particularly interesting are extensions and frontends towards Semantic Web applications, enabling integration with OWL DL reasoning (by so-called DL-programs) and generalizations thereof [2,3,4], and or the deployment in real world information integration use cases [5].
Besides, the system has been deployed in the areas of diagnosis and reasoning about actions and planning, cf. [1].