/** * Attach the reasoner to a set of RDF data to process. * The reasoner may already have been bound to specific rules or ontology * axioms (encoded in RDF) through earlier bindRuleset calls. * * @param data the RDF data to be processed, some reasoners may restrict * the range of RDF which is legal here (e.g. syntactic restrictions in OWL). * @return an inference graph through which the data+reasoner can be queried. * @throws ReasonerException if the data is ill-formed according to the * constraints imposed by this reasoner. */ @Override public InfGraph bind( Graph data ) throws ReasonerException { Graph schemaArg = schemaGraph == null ? getPreload() : (FBRuleInfGraph) schemaGraph; FBRuleInfGraph graph = new FBRuleInfGraph( this, rules, schemaArg ); graph.setDerivationLogging( recordDerivations ); graph.setTraceOn( traceOn ); graph.rebind( data ); return graph; }
/** * Attach the reasoner to a set of RDF data to process. * The reasoner may already have been bound to specific rules or ontology * axioms (encoded in RDF) through earlier bindRuleset calls. * * @param data the RDF data to be processed, some reasoners may restrict * the range of RDF which is legal here (e.g. syntactic restrictions in OWL). * @return an inference graph through which the data+reasoner can be queried. * @throws ReasonerException if the data is ill-formed according to the * constraints imposed by this reasoner. */ @Override public InfGraph bind( Graph data ) throws ReasonerException { Graph schemaArg = schemaGraph == null ? getPreload() : (FBRuleInfGraph) schemaGraph; FBRuleInfGraph graph = new FBRuleInfGraph( this, rules, schemaArg ); graph.setDerivationLogging( recordDerivations ); graph.setTraceOn( traceOn ); graph.rebind( data ); return graph; }
graph = fbgraph; if (enableTGCCaching) fbgraph.setUseTGCCache(); fbgraph.setTraceOn(traceOn); if (preprocessorHooks!= null) { for (RulePreprocessHook rulePreprocessHook : preprocessorHooks)
graph = fbgraph; if (enableTGCCaching) fbgraph.setUseTGCCache(); fbgraph.setTraceOn(traceOn); if (preprocessorHooks!= null) { for (RulePreprocessHook rulePreprocessHook : preprocessorHooks)
Model data = FileManager.get().loadModel("file:testing/reasoners/bugs/loop.owl"); InfModel infmodel = ModelFactory.createInfModel(ReasonerRegistry.getOWLReasoner(), data); ((FBRuleInfGraph)infmodel.getGraph()).setTraceOn(true); String baseURI = "http://jena.hpl.hp.com/eg#"; Resource C = infmodel.getResource(baseURI + "C");
Model data = FileManager.get().loadModel("file:testing/reasoners/bugs/loop.owl"); InfModel infmodel = ModelFactory.createInfModel(ReasonerRegistry.getOWLReasoner(), data); ((FBRuleInfGraph)infmodel.getGraph()).setTraceOn(true); String baseURI = "http://jena.hpl.hp.com/eg#"; Resource C = infmodel.getResource(baseURI + "C");
/** * Attach the reasoner to a set of RDF data to process. * The reasoner may already have been bound to specific rules or ontology * axioms (encoded in RDF) through earlier bindRuleset calls. * * @param data the RDF data to be processed, some reasoners may restrict * the range of RDF which is legal here (e.g. syntactic restrictions in OWL). * @return an inference graph through which the data+reasoner can be queried. * @throws ReasonerException if the data is ill-formed according to the * constraints imposed by this reasoner. */ @Override public InfGraph bind(Graph data) throws ReasonerException { checkArgGraph(data); FBRuleInfGraph graph = null; InfGraph schemaArg = schemaGraph == null ? getPreload() : (FBRuleInfGraph)schemaGraph; List<Rule> baseRules = ((FBRuleInfGraph)schemaArg).getRules(); graph = new FBRuleInfGraph(this, baseRules, schemaArg); graph.addPreprocessingHook(new OWLRuleTranslationHook()); graph.setDerivationLogging(recordDerivations); graph.setTraceOn(traceOn); graph.rebind(data); graph.setDatatypeRangeValidation(true); return graph; }
/** * Attach the reasoner to a set of RDF data to process. * The reasoner may already have been bound to specific rules or ontology * axioms (encoded in RDF) through earlier bindRuleset calls. * * @param data the RDF data to be processed, some reasoners may restrict * the range of RDF which is legal here (e.g. syntactic restrictions in OWL). * @return an inference graph through which the data+reasoner can be queried. * @throws ReasonerException if the data is ill-formed according to the * constraints imposed by this reasoner. */ @Override public InfGraph bind(Graph data) throws ReasonerException { checkArgGraph(data); FBRuleInfGraph graph = null; InfGraph schemaArg = schemaGraph == null ? getPreload() : (FBRuleInfGraph)schemaGraph; List<Rule> baseRules = ((FBRuleInfGraph)schemaArg).getRules(); graph = new FBRuleInfGraph(this, baseRules, schemaArg); graph.addPreprocessingHook(new OWLRuleTranslationHook()); graph.setDerivationLogging(recordDerivations); graph.setTraceOn(traceOn); graph.rebind(data); graph.setDatatypeRangeValidation(true); return graph; }
graph = fbgraph; if (enableTGCCaching) fbgraph.setUseTGCCache(); fbgraph.setTraceOn(traceOn); fbgraph.setFunctorFiltering(filterFunctors); if (preprocessorHooks!= null) {
graph = fbgraph; if (enableTGCCaching) fbgraph.setUseTGCCache(); fbgraph.setTraceOn(traceOn); fbgraph.setFunctorFiltering(filterFunctors); if (preprocessorHooks!= null) {