@techreport{chekol:hal-00749286, TITLE = {{A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability}}, AUTHOR = {Chekol, Melisachew Wudage and Euzenat, J{\'e}r{\^o}me and Genev{\`e}s, Pierre and Laya{\"i}da, Nabil}, URL = {https://hal.inria.fr/hal-00749286}, TYPE = {Research Report}, NUMBER = {RR-8128}, PAGES = {10}, YEAR = {2012}, MONTH = Nov, HAL_ID = {hal-00749286}, HAL_VERSION = {v2}, }