This page details the conformance tests done for the paper's OWL2 RL ruleset.
Contact: William Van Woensel
This test suite was published by Schneider et al. [1] (a main contributor of the W3C OWL2 RL specification). The original test suite can be found here (the original archive is no longer online). We converted this test suite to an input data file and conformance-testing output file that facilitate automatically checking conformance. However, in our version, we had to leave out some test cases, either due to the limitations of our OWL2 RL ruleset (e.g., lack of datatype support), or due to difficulties testing conformance. We list these cases here. We further note that we had to replace blank nodes in the premise & conclusion graphs by concrete resources. This was done to facilitate automatic conformance testing, since any RDF system will keep different blank nodes for 2 different graphs. To facilitate replacing these blank nodes, we converted the premise & conclusion graphs to N-TRIPLE format.