DReW

DReW: a reasoner for Datalog-rewritable description logics and dl-programs.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano: Enhancing context knowledge repositories with justifiable exceptions (2018)
  2. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)