The DReW Solver
What is DReW
- A prototype DL reasoner over LDL+ ontologies
- A prototype reasoner for dl-programs over LDL+ ontologies
under well-founded semantics
DReW can be obtained from the Download
section.
A Brief History
DL-Programs
$Id: index.html 260 2012-02-29 23:04:05Z xiao $