public void testMappedRuleWithTwoTails() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleRdfs09(database,vocab); log.info("\n"+rule); program.addStep(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
public void testClosureOfMappedRuleWithTwoTails() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleRdfs09(database,vocab); log.info("\n"+rule); program.addClosureOf(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
final MappedProgram program = new MappedProgram("fastForwardClosure", focusStore, false/* parallel */, false/* closure */); program.addClosureOf(new RuleOwlEquivalentProperty(db, vocab)); program.addStep(new RuleFastClosure3(db,focusStore,vocab));//, P)); program.addClosureOf(new IRule[] { new RuleRdfs05(db, vocab) }); final MappedProgram subProgram = new MappedProgram("fastClosure{5 6}", focusStore, true/* parallel */, false/* closure */); subProgram.addStep(new RuleFastClosure5(db,focusStore,vocab));//, D)); subProgram.addStep(new RuleFastClosure6(db,focusStore,vocab));//, R)); program.addStep(subProgram); program.addClosureOf(new RuleOwlEquivalentClass(db, vocab)); program.addStep(new RuleFastClosure7(db,focusStore,vocab));//, C)); program.addClosureOf(new RuleRdfs11(db, vocab)); program.addStep(new RuleFastClosure9(db,focusStore,vocab));//, T)); program.addStep(new RuleRdfs02(db, vocab));
final Program subProgram = getTMUtility() .mapForTruthMaintenance(step, focusStore); if (this.isClosure()) {
final MappedProgram program = new MappedProgram("fastForwardClosure", focusStore, false/* parallel */, false/* closure */); program.addClosureOf(new RuleOwlEquivalentProperty(db, vocab)); program.addStep(new RuleFastClosure3(db,focusStore,vocab));//, P)); program.addClosureOf(new IRule[] { new RuleRdfs05(db, vocab) }); final MappedProgram subProgram = new MappedProgram("fastClosure{5 6}", focusStore, true/* parallel */, false/* closure */); subProgram.addStep(new RuleFastClosure5(db,focusStore,vocab));//, D)); subProgram.addStep(new RuleFastClosure6(db,focusStore,vocab));//, R)); program.addStep(subProgram); program.addClosureOf(new RuleOwlEquivalentClass(db, vocab)); program.addStep(new RuleFastClosure7(db,focusStore,vocab));//, C)); program.addClosureOf(new RuleRdfs11(db, vocab)); program.addStep(new RuleFastClosure9(db,focusStore,vocab));//, T)); program.addStep(new RuleRdfs02(db, vocab));
final Program subProgram = getTMUtility() .mapForTruthMaintenance(step, focusStore); if (this.isClosure()) {
public void testMappedRuleWithTwoTails() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleRdfs09(database,vocab); log.info("\n"+rule); program.addStep(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
public void testClosureOfMappedRuleWithTwoTails() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleRdfs09(database,vocab); log.info("\n"+rule); program.addClosureOf(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
final MappedProgram program = new MappedProgram("fullForwardClosure", focusStore, true/* parallel */, true/* closure */); program.addStep(new RuleRdf01(db,vocab)); program.addStep(new RuleRdfs02(db,vocab)); program.addStep(new RuleRdfs03(db,vocab)); program.addStep(new RuleRdfs04a(db,vocab)); program.addStep(new RuleRdfs04b(db,vocab)); program.addStep(new RuleRdfs05(db,vocab)); program.addStep(new RuleRdfs06(db,vocab)); program.addStep(new RuleRdfs07(db,vocab)); program.addStep(new RuleRdfs08(db,vocab)); program.addStep(new RuleRdfs09(db,vocab)); program.addStep(new RuleRdfs10(db,vocab)); program.addStep(new RuleRdfs11(db,vocab)); program.addStep(new RuleRdfs12(db,vocab));
/** * */ public void testClosureOfMappedRuleWithOneTail() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleOwlEquivalentProperty(database, vocab); log.info("\n"+rule); program.addClosureOf(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
final MappedProgram program = new MappedProgram("fullForwardClosure", focusStore, true/* parallel */, true/* closure */); program.addStep(new RuleRdf01(db,vocab)); program.addStep(new RuleRdfs02(db,vocab)); program.addStep(new RuleRdfs03(db,vocab)); program.addStep(new RuleRdfs04a(db,vocab)); program.addStep(new RuleRdfs04b(db,vocab)); program.addStep(new RuleRdfs05(db,vocab)); program.addStep(new RuleRdfs06(db,vocab)); program.addStep(new RuleRdfs07(db,vocab)); program.addStep(new RuleRdfs08(db,vocab)); program.addStep(new RuleRdfs09(db,vocab)); program.addStep(new RuleRdfs10(db,vocab)); program.addStep(new RuleRdfs11(db,vocab)); program.addStep(new RuleRdfs12(db,vocab));
/** * */ public void testClosureOfMappedRuleWithOneTail() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleOwlEquivalentProperty(database, vocab); log.info("\n"+rule); program.addClosureOf(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
/** * */ public void testMappedRuleWithOneTail() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleOwlEquivalentProperty(database, vocab); log.info("\n"+rule); program.addStep(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
public void testClosureOfMappedRuleWithTwoTails() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleRdfs09(database,vocab); log.info("\n"+rule); program.addClosureOf(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
/** * */ public void testMappedRuleWithOneTail() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleOwlEquivalentProperty(database, vocab); log.info("\n"+rule); program.addStep(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
/** * */ public void testClosureOfMappedRuleWithOneTail() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleOwlEquivalentProperty(database, vocab); log.info("\n"+rule); program.addClosureOf(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
public void testMappedRuleWithTwoTails() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleRdfs09(database,vocab); log.info("\n"+rule); program.addStep(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }
/** * */ public void testMappedRuleWithOneTail() { final AbstractTripleStore store = getStore(); try { final Vocabulary vocab = store.getVocabulary(); final boolean parallel = false; // actual value should not matter. final boolean closure = false; // actual value should not matter, // will map the rule across the database and the focusStore. final MappedProgram program = new MappedProgram(getName(), focusStore, parallel, closure); final IRule rule = new RuleOwlEquivalentProperty(database, vocab); log.info("\n"+rule); program.addStep(rule); log.info("\n"+program); } finally { store.__tearDownUnitTest(); } }