• Clipper

Download up-to-date Clipper in GitHub

  • Downscaling Test

REQUIEM test suite

Additional queries

  • Horn-SHIQ Test

Ontology (TBox)

ABoxes (in Datalog format)

Queries