Resource C = infmodel.getResource(baseURI + "C"); Resource I = infmodel.getResource(baseURI + "i"); Property R = infmodel.getProperty(baseURI, "R");
Resource C = infmodel.getResource(baseURI + "C"); Resource I = infmodel.getResource(baseURI + "i"); Property R = infmodel.getProperty(baseURI, "R");
/** * Check whether the test included file has been found */ private boolean checkIncludeFound(String ruleSrc) { try { List<Rule> rules = Rule.rulesFromURL(ruleSrc); GenericRuleReasoner reasoner = new GenericRuleReasoner(rules); Model base = ModelFactory.createDefaultModel(); InfModel m = ModelFactory.createInfModel(reasoner, base); // Check prefix case String NS3 = "http://jena.hpl.hp.com/newprefix3#"; Property a = m.getProperty(NS3 + "a"); return m.contains(a,a,a); } catch (Exception e) { return false; } }
/** * Check whether the test included file has been found */ private boolean checkIncludeFound(String ruleSrc) { try { List<Rule> rules = Rule.rulesFromURL(ruleSrc); GenericRuleReasoner reasoner = new GenericRuleReasoner(rules); Model base = ModelFactory.createDefaultModel(); InfModel m = ModelFactory.createInfModel(reasoner, base); // Check prefix case String NS3 = "http://jena.hpl.hp.com/newprefix3#"; Property a = m.getProperty(NS3 + "a"); return m.contains(a,a,a); } catch (Exception e) { return false; } }
Property p = conclusions.getProperty("http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p"); Resource c = conclusions.getResource("http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c"); Resource r = conclusions.getResource("http://www.w3.org/2002/03owlt/someValuesFrom/premises001#r");
Property p = conclusions.getProperty("http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p"); Resource c = conclusions.getResource("http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c"); Resource r = conclusions.getResource("http://www.w3.org/2002/03owlt/someValuesFrom/premises001#r");
/** * Test the @prefix and @include extensions to the rule parser */ public void testExtendedRuleParser() { List<Rule> rules = Rule.rulesFromURL("file:testing/reasoners/ruleParserTest1.rules"); GenericRuleReasoner reasoner = new GenericRuleReasoner(rules); reasoner.setTransitiveClosureCaching(true); Model base = ModelFactory.createDefaultModel(); InfModel m = ModelFactory.createInfModel(reasoner, base); // Check prefix case String NS1 = "http://jena.hpl.hp.com/newprefix#"; String NS2 = "http://jena.hpl.hp.com/newprefix2#"; String NS3 = "http://jena.hpl.hp.com/newprefix3#"; Resource A = m.getResource(NS1 + "A"); Resource C = m.getResource(NS1 + "C"); Property p = m.getProperty(NS2 + "p"); Property a = m.getProperty(NS3 + "a"); Resource foo = m.getResource(NS1 + "foo"); assertTrue("@prefix test", m.contains(A, p, foo)); // Check RDFS rule inclusion assertTrue("@include RDFS test", m.contains(A, RDFS.subClassOf, C)); assertTrue("@include test", m.contains(a,a,a)); }
/** * Test the @prefix and @include extensions to the rule parser */ public void testExtendedRuleParser() { List<Rule> rules = Rule.rulesFromURL("file:testing/reasoners/ruleParserTest1.rules"); GenericRuleReasoner reasoner = new GenericRuleReasoner(rules); reasoner.setTransitiveClosureCaching(true); Model base = ModelFactory.createDefaultModel(); InfModel m = ModelFactory.createInfModel(reasoner, base); // Check prefix case String NS1 = "http://jena.hpl.hp.com/newprefix#"; String NS2 = "http://jena.hpl.hp.com/newprefix2#"; String NS3 = "http://jena.hpl.hp.com/newprefix3#"; Resource A = m.getResource(NS1 + "A"); Resource C = m.getResource(NS1 + "C"); Property p = m.getProperty(NS2 + "p"); Property a = m.getProperty(NS3 + "a"); Resource foo = m.getResource(NS1 + "foo"); assertTrue("@prefix test", m.contains(A, p, foo)); // Check RDFS rule inclusion assertTrue("@include RDFS test", m.contains(A, RDFS.subClassOf, C)); assertTrue("@include test", m.contains(a,a,a)); }
/** * Test closure of grounded choice points */ public void testGroundClosure2() { Flag myFlag = new Flag(); BuiltinRegistry.theRegistry.register(myFlag); List<Rule> rules = Rule.rulesFromURL("file:testing/reasoners/bugs/groundClosure2.rules"); GenericRuleReasoner reasoner = new GenericRuleReasoner( rules ); InfModel inf = ModelFactory.createInfModel(reasoner, ModelFactory.createDefaultModel()); String NS = "http://jena.hpl.hp.com/example#"; Resource Phil = inf.getResource(NS + "Phil"); Resource Paul = inf.getResource(NS + "Paul"); Property parent = inf.getProperty(NS + "parent"); assertTrue ( inf.contains(Paul, parent, Phil) ); assertTrue( ! myFlag.fired ); }
/** * Test closure of grounded choice points */ public void testGroundClosure2() { Flag myFlag = new Flag(); BuiltinRegistry.theRegistry.register(myFlag); List<Rule> rules = Rule.rulesFromURL("file:testing/reasoners/bugs/groundClosure2.rules"); GenericRuleReasoner reasoner = new GenericRuleReasoner( rules ); InfModel inf = ModelFactory.createInfModel(reasoner, ModelFactory.createDefaultModel()); String NS = "http://jena.hpl.hp.com/example#"; Resource Phil = inf.getResource(NS + "Phil"); Resource Paul = inf.getResource(NS + "Paul"); Property parent = inf.getProperty(NS + "parent"); assertTrue ( inf.contains(Paul, parent, Phil) ); assertTrue( ! myFlag.fired ); }