/** * Test the capabilities description. */ public void testRDFSDescription() { ReasonerFactory rf = RDFSFBRuleReasonerFactory.theInstance(); Reasoner r = rf.create(null); assertTrue(r.supportsProperty(RDFS.subClassOf)); assertTrue(r.supportsProperty(RDFS.domain)); assertTrue( ! r.supportsProperty(OWL.allValuesFrom)); }
/** * Test the capabilities description. */ public void testRDFSDescription() { ReasonerFactory rf = RDFSFBRuleReasonerFactory.theInstance(); Reasoner r = rf.create(null); assertTrue(r.supportsProperty(RDFS.subClassOf)); assertTrue(r.supportsProperty(RDFS.domain)); assertTrue( ! r.supportsProperty(OWL.allValuesFrom)); }
if (ig != null && ig.getReasoner().supportsProperty( ReasonerVocabulary.directSubClassOf )) {
/** * The test runner */ @Override public void runTest() throws IOException { ReasonerTester tester = new ReasonerTester("rdfs/manifest.rdf"); // Test effect of switching off property scan - should break container property test case Resource configuration = newResource(); if (config != null) { for (StmtIterator i = config.listProperties(); i.hasNext();) { Statement s = i.nextStatement(); configuration.addProperty(s.getPredicate(), s.getObject()); } } configuration.addProperty(ReasonerVocabulary.PROPenableCMPScan, "false"); assertTrue("scanproperties off", !tester.runTest(NAMESPACE + "rdfs/test17", reasonerFactory, null, configuration)); // Check capabilities description Reasoner r = reasonerFactory.create(null); assertTrue(r.supportsProperty(RDFS.subClassOf)); assertTrue(r.supportsProperty(RDFS.domain)); assertTrue(r.supportsProperty(RDFS.range)); // Datatype tests assertTrue( ! doTestRDFSDTRange("dttest1.nt", reasonerFactory)); assertTrue( ! doTestRDFSDTRange("dttest2.nt", reasonerFactory)); assertTrue( doTestRDFSDTRange("dttest3.nt", reasonerFactory)); }
if (ig != null && ig.getReasoner().supportsProperty( ReasonerVocabulary.directSubClassOf )) {
/** * The test runner */ @Override public void runTest() throws IOException { ReasonerTester tester = new ReasonerTester("rdfs/manifest.rdf"); // Test effect of switching off property scan - should break container property test case Resource configuration = newResource(); if (config != null) { for (StmtIterator i = config.listProperties(); i.hasNext();) { Statement s = i.nextStatement(); configuration.addProperty(s.getPredicate(), s.getObject()); } } configuration.addProperty(ReasonerVocabulary.PROPenableCMPScan, "false"); assertTrue("scanproperties off", !tester.runTest(NAMESPACE + "rdfs/test17", reasonerFactory, null, configuration)); // Check capabilities description Reasoner r = reasonerFactory.create(null); assertTrue(r.supportsProperty(RDFS.subClassOf)); assertTrue(r.supportsProperty(RDFS.domain)); assertTrue(r.supportsProperty(RDFS.range)); // Datatype tests assertTrue( ! doTestRDFSDTRange("dttest1.nt", reasonerFactory)); assertTrue( ! doTestRDFSDTRange("dttest2.nt", reasonerFactory)); assertTrue( doTestRDFSDTRange("dttest3.nt", reasonerFactory)); }
if (!direct || ((ig != null) && ig.getReasoner().supportsProperty( sc ))) {
if (!direct || ((ig != null) && ig.getReasoner().supportsProperty( sc ))) {
useInf = m.getProfile().THING() != null && m.getReasoner() != null && m.getReasoner().supportsProperty( ReasonerVocabulary.individualAsThingP );
useInf = m.getProfile().THING() != null && m.getReasoner() != null && m.getReasoner().supportsProperty( ReasonerVocabulary.individualAsThingP );
data.add( new Triple(C2, RDFS.subClassOf.asNode(), C3) ); Reasoner reasoner = TransitiveReasonerFactory.theInstance().create(null); assertTrue(reasoner.supportsProperty(RDFS.subClassOf)); assertTrue(! reasoner.supportsProperty(RDFS.domain)); InfGraph infgraph = reasoner.bind(data); TestUtil.assertIteratorValues(this,
data.add( new Triple(C2, RDFS.subClassOf.asNode(), C3) ); Reasoner reasoner = TransitiveReasonerFactory.theInstance().create(null); assertTrue(reasoner.supportsProperty(RDFS.subClassOf)); assertTrue(! reasoner.supportsProperty(RDFS.domain)); InfGraph infgraph = reasoner.bind(data); TestUtil.assertIteratorValues(this,