Examples of com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner.bind()

Package com.hp.hpl.jena.reasoner.rulesys

Class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner

Examples of com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner.bind()

com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner.bind()
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 restrictthe 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 theconstraints imposed by this reasoner.


  public void testCreateInfModel()
  {
    final String rule = "-> (eg:r eg:p eg:v).";
    final Reasoner r = new GenericRuleReasoner(Rule.parseRules(rule));
    final InfGraph ig = r
        .bind(ModelFactory.createDefaultModel().getGraph());
    final InfModel im = ModelFactory.createInfModel(ig);
    JenaTestBase.assertInstanceOf(InfModel.class, im);
    Assert.assertEquals(1, im.size());
  }

View Full Code Here


  public void testCreateInfModel()
  {
    final String rule = "-> (eg:r eg:p eg:v).";
    final Reasoner r = new GenericRuleReasoner(Rule.parseRules(rule));
    final InfGraph ig = r
        .bind(ModelFactory.createDefaultModel().getGraph());
    final InfModel im = ModelFactory.createInfModel(ig);
    JenaTestBase.assertInstanceOf(InfModel.class, im);
    Assert.assertEquals(1, im.size());
  }

View Full Code Here

    addClasses( classes );
    addClasses( m_Names.getAllAnons() );
    
    Reasoner reasoner = new GenericRuleReasoner(new ArrayList<Rule>(m_Rules));
    
    InfGraph inf = reasoner.bind( m_Facts );
    inf.prepare();
    
    MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf);
    for( ATermAppl c : classes ) {
      subsumers.add( ATermUtils.BOTTOM, c );

View Full Code Here

    addClasses( classes );
    addClasses( m_Names.getAllAnons() );
    
    Reasoner reasoner = new GenericRuleReasoner(new ArrayList<Rule>(m_Rules));
    
    InfGraph inf = reasoner.bind( m_Facts );
    inf.prepare();
    
    MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf);
    for( ATermAppl c : classes ) {
      subsumers.add( ATermUtils.BOTTOM, c );

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.