README.md

DOTR

DOTR is a stream reasoner that combines temporal and ontological reasoning

To compile DOTR:

1. Compile the T-Rex engine in the T-Rex folder. T-Rex is available at https://github.com/deib-polimi/TRex
2. Compile the RDFox cpp engine in the RDFox folder.
3. Add ANTLR v.4.6 in the antlr folder
4. Compile with make