/** * generates a test model containing given number of statements * and given indextype. * * @return Object MemModel $model * @param int $num * @param int $des * @param int $ind * @param Object MemModel $needle */ function _generateModel($num, $des, $ind, $needle) { $model = new RDFSFModel(); // generate Subjects for ($i = 0; $i < $num; $i++) { $subs[$i] = new Resource('http://www.example.org/Subject' . $i % 6); } // generate Predicates for ($i = 0; $i < $num; $i++) { $preds[$i] = new Resource('http://www.example.org/Predicate' . $i % 7); } // generate Objects for ($i = 0; $i < $num; $i++) { $objs[$i] = new Resource('http://www.example.org/Object' . $i % 5); } for ($i = 0; $i < $num; $i++) { if ($i == 50) { $model->add($needle); } $model->add(new Statement($subs[$i], $preds[$i], $objs[$i])); } $model->index($ind); return $model; }
/** * generates a test model containing given number of statements * and given indextype. * * @return Object MemModel $model * @param int $num * @param int $des * @param int $ind * @param Object MemModel $needle */ function _generateModel($stats, $ind) { $model = new RDFSFModel(); $model->index($ind); for ($i = 0; $i < $stats; $i++) { $subs[$i] = new Resource('http://www.example.org/sub' . $i % 3); $preds[$i] = new Resource('http://www.example.org/pred' . $i % 5); $objs[$i] = new Resource('http://www.example.org/obj' . $i % 9); } for ($i = 0; $i < $stats; $i++) { $model->add(new Statement($subs[$i], $preds[$i], $objs[$i])); } return $model; }
')); $inf2->addModel($parser->parse2model(' <http://example.org/baz1> <http://example.org/bat> <http://example.org/baz2> . <http://example.org/bat> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bas> . ')); echo '<B>Added the following Triples:</B><BR>' . htmlentities(' <http://example.org/baz1> <http://example.org/bat> <http://example.org/baz2> .') . '<BR>' . htmlentities(' <http://example.org/bat> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bas> . ') . '<BR>'; $inf->writeAsHtmlTable(); $inf2->writeAsHtmlTable(); #$sub=$inf2->subtract($inf); #$sub->writeAsHtmlTable(); #echo '<BR><hr><BR>'; echo '<BR><hr><BR>'; $inf->add(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#domain'), new Resource('http://example.org/Domain1'))); $inf->add(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#range'), new Resource('http://example.org/Range1'))); $inf2->add(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#domain'), new Resource('http://example.org/Domain1'))); $inf2->add(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#range'), new Resource('http://example.org/Range1'))); echo '<B>Added the following Triples:</B><BR>' . htmlentities(' <http://example.org/bat> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain1> .') . '<BR>' . htmlentities(' <http://example.org/bat> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range1> . ') . '<BR>'; $inf->writeAsHtmlTable(); $inf2->writeAsHtmlTable(); echo '<BR><hr><BR>'; $inf->add(new Statement(new Resource('http://example.org/bas'), new Resource('http://www.w3.org/2000/01/rdf-schema#domain'), new Resource('http://example.org/Domain2'))); $inf->add(new Statement(new Resource('http://example.org/bas'), new Resource('http://www.w3.org/2000/01/rdf-schema#range'), new Resource('http://example.org/Range2'))); $inf2->add(new Statement(new Resource('http://example.org/bas'), new Resource('http://www.w3.org/2000/01/rdf-schema#domain'), new Resource('http://example.org/Domain2'))); $inf2->add(new Statement(new Resource('http://example.org/bas'), new Resource('http://www.w3.org/2000/01/rdf-schema#range'), new Resource('http://example.org/Range2'))); echo '<B>Added the following Triples :</B><BR>' . htmlentities('
/** * */ function test1() { $inf = new RDFSFModel('http://myRDFSFModel.com'); $result = new MemModel(); $parser = new N3Parser(); $inf->addModel($parser->parse2model(' <http://example.org/baz1> <http://example.org/bat> <http://example.org/baz2> . <http://example.org/bat> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bas> . ')); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . ns0:baz1 ns0:bas ns0:baz2 ; ns0:bat ns0:baz2 . ns0:bat rdfs:subPropertyOf ns0:bas . ')); $this->assertTrue($inf->equals($result)); //next test $inf->add(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#domain'), new Resource('http://example.org/Domain1'))); $inf->add(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#range'), new Resource('http://example.org/Range1'))); $result = new MemModel(); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ns0:baz1 ns0:bas ns0:baz2 ; ns0:bat ns0:baz2 ; a ns0:Domain1 . ns0:bat rdfs:domain ns0:Domain1 ; rdfs:range ns0:Range1 ; rdfs:subPropertyOf ns0:bas . ns0:baz2 a ns0:Range1 . ')); $this->assertTrue($inf->equals($result)); // next test $inf->add(new Statement(new Resource('http://example.org/bas'), new Resource('http://www.w3.org/2000/01/rdf-schema#domain'), new Resource('http://example.org/Domain2'))); $inf->add(new Statement(new Resource('http://example.org/bas'), new Resource('http://www.w3.org/2000/01/rdf-schema#range'), new Resource('http://example.org/Range2'))); $result = new MemModel(); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ns0:baz1 ns0:bas ns0:baz2 ; ns0:bat ns0:baz2 ; a ns0:Domain1 , ns0:Domain2 . ns0:bat rdfs:domain ns0:Domain1 ; rdfs:range ns0:Range1 ; rdfs:subPropertyOf ns0:bas . ns0:bas rdfs:domain ns0:Domain2 ; rdfs:range ns0:Range2 . ns0:baz2 a ns0:Range1 , ns0:Range2 . ')); $this->assertTrue($inf->equals($result)); //next test $inf->add(new Statement(new Resource('http://example.org/Domain2'), new Resource('http://www.w3.org/2000/01/rdf-schema#subClassOf'), new Resource('http://example.org/Domain3'))); $inf->add(new Statement(new Resource('http://example.org/Domain3'), new Resource('http://www.w3.org/2000/01/rdf-schema#subClassOf'), new Resource('http://example.org/Domain2'))); $result = new MemModel(); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ns0:baz1 ns0:bas ns0:baz2 ; ns0:bat ns0:baz2 ; a ns0:Domain1 , ns0:Domain2 , ns0:Domain3 . ns0:bat rdfs:domain ns0:Domain1 ; rdfs:range ns0:Range1 ; rdfs:subPropertyOf ns0:bas . ns0:bas rdfs:domain ns0:Domain2 ; rdfs:range ns0:Range2 . ns0:baz2 a ns0:Range1 , ns0:Range2 . ns0:Domain3 rdfs:subClassOf ns0:Domain2 . ns0:Domain2 rdfs:subClassOf ns0:Domain3 . ')); $this->assertTrue($inf->equals($result)); //next test $inf->add(new Statement(new Resource('http://example.org/Range3'), new Resource('http://www.w3.org/2002/07/owl#sameAs'), new Resource('http://example.org/Range2'))); $result = new MemModel(); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . ns0:baz1 ns0:bas ns0:baz2 ; ns0:bat ns0:baz2 ; a ns0:Domain1 , ns0:Domain2 , ns0:Domain3 . ns0:baz2 a ns0:Range1 , ns0:Range2 , ns0:Range3 . ns0:bat rdfs:domain ns0:Domain1 ; rdfs:range ns0:Range1 ; rdfs:subPropertyOf ns0:bas . ns0:bas rdfs:domain ns0:Domain2 ; rdfs:range ns0:Range2 . ns0:Range3 owl:sameAs ns0:Range2 . ns0:Domain3 rdfs:subClassOf ns0:Domain2 . ns0:Domain2 rdfs:subClassOf ns0:Domain3 . ')); $this->assertTrue($inf->equals($result)); //next test $findResult = $inf->find(new Resource('http://example.org/baz2'), null, null); $result = new MemModel(); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ns0:baz2 a ns0:Range1 , ns0:Range2 , ns0:Range3 . ')); $this->assertTrue($findResult->equals($result)); //text test $inf->remove(new Statement(new Resource('http://example.org/bat'), new Resource('http://www.w3.org/2000/01/rdf-schema#subPropertyOf'), new Resource('http://example.org/bas'))); $result = new MemModel(); $result->addModel($parser->parse2model(' @prefix ns0: <http://example.org/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ns0:baz1 ns0:bat ns0:baz2 ; a ns0:Domain1 . ns0:bas rdfs:domain ns0:Domain2 ; rdfs:range ns0:Range2 . ns0:bat rdfs:domain ns0:Domain1 ; rdfs:range ns0:Range1 . ns0:baz2 a ns0:Range1 . ns0:Range3 owl:sameAs ns0:Range2 . ns0:Domain2 rdfs:subClassOf ns0:Domain3 . ns0:Domain3 rdfs:subClassOf ns0:Domain2 . ')); $this->assertTrue($inf->equals($result)); }