List of bindSchema() Examples

Examples of bindSchema()

com.hp.hpl.jena.reasoner.Reasoner.bindSchema()
This is most commonly used to attach an ontology (a set of tbox axioms in description logics jargon) to a reasoner. A certain amount of precomputation may be done at this time (e.g. constructing the class lattice). When the reasoner is later applied some instance data these cached precomputations may be reused.
In fact this call may be more general than the above description suggests. Firstly, a reasoner that supports arbitrary rules rather than ontologies may use the same method to bind the reasoner to the specific rule set (encoded in RDF). Secondly, even in the ontology case a given reasoner may not require a strict separation of tbox and abox - it may allow instance data in the tbox and terminology axioms in the abox.

A reasoner is free to simply note this set of RDF and merge with any future RDF rather than do processing at this time.
@param tbox the ontology axioms or rule set encoded in RDF @return a reasoner instace which can be used to process a data graph @throws ReasonerException if the reasoner cannot bebound to a rule set in this way, for example if the underlying engine can only accept a single rule set in this way and one rule set has already been bound in of if the ruleset is illformed.

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

     * @param model a Model containing instance data assertions
     * @param schema a Model containing RDFS schema data
     */
    public static InfModel createRDFSModel( Model schema, Model model ) {
         Reasoner reasoner = ReasonerRegistry.getRDFSReasoner();
         InfGraph graph  = reasoner.bindSchema(schema.getGraph()).bind(model.getGraph());
         return new InfModelImpl( graph );
    }


    /**
     * Build an inferred model by attaching the given RDF model to the given reasoner.

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

        Graph schema = Factory.createGraphMem();
        schema.add(new Triple(c, p, c));
        
        // Case of schema and data but no rule axioms
        Reasoner reasoner =  createReasoner(new ArrayList<Rule>());
        InfGraph infgraph = reasoner.bindSchema(schema).bind(data);
        TestUtil.assertIteratorValues(this, 
            infgraph.find(null, null, null), 
            new Object[] {
                new Triple(p, sP, q),
                new Triple(q, sP, r),

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

                new Triple(q, sP, r),
                new Triple(a,  p, b), 
                new Triple(d, p, d)});
                
        // Case of data and rule axioms and schema
        infgraph = reasoner.bindSchema(schema).bind(data);
        TestUtil.assertIteratorValues(this, 
            infgraph.find(null, null, null), 
            new Object[] {
                new Triple(p, sP, q),
                new Triple(q, sP, r),

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

     * @param model a Model containing instance data assertions
     * @param schema a Model containing RDFS schema data
     */
    public static InfModel createRDFSModel( Model schema, Model model ) {
         Reasoner reasoner = ReasonerRegistry.getRDFSReasoner();
         InfGraph graph  = reasoner.bindSchema(schema.getGraph()).bind(model.getGraph());
         return new InfModelImpl( graph );
    }


    /**
     * Build an inferred model by attaching the given RDF model to the given reasoner.

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

                count++;
            }
//            listFBGraph("direct databind case", (FBRuleInfGraph)infgraph);
            assertEquals(5, count);
            
            infgraph = reasoner.bindSchema(data).bind(Factory.createGraphMem());
            count = 0;
            for (Iterator<Triple> i = infgraph.find(null, rbPrototypeProp, null); i.hasNext(); ) {
                Triple t = i.next();
//                System.out.println(" - " + PrintUtil.print(t));
                count++;

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()


        Model aBox = ModelFactory.createDefaultModel();
        aBox.read(new ByteArrayInputStream(sourceA.getBytes()), "http://example.org/foo");


        Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
        reasoner = reasoner.bindSchema(tBox);


        OntModelSpec spec = new OntModelSpec(OntModelSpec.OWL_MEM_RULE_INF);
        spec.setReasoner(reasoner);


        OntModel m = ModelFactory.createOntologyModel(spec, aBox);

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

     * @param model a Model containing instance data assertions
     * @param schema a Model containing RDFS schema data
     */
    public static InfModel createRDFSModel( Model schema, Model model ) {
         Reasoner reasoner = ReasonerRegistry.getRDFSReasoner();
         InfGraph graph  = reasoner.bindSchema(schema.getGraph()).bind(model.getGraph());
         return new InfModelImpl( graph );
    }


    /**
     * Build an inferred model by attaching the given RDF model to the given reasoner.

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

//        for (Iterator i = validity.getReports(); i.hasNext(); ) {
//            System.out.println(" - " + i.next());
//        }


        // bindSchema version
        InfModel inf = ModelFactory.createInfModel(reasoner.bindSchema(schema), data);
        validity = inf.validate();
        assertTrue( ! validity.isValid());
    }


    /**

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()

                 = tBox.createCardinalityRestriction(null, molecule2atomOntProperty, 1);
        moleculeClass.addSuperClass(molecule2atomCardinalityRestriction);


        // prepare ABox
        Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
        reasoner = reasoner.bindSchema(tBox);
        Model    model = ModelFactory.createDefaultModel();
        InfModel aBox  = ModelFactory.createInfModel(reasoner, model);


        // make sure rdfs:member properties are inferred
//        ((FBRuleInfGraph)aBox.getGraph()).addPreprocessingHook(new RDFSCMPPreprocessHook());

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.Reasoner.bindSchema()


        Model aBox = ModelFactory.createDefaultModel();
        aBox.read(new ByteArrayInputStream(sourceA.getBytes()), "http://example.org/foo");


        Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
        reasoner = reasoner.bindSchema(tBox);


        OntModelSpec spec = new OntModelSpec(OntModelSpec.OWL_MEM_RULE_INF);
        spec.setReasoner(reasoner);


        OntModel m = ModelFactory.createOntologyModel(spec, aBox);

View Full Code Here

0 1

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.