/**
* Loop trough the jena infmodel tests
*/
function testRdfsFModel()
{
$testURI = 'http://www.hpl.hp.com/semweb/2003/query_tester#';
$testmodel = new MemModel($testURI);
$testmodel->load(RDFS_INF_TESTFILES . 'rdfs/manifest-standard.rdf');
$i = 1;
do {
$inf = new InfModelB();
#$inf->addModel($rdfsAxioms);
$res1 = $testmodel->find(new Resource(RDFS_INF_TESTFILES . 'rdfs/test' . $i++), null, null);
if ($res1->isEmpty()) {
break;
}
$findTBOX = $res1->find(null, new Resource($testURI . 'tbox'), null);
$inf->load(RDFS_INF_TESTFILES . $findTBOX->triples[0]->getLabelObject());
$findDATA = $res1->find(null, new Resource($testURI . 'data'), null);
$inf->load(RDFS_INF_TESTFILES . $findDATA->triples[0]->getLabelObject());
$findQUERY = $res1->find(null, new Resource($testURI . 'query'), null);
$query = $this->_doFindFromFile(RDFS_INF_TESTFILES . $findQUERY->triples[0]->getLabelObject(), $inf);
$result = new MemModel();
$findRESULT = $res1->find(null, new Resource($testURI . 'result'), null);
$result->load(RDFS_INF_TESTFILES . $findRESULT->triples[0]->getLabelObject());
#$isEqual=$result->equals($query);
$isEqual = $query->containsAll($result);
if (!$isEqual) {
$query->writeAsHtmlTable();
$result->writeAsHtmlTable();
$subtract = $result->subtract($query);
echo '<BR><BR>subtracted<BR>';
$subtract->writeAsHtmlTable();
}
$findDATA = $res1->find(null, new Resource($testURI . 'description'), null);
echo '<b>' . $findDATA->triples[0]->getLabelObject() . ' (RDFSFModel)</b><BR>';
$this->assertTrue($isEqual);
} while (true);
}
